Publication:4224292
From MaRDI portal
zbMath0926.68104MaRDI QIDQ4224292
Randy Goebel, David Poole, Alan K. Mackworth
Publication date: 11 January 1999
formal reasoning; intelligent agents; deductive reasoning; delivery robot; diagnostic assistant; infobot; information-gathering softbot
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T01: General topics in artificial intelligence
Related Items
The Independent Choice Logic and Beyond, Restricted default theories: expressive power and outlier detection tasks, Extended beam search for non-exhaustive state space analysis, Hypothesizing about signaling networks, Let's plan it deductively!, Abductive reasoning through filtering, A meaning based information theory - informalogical space: basic concepts and convergence of information sequences, The cognitive relation in a formal setting, Artificial Intelligence Evolved from Random Behaviour: Departure from the State of the Art