S. Perri, F. Scarcello  @ NUS Home/Search
Context
Related
| icons.rodan.pl/public...[Perri2003].pdf Cached: PS.gz PS PDF Image Update Help From: icons.rodan.pl/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programming (ASP) systems. The logic-based languages supported by such systems are rich enough to represent in a natural and declarative way a large number of problems from di#erent domains. Nevertheless, the computation of the answer sets is always performed by these systems on simple ground (i.e., variable free) programs, first... (Update)
Active bibliography (related documents): More All
1.8: The DLV System for Knowledge Representation . . . - Leone, Pfeifer, al. (2002) (Correct)
1.1: Answer Set Programming with Templates - Ianni, Ielpa, Pietramala.. (2003) (Correct)
0.3: Progress Report on the Disjunctive Deductive Database System - Eiter (1998) (Correct)
Similar documents based on text:
0.4: Abduction with Penalization in Logic programming - Ianni, Leone, al. (2001) (Correct)
BibTeX entry: (Update)
@misc{ perri-advanced,
author = "S. Perri and F. Scarcello",
title = "Advanced BackJumping Techniques for Rule Instantiations",
url = "citeseer.comp.nus.edu.sg/710776.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1989
473 Foundations of Constraint Satisfaction (context) - Tsang - 1993
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
120 Stable Semantics for Disjunctive Programs - Przymusinski - 1991
84 The KR System dlv: Progress Report (context) - Eiter, Leone et al. - 1998
68 Extending and Implementing the Stable Model Semantics - Simons, Niemela et al. - 2002
38 Computation of Stable Models and Its Integration with Logica.. - Chen, Warren - 1996
32 Deduction revision by intelligent backtracking Implementatio.. (context) - Bruynooghe, Pereira - 1984
30 Small Ramsey Numbers - Radziszowski - 1999
25 Satisfiability Planning with Causal Theories - McCain, Turner - 1998
25 ASSAT: Computing Answer Sets of a Logic Program by SAT Solve.. (context) - Lin, Zhao - 2002
23 Default Reasoning System DeReS - Cholewinski, Marek et al. - 1996
22 Hypertree decompositions and tractable queries (context) - Gottlob, Leone et al. - 2002
20 Solving Advanced Reasoning Tasks using Quantified Boolean Fo.. - Egly, Eiter et al. - 2000
17 Answer Sets and Planning (context) - Lifschitz - 1999
16 Using Database Optimization Techniques for Nonmonotonic Reas.. - Faber, Leone et al. - 1999
10 Computing with Default Logic - Cholewinski, Marek et al. - 1999
9 dcs: An Implementation of DATALOG with Constraints - East, Truszczynski - 2000
8 DisLoP: A Research Project on Disjunctive Logic Programming - Aravindan, Dix et al. - 1997
7 eduusertag cmodel (context) - homepage, www et al. - 2002
7 DisLog -- A System for Reasoning in Disjunctive Deductive Da.. - Seipel, Thone - 1994
7 Propositional Satisfiability in Answer-set Programming - East, Truszczynski - 2001
3 NoMoRe: A System for Non-Monotonic Reasoning (context) - Anger, Konczak et al. - 2001
2 System Description: aspps -- An Implementation of Answer-Set.. (context) - East, Truszczynski - 2001
2 ciently Computing Well-Founded Semantics (context) - Rao, Sagonas et al. - 1997
1 Enhancement scheme fo constraint processingbackjumping (context) - schemes, processing et al. - 1990
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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.