Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990John Wylie Lloyd |
Other editions - View all
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 J.W. Lloyd Limited preview - 2012 |
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 J.W. Lloyd No preview available - 2011 |
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 John Wylie Lloyd No preview available - 1990 |
Common terms and phrases
a₁ abduction algorithm answer argument Artificial Intelligence atom autoepistemic logic B₁ Boolean circumscription computational logic concept constraints concept description concept languages constraint theory default logic default reasoning default theory defined definition del(X demo demo(T denote disjunctive disjunctive normal form domain elements equivalent example exists extended concept tree extensions F-consequences finite first-order logic fixpoint FOPCE formal formula free variables function goal ground instance Herbrand Herbrand interpretation Horn clause input integrity constraints interpretation KFOPCE knowledge assimilation knowledge representation Kowalski left terminating programs Lemma level mapping Levesque Lifschitz metainterpreter metalevel metalogic modal logic mode multiset multiset ordering N.concept-description negation by failure node operator parameters problem procedure Prolog III Prolog programs Proof Proposition prove query evaluation Raymond Reiter Reiter relation result rule semantics sentences sequence solution solve specifications structure subset synthesise technique Th(V theorem transformation tree computed U-extension universally satisfiable