Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Reasoning about Evolving Nonmonotonic Knowledge Bases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The complexity of achievement and maintenance problems in agent-based systems
Artificial Intelligence
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
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
State-Based Regression with Sensing and Knowledge
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
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
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Probabilistic planning with clear preferences on missing information
Artificial Intelligence
Planning with Uncertainty in Action Outcomes as Linear Programming Problem
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Conformant planning for domains with constraints: a new approach
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On reversing actions: algorithms and complexity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Moving containers in small terminal as STRIPS planning problem
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Scoring functions of approximation of STRIPS planning by linear programming
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Complexity of nested circumscription and abnormality theories
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Scoring functions of approximation of STRIPS planning by linear programming - block world example
WSEAS Transactions on Computers
Approximation of action theories and its application to conformant planning
Artificial Intelligence
ICS'10 Proceedings of the 14th WSEAS international conference on Systems: part of the 14th WSEAS CSCC multiconference - Volume II
On planning in multi-agent environment: algorithm of scene reasoning from incomplete information
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
An approximation of action theories of AL and its application to conformant planning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On the effectiveness of CNF and DNF representations in contingent planning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
A conformant planner based on approximation: CpA(H)
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
| Hi-index | 0.00 |