Sciweavers

2649 search results - page 54 / 530
» Temporal Theories of Reasoning
Sort
View
KR
1989
Springer
15 years 10 months ago
Impediments to Universal Preference-Based Default Theories
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
Jon Doyle, Michael P. Wellman
201
Voted
IJCAI
1997
15 years 8 months ago
Compiling Reasoning with and about Preferences into Default Logic
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
James P. Delgrande, Torsten Schaub
129
Voted
LICS
2007
IEEE
16 years 1 months ago
Two-way unary temporal logic over trees
Mikolaj Bojanczyk
NMR
2004
Springer
16 years 1 days ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas