1143 search results - page 35 / 229 » Prospective Logic Agents |
FPL
2000
Springer
15 years 5 months ago
2000
Springer
Many applications can be modeled as subgraph isomorphism problems. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospect...
120
click to vote
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
118
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
102
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
100
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.