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
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
A logical approach to high-level agent control
Proceedings of the fifth international conference on Autonomous agents
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Group delegation and responsibility
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Connectionism, Systematicity, and the Frame Problem
Minds and Machines
Problems and projections in CS for the next 49 years
Journal of the ACM (JACM)
The Nature of Knowledge in an Abductive Event Calculus Planner
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Reasoning about Actions with CHRs and Finite Domain Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic 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
Representing Knowledge in A-Prolog
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
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Non-situation Calculus and Database Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
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
An Argumentation Framework of Reasoning about Actions and Change
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Model of Delegation for Multi-agent Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Consistency of Action Descriptions
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
Local Reasoning about Programs that Alter Data Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
High-Level Robot Control through Logic
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
The Epistemological Foundations of Artificial Agents
Minds and Machines
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
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
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Regnet: an infrastructure for regulatory information management and compliance assistance
dg.o '02 Proceedings of the 2002 annual national conference on Digital government research
IEEE Intelligent Systems
Computational Linguistics
Design time analysis of multiagent protocols
Data & Knowledge Engineering
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Using simplified event calculus in digital investigation
Proceedings of the 2008 ACM symposium on Applied computing
Towards Design Tools for Protocol Development
Agent Communication II
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
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)
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Using Occlusion Calculi to Interpret Digital Images
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 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Knowledge Qualification through Argumentation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
The ramification problem in the event calculus
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Symmetric splitting in the general theory of stable models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Java Implementation of Temporal Defeasible Logic
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Process SEER: a tool for semantic effect annotation of business process models
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
On integrating event definition and event detection
Knowledge and Information Systems
Challenges for action theories
Challenges for action theories
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Using theory completion to learn a robot navigation control program
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Artificial intelligence today
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
Journal of Artificial Intelligence Research
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise, non-determinism and spatial uncertainty
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Probabilistic event calculus based on Markov logic networks
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Constraints from STRIPS — preliminary report
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
The other syntax: approaching natural language semantics through logical form composition
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Argumentation and the event calculus
Logic Programs, Norms and Action
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Journal of Artificial Intelligence Research
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Event calculus-based adaptive services composition policy for ami systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
A Framework for Detecting Interactions Between Co-Incident Clinical Processes
International Journal of E-Health and Medical Communications
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |