Author : Linkoeping University. Dept. of Computer and Information Science
Publisher :
ISBN 13 :
Total Pages : 23 pages
Book Rating : 4.:/5 (186 download)
Book Synopsis Semantics of Disjunctive Logic Programs and Deductive Databases by : Linkoeping University. Dept. of Computer and Information Science
Download or read book Semantics of Disjunctive Logic Programs and Deductive Databases written by Linkoeping University. Dept. of Computer and Information Science and published by . This book was released on 1991 with total page 23 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Recently the author introduced the so called stationary semantics which extends the well-founded semantics of normal logic programs to the class of all disjunctive logic programs and deductive databases. The stationary semantics also extends the perfect model semantics defined earlier for stratified disjunctive databases. As a result, the stationary semantics is the only currently known semantics which extends both semantics and is defined for all disjunctive databases. However, the original definition of stationary semantics was given in terms of 3-valued models and 3-valued theories and therefore seemed to require non-standard, 3-valued logic.