Titlebook: Logic Programming and Nonmonotonic Reasoning; Third International V. Wiktor Marek,Anil Nerode,M. Truszczyński Conference proceedings 1995

Deduct

Default consequence relations as a logical framework for logic programs,jor semantics for logic programs in this framework and study the question what kind of default reasoning is appropriate for them. It is shown, in particular, that default consequence relations based on three-valued inference are adequate for these semantics.

谷物

拍翅

978-3-540-59487-1Springer-Verlag Berlin Heidelberg 1995

charisma

Logic Programming and Nonmonotonic Reasoning978-3-540-49282-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

investigate

https://doi.org/10.1007/3-540-59487-6Nichtklassische Logiken; Nichtmonotones Schlie?en; Programm-Semantik; artificial intelligence; logic; log