Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
The event calculus and consistency maintenance
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Provably correct theories of action
Journal of the ACM (JACM)
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
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
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Explaining updates by minimal sums
Theoretical Computer Science
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Applied Intelligence
Defeasible Logic on an Embedded Microcontroller
Applied Intelligence
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Counterfactual Reasoning by Means of a Calculus of Narrative Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Explaining Updates by Minimal Sums
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
A temporal argumentative system
AI Communications
Book reviews: Knowledge representation and commonsense reasoning: Reviews of four books
Artificial Intelligence
Artificial Intelligence
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
Active logic semantics for a single agent in a static world
Artificial Intelligence
Annotation and matching of first-class agent interaction protocols
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
An Imperative Account of Actions
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
On the Syntax and Semantics of Effect Axioms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on 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
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Knowledge Qualification through Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Forgetting actions in domain descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Things that change by themselves
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Minimal change and maximal coherence: a basis for belief revision and reasoning about actions
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reasoning about persistence: a theory of actions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The range of applicability of nonmonotonic logics for the inertia problem
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Abducing priorities to derive intended conclusions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A model of events and processes
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about actions: non-deterministic effects, constraints, and qualification
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Challenges for action theories
Challenges for action theories
Artificial intelligence today
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Causal theories for nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Provably correct theories of action
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
Situation calculus on a dense flow of time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
On the range of applicability of baker's approach to the frame problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Artificial Intelligence
How does a box work? A study in the qualitative dynamics of solid objects
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Action networks: a framework for reasoning about actions and change under uncertainty
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Some properties of plausible reasoning
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Non-monotonic reasoning and the reversibility of belief change
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Correct Reasoning
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Fundamenta Informaticae
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
Hi-index | 0.00 |