A logical approach to high-level agent control
Proceedings of the fifth international conference on Autonomous agents
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Skepticism and floating conclusions
Artificial Intelligence
Logic-based artificial intelligence
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
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
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Formalizing Regions in the Spatial Semantic Hierarchy: An AH-Graphs Implementation Approach
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Second-Order Quantifier Elimination in Modal Contexts
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
Towards a general theory of topological maps
Artificial Intelligence
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on nonmonotonic reasoning
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Story understanding through multi-representation model construction
HLT-NAACL-TEXTMEANING '03 Proceedings of the HLT-NAACL 2003 workshop on Text meaning - Volume 9
Event calculus and temporal action logics compared
Artificial Intelligence
Where fail-safe default logics fail
ACM Transactions on Computational Logic (TOCL)
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Aspects of automatic ontology extension: adapting and regeneralizing dynamic updates
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Semantic forgetting in answer set programming
Artificial Intelligence
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Natural language understanding using temporal action logic
KRAQ '06 Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
A logical account of causal and topological maps
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A circumscriptive formalization of the qualification problem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Complexity of nested circumscription and abnormality theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computing circumscription revisited: preliminary report
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
Event calculus and temporal action logics compared
Artificial Intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On integrating event definition and event detection
Knowledge and Information Systems
On the complexity of theory curbing
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Artificial intelligence today
Introducing reactive Kripke semantics and arc accessibility
Pillars of computer science
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Translating first-order causal theories into answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Formalizing narratives using nested circumscription
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
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Quantifier elimination in elementary set theory
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Representing the process semantics in the situation calculus
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Making contextual intensional logic nonmonotonic
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Handling inconsistencies in data warehouses
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
On the fixpoint theory of equality and its applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
First-order stable model semantics and first-order loop formulas
Journal of Artificial Intelligence Research
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
A Reduction Result for Circumscribed Semi-Horn Formulas
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Introducing reactive Kripke semantics and arc accessibility
Annals of Mathematics and Artificial Intelligence
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming
Module theorem for the general theory of stable models
Theory and Practice of Logic Programming
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.00 |