Nicola Leone, Simona Perri  Home/Search
Context
Related
| icons.rodan.pl/public...[Leone2003].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 an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class 2 (NP NP ). Importantly, the DLP encodings are often simple and natural. (Update)
Similar documents (at the sentence level):
12.7%: Parametric Connectives in Disjunctive Logic Programming - Perri, Leone (2004) (Correct)
12.2%: The DLV System for Knowledge Representation . . . - Leone, Pfeifer, al. (2002) (Correct)
Active bibliography (related documents): More All
0.1: Expressive Power and Complexity of Partial Models for.. - Eiter, Leone, al. (1999) (Correct)
0.1: Logic Programming and Knowledge Representation - the A-Prolog .. - Gelfond, Leone (2002) (Correct)
0.1: Disjunctive Stable Models: Unfounded Sets, Fixpoint.. - Leone, Rullo, Scarcello (1997) (Correct)
Similar documents based on text: More All
0.8: Abduction with Penalization in Logic programming - Ianni, Leone, al. (2001) (Correct)
0.6: Census Data Repair: A Challenging Application of.. - Franconi, Palma.. (2002) (Correct)
0.6: Publication List 1999 - Informationssysteme, Wien (1999) (Correct)
BibTeX entry: (Update)
@misc{ leone-parametric,
author = "Nicola Leone and Simona Perri",
title = "Parametric Connectives in Disjunctive Logic Programming",
url = "citeseer.ist.psu.edu/leone03parametric.html" }
Citations (may not include all citations):858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
151 Autoepistemic Logic (context) - Marek, Truszczynski - 1991
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
53 ACM Transactions on Database Systems (context) - Eiter, Gottlob et al. - 1997
38 Foundations of Logic Programming - Lifschitz - 1996
21 Reasoning and Declarative Problem Solving (context) - Baral - 2002
17 Annals of Mathematics and Artificial Intelligence (context) - Minker, Disjunctive - 1994
11 Complexity and Expressive Power of Disjunctive Logic Program.. (context) - Gottlob - 1994
4 The DLV System (context) - Eiter, Faber et al. - 1999
3 German Society for Computer Science (context) - Wolfinger, Workshop et al. - 1994
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