1143 search results - page 38 / 229 » Prospective Logic Agents |
BIRTHDAY
2010
Springer
14 years 12 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
100
click to vote
DALT
2003
Springer
15 years 7 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
127
click to vote
DALT
2009
Springer
15 years 8 months 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...
AAAI
2000
15 years 3 months ago
2000
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...