411 search results - page 16 / 83 » Logic Programming for Evolving Agents |
EPIA
1997
Springer
14 years 2 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
CORR
2004
Springer
13 years 9 months 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...
AAAI
1990
13 years 11 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
AAAI
2007
14 years 4 days ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
SAC
2005
ACM
14 years 3 months ago
2005
ACM