Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Download On The Semantics Of Disjunctive Logic Programs full books in PDF, epub, and Kindle. Read online On The Semantics Of Disjunctive Logic Programs ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author : Rachel Ben-Eliyahu
Publisher :
ISBN 13 :
Total Pages : 42 pages
Book Rating : 4.:/5 (28 download)
Download or read book Propositional Semantics for Disjunctive Logic Programs written by Rachel Ben-Eliyahu and published by . This book was released on 1992 with total page 42 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Athanasios Tsouanas
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (892 download)
Download or read book On the Semantics of Disjunctive Logic Programs written by Athanasios Tsouanas and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis, we study denotational semantics (model-theoretic andgame-theoretic) of four logic programming languages:- LP which is the most restrictive one;- DLP which extends LP by allowing disjunctions;- LPN which extends LP by allowing negations; and- DLPN which allows both.The three main contributions of this dissertation can be summarized as follows:(1) An abstract framework for logic programming semantics is definedand all semantic approaches that we study are placed within this framework.We define the general notion of a truth value space as an appropriate algebraicstructure that satisfies a set of axioms.The booleans form the canonical example of such a space, but we need toconsider much more general ones when dealing with negation-as-failure. Forthis we define and study an infinite family of spaces, parametrized over anordinal number.(2) A game semantics for LP was defined in 1986 and further studied in 1998.Then in 2005 it was extended for the case of LPN programs.Here a game semantics for DLP programs is developed in full detail; we provethat it is sound and complete with respect to the standard, minimal modelssemantics of Minker.(3) We define a semantic operator which transforms any given abstractsemantics of a non-disjunctive language to a semantics of the"corresponding" disjunctive one. We exhibit the correctness of thistransformation by proving that it preserves equivalences of semantics,and we present some applications of it, obtaining new game semantics forDLPN, among others.
Author : Jorge Lobo
Publisher : MIT Press (MA)
ISBN 13 :
Total Pages : 344 pages
Book Rating : 4.3/5 (91 download)
Download or read book Foundations of Disjunctive Logic Programming written by Jorge Lobo and published by MIT Press (MA). This book was released on 1992 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive logic programming. Disjunctive logic programming permits the description of indefinite or incomplete information through a disjunction of atoms in the head of a clause. The authors describe model theoretic semantics, proof theoretic semantics, and fix point semantics for disjunctive and normal disjunctive programs (a normal disjunctive program permits negated atoms in the body of a clause) and present theories of negation. They conclude with selected applications to knowledge databases. Jorge Lobo is Assistant Professor in Computer Science at the University of Illinois, Chicago Circle. Jack Minker is Professor in the Department of Computer Science and Institute for Advanced Computer Studies at the University of Maryland. Arcot Rajasekar is Assistant Professor in the Computer Science Department at the University of Kentucky. Contents: Introduction and Background. Definitions and Terminology. Declarative Semantics. Proof Theory. Negation. Weak Negation. Normal Logic Programs. Procedural Semantics: Normal Programs. Disjunctive Databases. Applications.
Author : Arcot Rajasekar
Publisher :
ISBN 13 :
Total Pages : 112 pages
Book Rating : 4.:/5 (225 download)
Download or read book Semantics for Disjunctive Logic Programs written by Arcot Rajasekar and published by . This book was released on 1989 with total page 112 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Stefan Brass
Publisher :
ISBN 13 :
Total Pages : 33 pages
Book Rating : 4.:/5 (258 download)
Download or read book A General Framework for Semantics of Disjunctive Logic Programs Based on Partial Evaluation written by Stefan Brass and published by . This book was released on 1995 with total page 33 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Martin Müller
Publisher :
ISBN 13 :
Total Pages : 15 pages
Book Rating : 4.:/5 (18 download)
Download or read book On implementing semantics for disjunctive logic programs written by Martin Müller and published by . This book was released on 1993 with total page 15 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Linkoeping University. Dept. of Computer and Information Science
Publisher :
ISBN 13 :
Total Pages : 23 pages
Book Rating : 4.:/5 (186 download)
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.
Author :
Publisher :
ISBN 13 :
Total Pages : 51 pages
Book Rating : 4.:/5 (227 download)
Download or read book Generalized Disjunctive Well-founded Semantics for Logic Programs written by and published by . This book was released on 1990 with total page 51 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Generalized disjunctive well-founded semantics (GDWFS) is an extension of generalized well-founded semantics (GWFS) of Baral, Lobo and Minker, to disjunctive logic programs. We describe fixpoint, model theoretic and procedural semantics and show their equivalence. The fixpoint semantics is similar to the fixpoint semantics of GWFS, except that it iterates over states (a pair of sets; one a set of disjunctions of atoms and the other a pair of conjunctions of atoms), rather than partial interpretations. The model theoretic semantics is based on a dynamic stratification of the program. The procedural semantics is based on SLIS refutations, +trees and SLISNF trees. We compare the GDWFS with the strong well-founded semantics of Ross and the stationary model semantics of Przymusinski."
Author : Jack Minker
Publisher :
ISBN 13 :
Total Pages : 48 pages
Book Rating : 4.:/5 (316 download)
Download or read book Semantics for Disjunctive Logic Programs with Explicit and Default Negation written by Jack Minker and published by . This book was released on 1993 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "The use of explicit negation enhances the expressive power of logic programs by providing a natural and unambiguous way to assert negated information about the domain being represented. We study the semantics of disjunctive programs that contain both explicit negation and negation-by-default, called extended disjunctive logic programs. General techniques are described for extending model, fixpoint, and proof theoretic characterizations of an arbitrary semantics of normal disjunctive logic programs to cover the class of extended programs. Illustrations of these techniques are given for stable models, disjunctive well-founded and stationary semantics. The declarative complexity of the extended programs, as well as the algorithmic complexity of the proof procedures and fixpoint operators, are discussed."
Author : Jorge Lobo
Publisher :
ISBN 13 :
Total Pages : 160 pages
Book Rating : 4.:/5 (51 download)
Download or read book Disjunctive Logic Programming written by Jorge Lobo and published by . This book was released on 1994 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : V. S. Subrahmanian
Publisher :
ISBN 13 :
Total Pages : 36 pages
Book Rating : 4.:/5 (226 download)
Download or read book Completion Semantics for General and Disjunctive Logic Programs written by V. S. Subrahmanian and published by . This book was released on 1990 with total page 36 pages. Available in PDF, EPUB and Kindle. Book excerpt: Finally, we develop a semantics for general and disjunctive logic programs based on the notion of a supervaluation."
Author : Bart Demoen
Publisher : Springer
ISBN 13 : 3540277757
Total Pages : 492 pages
Book Rating : 4.5/5 (42 download)
Download or read book Logic Programming written by Bart Demoen and published by Springer. This book was released on 2004-11-18 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the 20th International Conference on Logic Programming,held in Saint-Malo,France,September 6-10,2004.Since the ?rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the Program Committee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-poster session took place during the conference. It served as a forum for presenting work in a more informal and interactive setting. Abstracts of the 16 posters selected by the Program Committee are included in this volume as well. The conference program also included invited talks and invited tutorials. We were privileged to have talks by three outstanding researchers and excellent speakers: Nachum Dershowitz (Tel Aviv University, Israel) talked on Ter- nation by Abstraction, Michael Gelfond (Texas Tech University, USA) on - swer Set Programming and the Design of Deliberative Agents,andG ́ erard Huet (INRIA, France) on Non-determinism Lessons. Two of the invited talks appear in these proceedings. The tutorials covered topics of high interest to the logic programming community: Ilkka Niemel ̈ a gave a tutorial on The Implementation of Answer Set Solvers, Andreas Podelskion Tree Automata in Program Analysis and Veri?cation, and Guillermo R. Simari on Defeasible Logic Programming and Belief Revision. Satellite workshops made the conference even more interesting. Six workshops collocated with ICLP 2004: - CICLOPS2004, Colloquium on Implementation of Constraint and Logic Programming Systems, organized by Manuel Carro. - COLOPS2004, 2nd International Workshop on Constraint & Logic Progr- ming in Security, organized by Frank Valencia. - MultiCPL2004, 3rd International Workshop on Multiparadigm Constraint, organized by Petra Hofstedt. - Teach LP2004,1st International Workshop on Teaching Logic Programming, organized by Dietmar Seipel.
Author : Jorge Lobo
Publisher : MIT Press
ISBN 13 : 9780262121651
Total Pages : 344 pages
Book Rating : 4.1/5 (216 download)
Download or read book Foundations of Disjunctive Logic Programming written by Jorge Lobo and published by MIT Press. This book was released on 1992 with total page 344 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Nicola Leone
Publisher :
ISBN 13 :
Total Pages : 39 pages
Book Rating : 4.:/5 (515 download)
Download or read book Optimal Models of Disjunctive Logic Programs written by Nicola Leone and published by . This book was released on 2001 with total page 39 pages. Available in PDF, EPUB and Kindle. Book excerpt: Almost all semantics for logic programs with negation identify a set, SEM(P), of models of program P, as the intended semantics of P, and any model M in this class is considered a possible meaning of P w.r.t. the semantics the user has in mind. Thus, for example, in the case of stable models, choice models, answer sets, etc., different possible models correspond to different ways of "completing" the incomplete information in the logic program. However, different end-users may have different ideas on which of these different models in SEM(P) is a reasonable one from their point of view. For instance, given SEM(P), user U1 may prefer model M1 to model M2 based on some evaluation criterion that she has. In this paper, we will develop a notion of logic program semantics based on the concept of an Optimal Model. This semantics doesn't add yet another semantics to thelogic programming arena -- rather, it takes as input, an existing semantics SEM(P) and a user-specified objective function Obj, and yields a new semantics that realizes the objective function within the framework of preferred models identified already by SEM(P) in different ways. Thus, the user who may or may not know anything about logic programming has considerable flexibility in making the system reflect her own objectives by building "on top" of existing semantics known to the system. In addition to the declarative semantics characterization, we provide a complete complexity analysis and algorithms to compute optimal models under varied conditions when SEM(P) is the stable model semantics, the minimal models semantics, and the all-models semantics.
Author : Jorge Lobo
Publisher :
ISBN 13 :
Total Pages : 428 pages
Book Rating : 4.:/5 (244 download)
Download or read book Semantics for Normal Disjunctive Logic Programs written by Jorge Lobo and published by . This book was released on 1990 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Teodor C. Przymusinski
Publisher :
ISBN 13 :
Total Pages : 25 pages
Book Rating : 4.:/5 (186 download)
Download or read book Stable Semantics for Disjunctive Programs written by Teodor C. Przymusinski and published by . This book was released on 1991 with total page 25 pages. Available in PDF, EPUB and Kindle. Book excerpt: For locally stratified disjunctive programs both (total and partial) disjunctive stable semantics coincide with the perfect model semantics. The partial disjunctive stable semantics can be generalized to the class of all disjunctive logic programs. Both (total and partial) disjunctive stable semantics can be naturally extended to a broader class of disjunctive programs that permit the use of classical negation. After translation of the program P into a suitable autoepistemic theory P̂ the disjunctive (respectively, partial disjunctive) stable semantics of P coincides with the autoepistemic (respectively 3-valued autoepistemic) semantics of P̂."
Author : Ulrich Furbach
Publisher :
ISBN 13 :
Total Pages : 13 pages
Book Rating : 4.:/5 (318 download)
Download or read book Answers for Disjunctive Logic Programs written by Ulrich Furbach and published by . This book was released on 1991 with total page 13 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "In this paper indefinite answers for disjunctive logic programs are investigated. A fixpoint semantics which is known from the literature is discussed and a result concerning its correspondence to a minimal model semantics is improved. As an operational semantics V- resolution is proposed and its answer correctness and completeness is proved. Finally the use of the splitting rule for computing answers for disjunctive logic programs is depicted."
