3776 search results - page 471 / 756 » Partition-Based Logical Reasoning |
108
click to vote
LOGCOM
2008
15 years 2 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
137
Voted
LORI
2009
Springer
15 years 9 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
115
Voted
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
139
Voted
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
140
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...