Sciweavers

1143 search results - page 9 / 229
» Prospective Logic Agents
Sort
View
AAAI
1992
15 years 26 days ago
A Belief-Function Logic
Alessandro Saffiotti
TARK
2009
Springer
15 years 6 months 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 3 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...