5198 search results - page 116 / 1040 » A Logic of Agent Programs |
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
GC
2004
Springer
15 years 3 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
WOA
2000
15 years 22 days ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
110
click to vote
JELIA
2010
Springer
14 years 9 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...