Sciweavers

1143 search results - page 9 / 229
» Prospective Logic Agents
Sort
View
AAAI
1992
15 years 7 months ago
A Belief-Function Logic
Alessandro Saffiotti
TARK
2009
Springer
16 years 14 days ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets
ATAL
1997
Springer
15 years 10 months ago
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
Michael Schroeder, Iara de Almeida Móra, Lu...