Sciweavers

92 search results - page 16 / 19
» Semantics of Plan Revision in Intelligent Agents
Sort
View
AAAI
1996
13 years 8 months ago
Scaling Up Explanation Generation: Large-Scale Knowledge Bases and Empirical Studies
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...
James C. Lester, Bruce W. Porter
ATAL
2000
Springer
13 years 11 months ago
Agent Programming with Declarative Goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
Koen V. Hindriks, Frank S. de Boer, Wiebe van der ...
APAL
2002
101views more  APAL 2002»
13 years 7 months ago
The logic of tasks
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
Giorgi Japaridze
DALT
2005
Springer
14 years 28 days ago
Agent-Oriented Programming with Underlying Ontological Reasoning
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
Álvaro F. Moreira, Renata Vieira, Rafael H....
AI
2011
Springer
13 years 2 months ago
First-order logical filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
Afsaneh Shirazi, Eyal Amir