Provably correct theories of action
Journal of the ACM (JACM)
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Abductive planning with sensing
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Cognitive modeling: knowledge, reasoning and planning for intelligent characters
Proceedings of the 26th annual conference on Computer graphics and interactive techniques
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Cognitive modeling for games and animation
Communications of the ACM
Reuse and abstraction in verification: agents acting in dynamic environments
First international workshop, AOSE 2000 on Agent-oriented software engineering
BI as an assertion language for mutable data structures
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Verifying security protocols as planning in logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Two approaches to efficient open-world reasoning
Logic-based artificial intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
Modular Models of Intelligence – Review, Limitations and Prospects
Artificial Intelligence Review
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Two components of an action language
Annals of Mathematics and Artificial Intelligence
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence
Scheduling in the situation calculus: A case study
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Probabilistic Situation Calculus
Annals of Mathematics and Artificial Intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Representing Software Engineering Knowledge
Automated Software Engineering
Business Process Modelling and Design — A Formal Model and Methodology
BT Technology Journal
Ontologies to Support Process Integration in Enterprise Engineering
Computational & Mathematical Organization Theory
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
A formal framework for business process modelling and design
Information Systems
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
History-based diagnosis templates in the framework of the situation calculus
AI Communications - Special issue on KI-2001
On the evaluation of agent behaviors
Artificial Intelligence
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Formal Model for Business Process Modeling and Design
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Specifying Active Rules for Database Maintenance
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Towards State Update Axioms: Reifying Successor State Axioms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics 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
A Simple and Tractable Extension of Situation Calculus to Epistemic Logic
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
From Causal Theories to Logic Programs (Sometimes)
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A New Equational Foundation for the Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
History-Based Diagnosis Templates in the Framework of the Situation Calculus
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
Knowledge, action, and the frame problem
Artificial Intelligence
Plan evaluation with incomplete action descriptions
Eighteenth national conference on Artificial intelligence
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
AI Magazine
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Modal probability, belief, and actions
Fundamenta Informaticae
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002
Theory and Practice of Logic Programming
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Process algebra approach to reasoing about concurrent actions
Journal of Computer Science and Technology
Knowledge, action, and ability in the situation calculus: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Planning and programming with first-order markov decision processes: insights and challenges
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Tableau-based automata construction for dynamic linear time temporal logic*
Annals of Mathematics and Artificial Intelligence
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
Modeling mental states in the analysis of multiagent systems requirements
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Event calculus and temporal action logics compared
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
A temporal argumentative system
AI Communications
Book reviews: Knowledge representation and commonsense reasoning: Reviews of four books
Artificial Intelligence
Journal of Biomedical Informatics
Artificial Intelligence
Metatheory of actions: Beyond consistency
Artificial Intelligence
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
On the Semantics of Conditional Commitment
Agent Communication II
Scalable Specification and Reasoning: Challenges for Program Logic
Verified Software: Theories, Tools, Experiments
DL Reasoning and AI Planning for Web Service Composition
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Some Results on the Completeness of Approximation Based Reasoning
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Monitoring and diagnosing software requirements
Automated Software Engineering
Practical solution techniques for first-order MDPs
Artificial Intelligence
A logical account of uncertain databases based on linear logic
Proceedings of the 12th International Conference on Database Theory
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
A Scalable Governance Model for Autonomic M-Commerce
Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Cognitive Context and Arguments from Ontologies for Learning
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
The frame problem in Web service specifications
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Elaborating domain descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Formalizing Complex Task Libraries in Golog
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Cumulative effects of concurrent actions on numeric-valued fluents
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning with incomplete initial information and nondeterminism in situation calculus
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Defeasible specifications in action theories
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Partial-order planning with concurrent interacting actions
Journal of Artificial Intelligence Research
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
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
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Query evaluation and progression in AOL knowledge bases
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Projection using regression and sensors
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Property persistence in the situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling control knowledge into preconditions for planning in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Action representation and partially observable planning using epistemic logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Journal of Artificial Intelligence Research
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about noisy sensors in the situation calculus
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
How to progress a database II: the STRIPS connection
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What robots can do: robot programs and effective achievability
Artificial Intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Simple Default Reasoning in Theories of Action
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Specialization of Interaction Protocols in a Temporal Action Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A stochastic model for intrusions
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
Challenges for action theories
Challenges for action theories
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Knowledge representation for stochastic decision processes
Artificial intelligence today
Artificial intelligence today
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Property persistence in the situation calculus
Artificial Intelligence
Situation based control for cyber-physical environments
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
How to Track Absolutely Everything
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning with concurrent interacting actions
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
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
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Non-Markovian control in the Situation Calculus
Artificial Intelligence
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Iterated belief change in the situation calculus
Artificial Intelligence
Artificial Intelligence
Diagnosing software using statecharts
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Relaxing Regression for a Heuristic GOLOG
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
BI as an assertion language for mutable data structures
ACM SIGPLAN Notices
Programming mental state abduction
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Handling sequential observations in intelligent surveillance
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Exploiting the rule structure for decision making within the independent choice logic
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Belief revision in the situation calculus without plausibility levels
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Epistemic actions and ontic actions: a unified logical framework
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
A causal perspective to qualitative spatial reasoning in the situation calculus
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
Reasoning about web services in a temporal action logic
Reasoning, Action and Interaction in AI Theories and Systems
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Modeling mental states in agent-oriented requirements engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Theories of intentions in the framework of situation calculus
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modelling the context of learning interactions in intelligent learning environments
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
The chisholm paradox and the situation calculus
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Deductive systems' representation and an incompleteness result in the situation calculus
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Ability in a multi-agent context: a model in the situation calculus
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
Integrating relational reinforcement learning with reasoning about actions and change
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Modal Probability, Belief, and Actions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Deriving Invariants and Constraints from Action Theories
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Replanning in domains with partial information and sensing actions
Journal of Artificial Intelligence Research
Exhaustive simulation of consecutive mental states of human agents
Knowledge-Based Systems
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Interactive relational reinforcement learning of concept semantics
Machine Learning
| Hi-index | 0.02 |