Sciweavers

222 search results - page 31 / 45
» An Intelligent Agent Based Approach to MOSAICA's Pedagogical...
Sort
View
AAAI
1997
15 years 2 months ago
Abductive Completion of Plan Sketches
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
Karen L. Myers
AMKM
2003
Springer
15 years 6 months ago
Towards Evaluation of Peer-to-Peer-Based Distributed Knowledge Management Systems
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
Marc Ehrig, Christoph Schmitz, Steffen Staab, Juli...
ECAI
2006
Springer
15 years 4 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
AAAI
2008
15 years 3 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
AAAI
2010
15 years 2 months ago
Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization
Partially Observable Markov Decision Processes (POMDPs) are a well-established and rigorous framework for sequential decision-making under uncertainty. POMDPs are well-known to be...
Georgios Theocharous, Sridhar Mahadevan