Advanced BackJumping Techniques for Rule Instantiations (2003)  (Make Corrections)  
S. Perri, F. Scarcello

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.