Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Scheduling in the situation calculus: A case study
Annals of Mathematics and Artificial Intelligence
Relating logic programming theories of actions and partial order planning
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
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
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of 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
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Modeling and Programming Devices and Web Agents
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal Properties of Repetitive Entities
Artificial Intelligence Review
Tools for composite web services: a short overview
ACM SIGMOD Record
An ontology of trust: formal semantics and transitivity
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Towards High-Level Programming for Distributed Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A temporal argumentative system
AI Communications
The ramification problem in temporal databases: changing beliefs about the past
Data & Knowledge Engineering - Special issue: WIDM 2004
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Specification, decomposition and agent synthesis for situation-aware service-based systems
Journal of Systems and Software
A situation-calculus semantics for an expressive fragment of PDDL
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
The next big thing: position statements
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
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
Reasoning about noisy sensors in the situation calculus
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Reasoning about actions: non-deterministic effects, constraints, and qualification
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Distributed AI for ambient intelligence: issues and approaches
AmI'07 Proceedings of the 2007 European conference on Ambient 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
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
Artificial Intelligence
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
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information 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
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
| Hi-index | 0.00 |