Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
A model for reasoning about persistence and causation
Computational Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Planning and control
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Modeling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change
Artificial Intelligence
A Formal Framework for Clausal Modeling and Argumentation
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
A general non-probabilistic theory of inductive reasoning
UAI '88 Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Defeasible specifications in action theories
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Arguing for decisions: a qualitative model of decision making
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
We develop a qualitative framework for temporal reasoning with incomplete information that features a modeling language based on rules and a semantics based on infinitesimal probabilities. The framework relates logical and probabilistical models, and accommodates in a natural way features that have been found problematic in other models like nondeterminism, action qualifications, parallel actions, and abduction to actions and fluents.