376 search results - page 2 / 76 » Agent Logics as Program Logics: Grounding KARO |
AROBOTS
1998
13 years 6 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
RR
2009
Springer
13 years 10 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
SAS
2001
Springer
13 years 10 months ago
2001
Springer
IJCAI
2007
13 years 7 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
DALT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...