Simona Perri, Nicola Leone  Home/Search
Context Related
| icons.rodan.pl/publi...[Perri2004a].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: this paper, we single out some limitations of DLP for KRR, which cannot naturally express problems where the size of the disjunction is not known "a priori" (like N-Coloring), but it is part of the input. To overcome these limitations, we further enhance the knowledge modelling abilities of DLP, by extending this language by Parametric Connectives (OR and AND). These connectives allow us to represent compactly the disjunction/conjunction of a set of atoms having a given property. We formally... (Update)
Cited by: More
ASP: from Application Development to Syntax - Extensions Magdalena Ortiz (Correct)
Similar documents (at the sentence level):
8.1%: The DLV System for Knowledge Representation . . . - Leone, Pfeifer, al. (2002) (Correct)
7.7%: Parametric Connectives in Disjunctive Logic Programming - Leone, Perri (Correct)
Active bibliography (related documents): More All
0.2: Logic Programming and Knowledge Representation - the A-Prolog .. - Gelfond, Leone (2002) (Correct)
0.1: Expressive Power and Complexity of Partial Models for.. - Eiter, Leone, al. (1999) (Correct)
0.1: Using Nested Logic Programs for Answer Set Programming - Linke (2003) (Correct)
Similar documents based on text: More All
0.8: Abduction with Penalization in Logic programming - Ianni, Leone, al. (2001) (Correct)
0.6: Publication List 1999 - Informationssysteme, Wien (1999) (Correct)
0.5: Census Data Repair: A Challenging Application of.. - Franconi, Palma.. (2002) (Correct)
BibTeX entry: (Update)
Simona Perri and Nicola Leone. Parametric connectives in disjunctive logic programming. In ASP03 Answer Set Programming: Advances in Theory and Implementation, Messina, Sicily, September 2003. 10 http://citeseer.ist.psu.edu/perri04parametric.html More
@misc{ perri03parametric,
author = "S. Perri and N. Leone",
title = "Parametric connectives in disjunctive logic programming",
text = "Simona Perri and Nicola Leone. Parametric connectives in disjunctive logic
programming. In ASP03 Answer Set Programming: Advances in Theory and Implementation,
Messina, Sicily, September 2003. 10",
year = "2003",
url = "citeseer.ist.psu.edu/perri04parametric.html" }
Citations (may not include all citations):858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 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
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
68 Extending and Implementing the Stable Model Semantics - Simons, Niemela et al. - 2002
53 ACM Transactions on Database Systems (context) - Eiter, Gottlob et al. - 1997
38 Foundations of Logic Programming - Lifschitz - 1996
37 Propositional Semantics for Disjunctive Logic Programs (context) - Ben-Eliyahu, Dechter - 1994
32 Pushing Goal Derivation in DLP Computations - Faber, Leone et al. - 1999
21 Reasoning and Declarative Problem Solving (context) - Baral - 2002
19 Annals of Mathematics and Artificial Intelligence (context) - Lifschitz, Tang et al. - 1999
17 Annals of Mathematics and Artificial Intelligence (context) - Minker, Disjunctive - 1994
15 Experimenting with Heuristics for Answer Set Programming - Faber, Leone et al. - 2001
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)
Classification Based on Contextual Probability - Hui Wang School (2003) (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