Nonmonotonic logic and temporal projection
Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
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
On the logic of causal explanation
Artificial Intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
LUPS---a language for updating logic programs
Artificial Intelligence
Complexity results for structure-based causality
Artificial Intelligence
Dynamic Knowledge Representation and Its Applications
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Answer Set Planning under Action Costs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The DLVK Planning System: Progress Report
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
System Description: The DLVK Planning System
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
E-RES: Reasoning about Actions, Events and Observations
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Representing Transition Systems by Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Representing Actions over Dynamic Domains
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
Wire Routing and Satisfiability Planning
CL '00 Proceedings of the First International Conference on Computational Logic
A logic programming approach to knowledge-state planning, II: the DLVk system
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)
Monitoring agents using declarative planning
Fundamenta Informaticae
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
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
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
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Event calculus and temporal action logics compared
Artificial Intelligence
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence
Resolving Conflicts in Action Descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
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
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
Forgetting actions in domain descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Error classification in action descriptions: a heuristic approach
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Partial-order planning with concurrent interacting actions
Journal of Artificial Intelligence Research
Answer set planning under action costs
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
Causal theories of action: a computational core
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
Updates, actions, and planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Causal interaction: from a high-level representation to an operational event-based representation
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Updating action domain descriptions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
CPP: a constraint logic programming based planner with preferences
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient intelligence
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Evolution and reactivity in the semantic web
Semantic techniques for the web
Updating action domain descriptions
Artificial Intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
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
On the equivalence between the L1 action language and partial actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Journal of Computer and System Sciences
Comparing action descriptions based on semantic preferences
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A tool for answering queries on action descriptions
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
Modelling biological networks by action languages via answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Model checking of security-sensitive business processes
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
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
Integrating relational reinforcement learning with reasoning about actions and change
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Considerations on belief revision in an action theory
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
Monitoring Agents using Declarative Planning
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
| Hi-index | 0.00 |
Action languages serve for describing changes that are caused by performing actions. We define a new action language C, based on the theory of causal explanation proposed recently by McCain and Turner, and illustrate its expressive power by applying it to a number of examples. The mathematical results presented in the paper relate C to the Baral-Gelfond theory of concurrent actions.