Filters








269 Hits in 3.2 sec

On diverse answers issued from flexible queries [chapter]

Patrick Bosc
1998 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

Page 7760 of Mathematical Reviews Vol. , Issue 96m [page]

1996 Mathematical Reviews  
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.  ... 

Extending stratified datalog to capture complexity classes ranging from ${\cal P} to {\cal QH}$

Sergio Greco, Domenico Saccà, Carlo Zaniolo
2001 Acta Informatica  
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

Nondeterministic, nonmonotonic logic databases

F. Giannotti, G. Manco, M. Nanni, D. Pedreschi
2001 IEEE Transactions on Knowledge and Data Engineering  
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

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06)  
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 [5] , 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

Nonmonotonic logic programming

V.S. Subrahmanian
1999 IEEE Transactions on Knowledge and Data Engineering  
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

The Deductive Database System LDL++ [article]

Faiz Arni, KayLiang Ong, Shalom Tsur and Haixun Wang, Carlo Zaniolo
2002 arXiv   pre-print
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

Page 2755 of Mathematical Reviews Vol. , Issue 99d [page]

1991 Mathematical Reviews  
“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  ... 

The deductive database system [script L][script D][script L]++

FAIZ ARNI, KAYLIANG ONG, SHALOM TSUR, HAIXUN WANG, CARLO ZANIOLO
2002 Theory and Practice of Logic Programming  
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 [25], the old LDL system required programs to be stratified with respect to nonmonotonic constructs such as negation and set aggregates [53]  ...  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

The Relationship Between Reasoning About Privacy and Default Logics [chapter]

Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
2005 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

Querying disjunctive databases through nonmonotonic logics

Piero A. Bonatti, Thomas Eiter
1996 Theoretical Computer Science  
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 Workshop on Logic-Based Artificial Intelligence

Jack Minker
1999 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

Reference List of Indexed Articles

2002 The Journal of Logic and Algebraic Programming  
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

Blazes: Coordination analysis for distributed programs

Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier
2014 2014 IEEE 30th International Conference on Data Engineering  
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

Blazes: Coordination Analysis for Distributed Programs [article]

Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier
2013 arXiv   pre-print
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