5198 search results - page 10 / 1040 » A Logic of Agent Programs |
93
Voted
CORR
2004
Springer
15 years 14 days ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
95
Voted
AAAI
2006
15 years 2 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
123
click to vote
AMAI
1999
Springer
15 years 9 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
103
Voted
ATAL
1995
Springer
15 years 4 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
112
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...