A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
The Any-World Assumption (AWA) has been introduced for normal logic programs as a generalization of the well-known notions of Closed World Assumption (CWA) and the Open World Assumption (OWA). ...
Besides being the procedure novel for the AWA, we get for free a novel top-down query procedure for many-valued normal logic programs. ...
Introduction The Any-World Assumption (AWA) for normal logic programs [16] is a generalization of the notions of the Closed World Assumption (CWA) (which asserts that by default the truth of an atom ...
doi:10.1007/978-3-540-75256-1_13
fatcat:gkl7pdxpivdy7lmoocrmfdl6ta
Recent Advances in Querying Probabilistic Knowledge Bases
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We concentrate especially on increasing the semantic expressivity of formalisms for representing and querying probabilistic knowledge (i) by giving up the closed-world assumption, (ii) by allowing for ...
commonsense knowledge (and in parallel giving up the tuple-independence assumption), and (iii) by giving up the closed-domain assumption, while preserving some computational properties of query answering ...
Acknowledgments This work was supported by the German Research Foundation (DFG) within the project BA 1122/19-1 (GOASQ), by The Alan Turing Institute under the UK EPSRC grant EP/N510129/1, and by the EPSRC ...
doi:10.24963/ijcai.2018/765
dblp:conf/ijcai/BorgwardtCL18
fatcat:o43b3gn6sbgydncx55ryiqftde
DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In particular, restart model elimination calculus is answer complete for postive queries. ...
The DisLoP project started at this point with the aim of extending this further to minimal model reasoning and query processing wrt normal disjunctive logic programming too. ...
This project on disjunctive logic programming is sponsored by DFG under the grant number Fu 263/3-1. ...
doi:10.1007/3-540-61708-6_42
fatcat:slgggh7mwfgpjoc7rwt3rnrcqy
On Negative Information in Deductive Databases
1990
Journal of Database Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
X 1 and X for Y 1 Modified query clause: ← component(P 7 , X) Program clause: component(P 7 , P 9 ) ← Unification substitution: P 9 for X Modified query clause: 2 Answer to query: X = P 9 4. ...
clause: 2 Answer to query: X = P 8 Query clause: Unification substitution: P 4 for X 1 and X for Y 1 Modified query clause: ← component(P 4 , Z 1 ), sub − component(Z 1 , X) Program clause: component(P ...
The clause ¬SU P P LIES(S 1 , P 3 ) follows from this database under the closed world assumption. ...
doi:10.4018/jdm.1990070103
fatcat:zlobe4zujzbj3iihylks2hkfxq
Rules with Contextually Scoped Negation
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism. ...
Especially negation as failure, which intuitively adopts a closed world view, is often claimed to be unsuitable for the Web where knowledge is notoriously incomplete. ...
Acknowledgments The authors thank Jos de Bruijn, Rubén Lara, and Michael Kifer for fruitful discussions and the anonymous reviewers for their useful feedback. ...
doi:10.1007/11762256_26
fatcat:cu7jeceu5zd2vbu7ho24cxn5aa
Evaluating epistemic negation in answer set programming
2016
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
For example, consider a logic program = {p ← Kp}. The rule expresses that for any collection A of answer sets of and any I ∈ A, if p is true in all answer sets in A, then p is true in I . ...
A is defined to be a world view of if it coincides with the collection of answer sets of the nested logic program A under the semantics of Lifschitz et al. [22] . ...
Acknowledgements We would like to thank the reviewers for their thoughtful and constructive comments to improve this article. ...
doi:10.1016/j.artint.2016.04.004
fatcat:rnuly7e3g5b2vlcdm545olzqc4
On extended disjunctive logic programs
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
General techniques are described for extending the model, xpoint, and proof theories of an arbitrary semantics of normal disjunctive logic programs to cover the class of extended programs. ...
Logic programming, as an approach to the use of logic in knowledge representation and reasoning, has gone through di erent stages. First, logic programs containing only Horn clauses were considered. ...
Therefore any semantics de ned for the class of normal disjunctive logic programs is also a semantics for the class of normal logic programs. ...
doi:10.1007/3-540-56804-2_1
fatcat:jfhdlil7mbfhxjvn3zcxmimjxy
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
2011
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Other Versions
As one alternative, the PRISM system reduces the complexity of query answering by restricting the form of programs it can evaluate. ...
AbstractMany real world domains require the representation of a measure of uncertainty. ...
The work of the first author has been partially supported by the Camera di Commercio, Industria, Artigianato e Agricoltura di Ferrara, under the project titled "Image Processing and Artificial Vision for ...
doi:10.1017/s147106841100010x
fatcat:uwvoqd7vpnbdhanhy53mqfj5cq
Forthcoming Papers
2004
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Revision by comparison Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or "corpora" of data and beliefs. ...
We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive ...
An important result is that (under very weak assumptions) query entailment from merged bases is "only" at the first level of the polynomial hierarchy when any of the DA 2 operators is used. ...
doi:10.1016/s0004-3702(04)00071-2
fatcat:tsabu6qxyvgvfcpkjzrkexxj3u
Page 5107 of Mathematical Reviews Vol. , Issue 93i
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A resolution-based proof procedure, called SLI resolution, for computing answers to queries in disjunctive logic programming is considered in Chapter 4. ...
The first concept is based on the generalized closed world assumption (GCWA): a given program P and ground atom A negation —A is true if A is not in any minimal Herbrand model of P. ...
Reasoning with Rules and Ontologies
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, after giving a brief overview about the current state of the Semantic-Web stack and its components, we will discuss nonmonotonic logic programs under the answer-set semantics as a possible ...
We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set ...
) and, in the second step, the negated logic-programming predicates under the closed-world assumption (CWA). ...
doi:10.1007/11837787_4
fatcat:mihezlblwrhopbwjc6dhfelghi
Logic programming and knowledge representation—The A-Prolog perspective
2002
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics. ...
PII: S 0 0 0 4 -3 7 0 2 ( 0 2 ) 0 0 2 0 7 -2 The A-Prolog language We start with a description of syntax and semantics of A-Prolog (also called Answer Set Programming [81])-a logic programming language ...
Acknowledgements The authors are grateful to Georg Gottlob for his contribution on complexity issues. ...
doi:10.1016/s0004-3702(02)00207-2
fatcat:3s6q45zj5zab5bp2ce36igl66q
About Epistemic Negation and World Views in Epistemic Logic Programs
2019
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
AbstractIn this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with " epistemic operators" and " epistemic negation", and a recent approach to the semantics of such ...
We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views. ...
Introduction Answer Set Programming (ASP) is a successful logic programming paradigm under the answer set semantics (AS) (Gelfond and Lifschitz 1988; . ...
doi:10.1017/s147106841900019x
fatcat:ioitt7pm2nawfcnuajiwpc4lvu
Page 9254 of Mathematical Reviews Vol. , Issue 2002M
[page]
2002
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
normal logic program WY“, so that well-known semantics and inference methods for normal logic programs can be used for hypothetical reasoning as well.” ...
and subsumption, and 9“ speci- fies non-monotonic inference rules like closed-world-assumptions. ...
Semantic Web Logic Programming Tools
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
The last two decades of research in Logic Programming, both at the theoretical and practical levels, have addressed several topics highly relevant for the Semantic Web effort, providing very concrete answers ...
The paper does not intended to be a survey of logic programming techniques applicable to the Semantic Web, and so the interested reader should try to obtain the missing information in the logic programming ...
Part of the work on logic programming updates has been supported by projects FLUX "Flexible Logical Updates" (POSI/SRI/40958/2001) , funded by FEDER, and TARDE "Tabulation and Reasoning in a Distributed ...
doi:10.1007/978-3-540-24572-8_2
fatcat:fcn3m4zgxfa6lil3yyygvkbu7e
« Previous
Showing results 1 — 15 out of 29,519 results