690 search results - page 28 / 138 » Logical Agents for Language and Action |
168
click to vote
DALT
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
161
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
176
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
178
click to vote
WOLLIC
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
148
click to vote
AAAI
2008
15 years 8 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...