376 search results - page 16 / 76 » Agent Logics as Program Logics: Grounding KARO |
112
click to vote
DALT
2004
Springer
15 years 3 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
114
click to vote
AAAI
2012
13 years 2 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
117
click to vote
DALT
2008
Springer
15 years 1 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
AAAI
2004
15 years 1 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...