Deduct
发表于 2025-4-1 02:15:28
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.
谷物
发表于 2025-4-1 06:51:09
http://reply.papertrans.cn/59/5880/587920/587920_62.png
拍翅
发表于 2025-4-1 13:51:54
978-3-540-59487-1Springer-Verlag Berlin Heidelberg 1995
charisma
发表于 2025-4-1 17:37:00
Logic Programming and Nonmonotonic Reasoning978-3-540-49282-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
investigate
发表于 2025-4-1 19:57:05
https://doi.org/10.1007/3-540-59487-6Nichtklassische Logiken; Nichtmonotones Schließen; Programm-Semantik; artificial intelligence; logic; log