Search Results - "Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Mathematical Logic---Logic and constraint programming, Modal logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---Logic Programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---Modal logic General Terms, Non-Monotonic Reasoning, Logics of Knowledge and Beliefs, Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases, Disjunctive logic programming, negation, static semantics, well-founded semantics
File Description: application/postscript
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming, Modal logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Modal logic General Terms, Non-Monotonic Reasoning, Logics of Knowledge and Beliefs, Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases, Disjunctive logic programming, negation, static semantics, well-founded semantics
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6783; http://arxiv.org/pdf/cs/0010032v1.pdf
Nájsť tento článok vo Web of Science