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
Lecture Notes in Computer Science
Cubero Query Answering in Nondeterministic. ... Nonmonotonic Logic Databases ... 175 Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi Optimization of Logic Queries with MIN and MAX Predicates 188 Sergio Greco, Carlo Zaniolo, Sumit Ganguly ...doi:10.1007/bfb0055991 fatcat:7uvnle7yrnam7mww7ybpjharha
Methods to compute minimal models of logic programs are becoming increasingly important as an intermediate step in the computation of structures associated with nonmonotonic logic programs. ... SLD-resolution, which is the main mechanism to execute logic programs, may give answer substitutions with vari- ables. ...
This paper presents a unified solution to the problem of extending stratified DATALOG to express database complexity classes ranging from P to QH; QH is the query hierarchy containing the decision problems ... that can be solved in polynomial time by a deterministic Turing machine using a constant number of calls to an N P-oracle. ... on nonmonotonic reasoning, default theories and autoepistemic logic. ...doi:10.1007/pl00013306 fatcat:44olmfk7srfnrkwis3yvhxanka
AbstractÐWe consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic, and nondeterministic reasoning, which we refer to as Datalog++. ... We show, by means of examples, its flexibility in expressing queries concerning aggregates and data cube. ... His current research interests are in logic in databases and, particularly, in data analysis, in deductive databases, in the integration of data mining and database querying, and in formal methods for ...doi:10.1109/69.956102 fatcat:6pok6sdya5b7hmcv3egvihtxca
We present the system dlvhex, a solver for HEX-programs, which are nonmonotonic logic programs admitting both higher-order atoms as well as external atoms. ... Furthermore, the possibility to exchange knowledge with external sources in a fully declarative paradigm such as answer-set programming (ASP) becomes increasingly important, in particular in view of applications ... The widely acknowledged answer-set semantics of nonmonotonic logic programs  , which gives rise to the answerset programming (ASP) paradigm, is a good candidate for supplying nonmonotonic semantics ...doi:10.1109/wi.2006.64 dblp:conf/webi/EiterIST06 fatcat:lqb5majm5nejxiurbuxkuw6b74
In particular, we survey advances in the declarative semantics of logic programs, in query processing procedures for nonmonotonic logic programs, and in recent extensions of the nonmonotonic logic programming ... This paper provides a survey of the state of the art in nonmonotonic logic programming. ... The answer to a query posed to such a database is obtained by viewing the query as a potential theorem. ...doi:10.1109/69.755623 fatcat:p3egwqaayfg3lghejtz4f2hyim
We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. ... In particular, the nondeterministic and nonmonotonic constructs now supported in LDL++ take declarative logic-based semantics well beyond stratification in terms of power and expressivity (and stratified ... In addition to supporting nondeterministic queries, the introduction of the choice extends the power of Datalog for deterministic queries. ...arXiv:cs/0202001v1 fatcat:yygi4rrqdrfvdpo36zwrfh5hee
“Thus, assuming there is a limit on the number of variables allowed in queries, if the database query language is the fixpoint logic, you can get everything for free. ... We answer these questions, showing that the question of whether you can get your answer without any cost at all depends on whether or not the theories of databases in the provided query language are finitely ...
While, stratification represented a major step forward in taming the difficult theoretical and practical problems posed by nonmonotonicity in logic programs, it soon became clear that it was too restrictive ... As many other deductive database systems designed in the 80s , the old LDL system required programs to be stratified with respect to nonmonotonic constructs such as negation and set aggregates  ... In particular, the nondeterministic and nonmonotonic constructs now supported in LDL++ take declarative logic-based semantics well beyond stratification in terms of power and expressivity (and stratified ...doi:10.1017/s1471068402001515 fatcat:udgznmz2inghjeybxgo5zxewzq
Lecture Notes in Computer Science
In this paper, we first present a simple logical model of privacy. ... We then show that the problem of privacy may be reduced to that of brave reasoning in default logic theories, thus reducing this important problem to a well understood reasoning paradigm. ... query Q to the logic database LDB. ...doi:10.1007/11591191_44 fatcat:jgwwyz4mjvchvauy6blpj3ansi
For this aim, we define the semantics of query expressions formulated in different nonmonotonic logics. ... In this paper we study the expressive power of major nonmonotonic formalisms -such as circumscription, default logic, autoepistemic logic and some logic programming languages -used as query languages over ... To see the nonmonotonic nature of this query, note that in a database consisting solely of (l), John would be part of the answer, while in a database containing also the fact disease( John, d, ) , John ...doi:10.1016/0304-3975(95)00192-1 fatcat:knpw5am77fbxtd557mlq64uxli
The AI Magazine
McCain, it is used for query answering in planning domains using a high-level action-description language. The problem is reduced to satisfiability checking using special-purpose systems. ... The fragment is relevant to databases because it allows constructs such as transitive closure and, thus, recursive queries and to AI concerns such as frame problems, The Workshop on Logic-Based Artificial ...doi:10.1609/aimag.v20i4.1484 dblp:journals/aim/Minker99 fatcat:jwvashh36rclfa3y25ao7pseum
Tsur, Set Constructors in a Logic Database Language 10 (1-4) (1991) 181-232 149. J.F. Naughton and Y. ... Zaniolo, Compilation of Set Terms in the Logic Data Language (LDL) 12 (1-2) (1992) 89-119 171. R. Kowalski, Database Updates in the Event Calculus 12 (1-2) (1992) 121-146 172. D.T. Sannella and L.A. ...doi:10.1016/s1567-8326(01)00020-0 fatcat:qoxvtgq6lngblb74znc4gj2yfm
Distributed consistency is perhaps the most discussed topic in distributed systems today. ... Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. ... to ensure a unique query answer. ...doi:10.1109/icde.2014.6816639 dblp:conf/icde/AlvaroCHM14 fatcat:xctluszykvdlpai6bc5p6mrcne
Distributed consistency is perhaps the most discussed topic in distributed systems today. ... Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. ... to ensure a unique query answer. ...arXiv:1309.3324v2 fatcat:nydg5anl7rhxrdhcjpquj5tgii
« Previous Showing results 1 — 15 out of 269 results