What people are saying - Write a review
We haven't found any reviews in the usual places.
A Simple Solution to the Yale Shooting Problem
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning
a Non Substitutional Framework
38 other sections not shown
abstract action agent algorithm analogy applied approach argument Artificial Intelligence assume assumptions atoms autoepistemic logic axioms belief belief revision birds Brachman calculus case-based reasoning circumscription clause complete concepts conceptual graphs consider consistent constraints contains corresponding deductive default logic default reasoning default theory defined definition denotes derived disjunctive domain example exists expressions extension fact false finite first-order first-order logic formal formula function given goal graph hierarchy inference interpretation justified KANDOR knowledge representation language Lemma Levesque Lifschitz logic programs lottery paradox mapping metaphor minimal model monotonic negation negation as failure nodes nonmonotonic NP-hard objects operator possible predicate probabilistic problem proof properties propositions query reference Reiter relation restriction result rules satisfies semantics sentences Shoham situation situation calculus solution sorted logic specific structure subset symbol taxonomic temporal Theorem tion true Tweety utility variables