Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Nonmonotonic logic and temporal projection
Artificial 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
Artificial intelligence and mathematical theory of computation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Relating disjunctive logic programs to default theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Complexity results for disjunctive logic programming and application to nonmonotonic logics
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
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
A logic of universal causation
Artificial Intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Causality in Commonsense Reasoning about Actions
Causality in Commonsense Reasoning about Actions
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Conditional logic of actions and causation
Artificial Intelligence - Special issue on nonmonotonic reasoning
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Loop formulas for circumscription
Artificial Intelligence
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Event calculus and temporal action logics compared
Artificial Intelligence
Formal systems for persuasion dialogue
The Knowledge Engineering Review
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
Metatheory of actions: Beyond consistency
Artificial Intelligence
Active logic semantics for a single agent in a static world
Artificial Intelligence
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Predicting causality ascriptions from background knowledge: model and experimental validation
International Journal of Approximate Reasoning
Handling uncertainty and defeasibility in a possibilistic logic setting
International Journal of Approximate Reasoning
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering
Business process interoperability: extended abstract
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Action and Agency in Norm-Governed Multi-agent Systems
Engineering Societies in the Agents World VIII
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
A Comparative Study of Six Formal Models of Causal Ascription
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Strongly Equivalent Temporal Logic Programs
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Compact preference representation and Boolean games
Autonomous Agents and Multi-Agent Systems
Engineering an Incremental ASP Solver
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
From the textual description of an accident to its causes
Artificial Intelligence
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)
Background default knowledge and causality ascriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Compact Representation of Sets of Binary Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Deriving explanations from causal information
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Answer Set Programming for Single-Player Games in General Game Playing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Bridging the Gap between High-Level Reasoning and Low-Level Control
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Representing Multi-agent Planning in CLP
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Issues in reasoning about interaction networks in cells: necessity of event ordering knowledge
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Forgetting actions in domain descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The semantics of variables in action descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Towards answer set prolog based architectures for intelligent agents
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On reversing actions: algorithms and complexity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A logic program characterization of causal theories
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Refining the meaning of sense labels in PDTB: "Concession"
STEP '08 Proceedings of the 2008 Conference on Semantics in Text Processing
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Describing additive fluents in action language C+
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Journal of Artificial Intelligence Research
Propositional argumentation and causal reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning with graded fluents and actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
A multiagent knowledge and information network approach for managing research assets
Expert Systems with Applications: An International Journal
Simulating computational societies
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
Ontology-based inference for causal explanation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Interoperation in protocol enactment
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Evolution and reactivity in the semantic web
Semantic techniques for the web
Developing high-level cognitive functions for service robots
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Updating action domain descriptions
Artificial Intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A formalism for causal explanations with an answer set programming translation
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Dealing with incomplete normative states
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Translating first-order causal theories into answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Coala: a compiler from action languages to ASP
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Artificial Intelligence
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Artificial Intelligence
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Translating general game descriptions into an action language
Logic programming, knowledge representation, and nonmonotonic reasoning
Causal reasoning for planning and coordination of multiple housekeeping robots
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Using a normative framework to explore the prototyping of wireless grids
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Journal of Computer and System Sciences
Game-theoretic reasoning about actions in nonmonotonic causal theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Some logical properties of nonmonotonic causal theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Modular-ε: an elaboration tolerant approach to the ramification and qualification problems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Comparing action descriptions based on semantic preferences
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Representing action domains with numeric-valued fluents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Probabilistic reasoning about actions in nonmonotonic causal theories
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Configurations for inference between causal statements
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Inducing causal laws by regular inference
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Programming social middleware through social interaction types
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Detecting exceptions in commitment protocols: discovering hidden states
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Correct Reasoning
Extending action language C+ by formalizing composite actions
Correct Reasoning
Considerations on belief revision in an action theory
Correct Reasoning
Simulating production rules using ACTHEX
Correct Reasoning
Applications of action languages in cognitive robotics
Correct Reasoning
Reformulating action language C+ in answer set programming
Correct Reasoning
A language for default reasoning about actions
Correct Reasoning
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Intelligent Service Robotics
Annals of Mathematics and Artificial Intelligence
The design of intelligent socio-technical systems
Artificial Intelligence Review
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
FQHT: the logic of stable models for logic programs with intensional functions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Handling open knowledge for service robots
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowledge representation, and discuss its implementation, called the Causal Calculator.