Autonomous mobile manipulators managing perception and failures
Proceedings of the fifth international conference on Autonomous agents
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Hypothetical Temporal Reasoning in Databases
Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery
A reliable natural language interface to household appliances
Proceedings of the 8th international conference on Intelligent user interfaces
History-based diagnosis templates in the framework of the situation calculus
AI Communications - Special issue on KI-2001
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Mapping the Growing Neural Gas to Situation Calculus
ICANN '02 Proceedings of the International Conference on Artificial Neural Networks
Complexity of Multi-agent Systems Behavior
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Logic of Interaction for Multiagent Systems
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
A hoare-style proof system for robot programs
Eighteenth national conference on Artificial intelligence
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
A model checker for verifying ConGolog programs
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
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On feasible cases of checking multi-agent systems behavior
Theoretical Computer Science - Logic and complexity in computer science
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Disunification in ACI1 Theories
Constraints
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
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
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
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
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Exploiting first-order regression in inductive policy selection
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Recognition of the intention to perform a procedure: a method based on probabilities
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Game theoretic Golog under partial observability
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Knowledge and communication: a first-order theory
Artificial Intelligence
OMWSC- An Ontology-Based Model for Web Services Composition
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A Logical Architecture for Active Network Management
Journal of Network and Systems Management
A declarative approach to composing web services in dynamic environments
Decision Support Systems
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
Toward a General Logicist Methodology for Engineering Ethically Correct Robots
IEEE Intelligent 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
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Cooperation Model of Multi-agent System Based on the Situation Calculus
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A causal approach to nonmonotonic reasoning
Artificial Intelligence
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Artificial Intelligence
A framework for formal modeling and analysis of organizations
Applied Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Analysis of meeting protocols by formalisation, simulation, and verification
Computational & Mathematical Organization Theory
Bringing Semantics to Web Services with OWL-S
World Wide Web
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Logical approach for dynamic system in situation dependent services
Mobility '06 Proceedings of the 3rd international conference on Mobile technology, applications & systems
Metatheory of actions: Beyond consistency
Artificial Intelligence
Cognitive vision: The case for embodied perception
Image and Vision Computing
Towards a logical theory of coordination and joint ability
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Learning how to combine sensory-motor functions into a robust behavior
Artificial Intelligence
Intelligent perception and control for space robotics: Autonomous Satellite Rendezvous and Docking
Machine Vision and Applications
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
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Pouring liquids: A study in commonsense physical reasoning
Artificial Intelligence
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
IMITATION LEARNING AND ANCHORING THROUGH CONCEPTUAL SPACES
Applied Artificial Intelligence
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
Davidson and Reiter on Actions
Fundamenta Informaticae - Logic for Pragmatics
Applied Ontology
On the Semantics of Conditional Commitment
Agent Communication II
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Options in Readylog Reloaded --- Generating Decision-Theoretic Plan Libraries in Golog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
A Component-Based Ambient Agent Model for Assessment of Driving Behaviour
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
A Fluent Calculus Semantics for ADL with Plan Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
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
State-Based Regression with Sensing and Knowledge
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Practical solution techniques for first-order MDPs
Artificial Intelligence
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
On-line adaptation of sequential mobile processes running concurrently
Proceedings of the 2009 ACM symposium on Applied Computing
Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
Computer-aided proofs of Arrow's and other impossibility theorems
Artificial Intelligence
Handling prioritized goals and subgoals in a logical account of goal change
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
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)
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Adaptive Multi-Agent Programming in GTGolog
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
Decision making in large-scale domains: a case study
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning about Dynamic Depth Profiles
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
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 Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
Web Service Composition via the Customization of Golog Programs with User Preferences
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Encoding probabilistic causal model in probabilistic action language
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Reasoning about discrete event sources
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Representing Multi-agent Planning in CLP
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Revisiting Constraint Models for Planning Problems
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Cumulative effects of concurrent actions on numeric-valued fluents
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A logical theory of coordination and joint ability
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A situation-calculus semantics for an expressive fragment of PDDL
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
ESP: a logic of only-knowing, noisy sensing and acting
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Expressiveness of ADL and golog: functions make a difference
AAAI'07 Proceedings of the 22nd 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
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Computer-aided proofs of arrow's and other impossibility theorems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A formalization of program debugging in the situation calculus
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Finding state similarities for faster planning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Reasoning about large taxonomies of actions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Imperfect match: PDDL 2.1 and real applications
Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Team programming in Golog under partial observability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dynamic interactions between goals and beliefs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A tractability result for reasoning with incomplete first-order knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial 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
Adopting context awareness in service composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Representing flexible temporal behaviors in the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
Existential assertions and quantum levels on the tree of the situation calculus
Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On first-order definability and computability of progression for local-effect actions and beyond
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Decision supporting system based on fuzzy default reasoning
HSI'09 Proceedings of the 2nd conference on Human System Interactions
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Synthesizing Semantic Web Service Compositions with jMosel and Golog
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A declarative approach to composing web services in dynamic environments
Decision Support Systems
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Embedding fuzzy controllers in Golog
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
An adaptive multi-agent organization model based on dynamic role allocation
International Journal of Knowledge-based and Intelligent Engineering Systems
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Game-theoretic agent programming in Golog under partial observability
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Adaptive multi-agent programming in GTGolog
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Programming assistance based on contracts and modular verification in the automation domain
Proceedings of the 2010 ACM Symposium on Applied Computing
A dynamic description logic for representation and reasoning about actions
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Inductive logic programming algorithm for estimating quality of partial plans
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Multivalued action languages with constraints in CLP(FD)
ICLP'07 Proceedings of the 23rd international conference on Logic programming
The ramification problem in temporal databases: a solution implemented in SQL
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Comparing three formal analysis approaches of the tropos family
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
Generating optimal plans in highly-dynamic domains
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
SCOPE: A Situation Calculus Ontology of Petri Nets
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Foundational Process Relations in Bio-Ontologies
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Property persistence in the situation calculus
Artificial Intelligence
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Agreeing on plans through iterated disputes
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Updating action domain descriptions
Artificial Intelligence
TracED: A tool for capturing and tracing engineering design processes
Advances in Engineering Software
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The Knowledge Engineering Review
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
Journal of Logic, Language and Information
How to Track Absolutely Everything
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Journal of Artificial Intelligence Research
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Non-Markovian control in the Situation Calculus
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
How does a box work? A study in the qualitative dynamics of solid objects
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Customizing the composition of actions, programs, and web ervices with user preferences
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
On the way to high-level programming for resource-limited embedded systems with Golog
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Specifying and computing preferred plans
Artificial Intelligence
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Thirteen definitions of a stable model
Fields of logic and computation
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
On representing actions in multi-agent domains
Logic programming, knowledge representation, and nonmonotonic reasoning
Patterns in world dynamics indicating agency
Transactions on computational collective intelligence III
Probabilistic logic reasoning about traffic scenes
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
Autonomous Agents and Multi-Agent Systems
Towards a formalization of social spaces for socially aware robots
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Towards a unified model for web services composition
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Towards modeling dynamic behavior with integrated qualitative spatial relations
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Game-theoretic reasoning about actions in nonmonotonic causal theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Human-Robot interaction through mixed-initiative planning for rescue and search rovers
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Anchoring by imitation learning in conceptual spaces
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
How our beliefs contribute to interpret actions
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Belief revision in the situation calculus without plausibility levels
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Representing action domains with numeric-valued fluents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Introducing attempt in a modal logic of intentional action
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
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Pdk: the system and its language
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information Systems
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Systems theory: melding the AI and simulation perspectives
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
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
Representational content and the reciprocal interplay of agent and environment
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The chisholm paradox and the situation calculus
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
Journal of Intelligent and Robotic Systems
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
A generative dialogue system for arguing about plans in situation calculus
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Formalisation and analysis of the temporal dynamics of conditioning
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Argumentation schemes for collaborative planning
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Modelling models of robot navigation using formal spatial ontology
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Intention recognition in the situation calculus and probability theory frameworks
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Fuzzy representations and control for domestic service robots in golog
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
On progression and query evaluation in first-order knowledge bases with function symbols
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Belief management for high-level robot programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the progression of knowledge in the situation calculus
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Replanning in domains with partial information and sensing actions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A correctness result for reasoning about one-dimensional planning problems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
An ambient agent model for monitoring and analysing dynamics of complex human behaviour
Journal of Ambient Intelligence and Smart Environments
Reasoning about the intentions of agents
Logic Programs, Norms and Action
On supervising agents in situation-determined ConGolog
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of emotions: from appraisal to coping
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
An ambient agent model for monitoring and analysing dynamics of complex human behaviour
Journal of Ambient Intelligence and Smart Environments
Applied Ontology
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
A new incarnation of action language h
Correct Reasoning
On the logical foundations of moral agency
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Davidson and Reiter on Actions
Fundamenta Informaticae - Logic for Pragmatics
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
A formal study on the dualities in temporal projection problems
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Go beyond the SCOPE: a temporal situation calculus-based software tool for time petri nets
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Applicability conditions for plans with loops: Computability results and algorithms
Artificial Intelligence
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Artificial Intelligence Research
τε2asp: implementing τε via answer set programming
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Plan recognition by program execution in continuous temporal domains
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
How to progress a database III
Artificial Intelligence
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People
Mobile Networks and Applications
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Linear temporal logic and linear dynamic logic on finite traces
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
Reasoning about state constraints in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A classification of first-order progressable action theories in situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Supremal realizability of behaviors with uncontrollable exogenous events
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
High-level program execution in multi-agent settings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A monitoring system enhanced by means of situation-awareness for cognitive impaired people
BodyNets '13 Proceedings of the 8th International Conference on Body Area Networks
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Tangible ambient intelligence with semantic agents in daily activities
Journal of Ambient Intelligence and Smart Environments
Hi-index | 0.00 |
This book describes a thoroughly developed logic- and situation-calculus-based system for problem solving and planning. Its emphasis on theory is especially important for the ambituous student who wants to look beyond immediate applications toward the goal of human-level artificial intelligence." ---John McCarthy, Professor Emeritus of Computer Science, Stanford University