An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Modal Formulation of McCain and Turner's Theory of Causal Reasoning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Complexity results for explanations in the structural-model approach
Artificial Intelligence
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Causes and explanations in the structural-model approach: tractable cases
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
The semantics of variables in action descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of Artificial Intelligence Research
A logic program characterization of causal theories
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Causal theories of action: a computational core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Loop formulas for circumscription
Artificial Intelligence
Causes and explanations in the structural-model approach: Tractable cases
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Translating first-order causal theories into answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Causes and explanations in the structural-model approach
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
An approximation of action theories of AL and its application to conformant planning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Correct Reasoning
Correct Reasoning
Hi-index | 0.00 |