Sciweavers

3970 search results - page 505 / 794
» A Logic For Causal Reasoning
Sort
View
LOGCOM
2008
94views more  LOGCOM 2008»
15 years 6 months ago
Preservation of Interpolation Features by Fibring
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...
Walter Alexandre Carnielli, João Rasga, Cri...
LORI
2009
Springer
16 years 1 months ago
An Update Operator for Strategic Ability
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...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
ECSQARU
2007
Springer
16 years 26 days ago
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
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 ...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
ILP
2007
Springer
16 years 25 days ago
Beyond Prediction: Directions for Probabilistic and Relational Learning
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 ...
David D. Jensen
KI
2007
Springer
16 years 25 days ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
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...
Pierre Hallot, Roland Billen