 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Contents
Other editions - View all
Common terms and phrasesab-minimal abductive explanations abductive logic anaphoric applications assumptions atoms automated theorem proving Boston pitchers branch calculus carrot clause computational conservative minimal constant frame constraint solver Davis-Putnam procedure defined definite descriptions denotation determined diadic different discourse model effect efficient engine enumerates example find finite model finite-domain first first-order logics formalisation function generalised given Herbrand models higher-order logic identifies identifying property iff implements individuals inference infinite input instance instantiations Kimba lam(x#i literals locally minimal models logic programming logical constants logical contribution logical encoding logical form logical specification man(x minimisation model generation methods natural language natural-language natural-language interpretation predicate logic proc proof propagator procedures propositional propositional logic PUHR tableaux quantifier reciprocal expressions refers restricted satisfiability scope relation search space semantic representation signed formulas simply solution specification subset-minimal theorem proving tion translation truth conditions truth values unique universe of discourse unsatisfiable weighted abduction Bibliographic information
|