Semantics, Complexity, and Implementation in DLV Tina Dell'Armi Univ. of...  Home/Search
Context
Related
| icons.rodan.pl/pub...[DellArmi2003].pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: icons.rodan.pl/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ( ). Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. (Update)
Active bibliography (related documents): More All
1.6: Aggregate Functions in Disjunctive Logic Programming.. - Dell'Armi, Faber, al. (Correct)
0.9: Aggregate Functions in Disjunctive Logic Programming.. - Dell'Armi, al. (Correct)
0.8: Aggregate Functions in DLV - Dell'Armi, Faber, Ielpa, Leone.. (2003) (Correct)
Similar documents based on text: More All
0.6: Parametric Connectives in Disjunctive Logic Programming - Leone, Perri (2003) (Correct)
0.4: Solving Hard Disjunctive Logic Programs Faster - Sometimes Gerald Pfeifer (2003) (Correct)
0.1: High-Level Interoperability between . . . - Fortino (Correct)
BibTeX entry: (Update)
@misc{ and-aggregate,
author = "Semantics Complexity And",
title = "Aggregate Functions in Disjunctive Logic Programming:",
url = "citeseer.ist.psu.edu/710870.html" }
Citations (may not include all citations):374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
151 Autoepistemic Logic (context) - Marek, Truszczynski - 1991
68 Extending and Implementing the Stable Model Semantics - Simons, Niemela et al. - 2002
61 Monotonic Aggregation in Deductive Databases - Ross, Sagiv - 1997
36 Declarative Problem-Solving Using the DLV System (context) - Eiter, Faber et al. - 2000
34 The LDL System Prototype - Chimenti, Gamboa et al. - 1990
32 Pushing Goal Derivation in DLP Computations - Faber, Leone et al. - 1999
16 Using Database Optimization Techniques for Nonmonotonic Reas.. - Faber, Leone et al. - 1999
11 Linear-time Algorithms for Testing the Satisfability of Prop.. (context) - Dowling, Gallier - 1984
8 Improving ASP Instantiators by Join-Ordering Methods (context) - Leone, Perri et al. - 2001
7 Efficient Recursive Aggregation and Negation in Deductive Da.. (context) - Kemp, Ramamohanarao - 1998
6 Ultimate Approximations in Monotonic Knowledge Representatio.. (context) - Denecker, Marek et al. - 2002
6 Non-monotone Semantics for Logic Programs with Aggregates (context) - Pelov - 2002
4 Semantics and Computation of Aggregate Functions in Disjunct.. (context) - Dell'Armi, Faber et al. - 2003
2 Representing Knowledge in AProlog (context) - Gelfond - 2002
Documents on the same site (http://www.icons.rodan.pl/publications.htm): More
Intelligent Agent-based Expert Interactions in a.. - Staniszkis, Staniszkis (2003) (Correct)
Enhancing Disjunctive Logic Programming for Ontology.. - Calimeri, Galizia.. (2003) (Correct)
Parametric Connectives in Disjunctive Logic Programming - Perri, Leone (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC