See this document in CiteSeerX!

Answer Set Programming with Templates (2003)  (Make Corrections)  
Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri



  Home/Search   Context   Related

 
View or download:
icons.rodan.pl/public...[Ianni2003].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 work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures. We show how ASP can be extended with `template' predicate's definitions by introducing a wellsuited form of second order logics. We present language syntax and give its operational semantics. We show that the theory supporting our ASP extension is sound, and that program encodings are evaluated as e#ciently as ASP... (Update)

Active bibliography (related documents):   More   All
1.1:   Advanced BackJumping Techniques for Rule Instantiations - Perri, Scarcello (2003)   (Correct)
0.8:   The DLV System for Knowledge Representation . . . - Leone, Pfeifer, al. (2002)   (Correct)
0.4:   A Comparison of Heuristics for Answer Set Programming - Faber, Leone, Pfeifer (2001)   (Correct)

Similar documents based on text:   More   All
0.8:   An Agent System Reasoning about the Web and the User - Giovambattista Ianni Universit (2004)   (Correct)
0.5:   On the Complexity of Inducing Categorical and.. - Angiulli, Ianni.. (2001)   (Correct)
0.3:   Pruning Operators for Answer Set Programming Systems - Calimeri, al. (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ ianni-answer,
  author = "Giovambattista Ianni and Giuseppe Ielpa and Adriana Pietramala and Maria
    Carmela Santoro and Francesco Calimeri",
  title = "Answer Set Programming with Templates",
  url = "citeseer.ist.psu.edu/ianni03answer.html" }
Citations (may not include all citations):
686   A Guide to the Theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
75   Complexity and Expressive Power of Logic Programming - Dantsin, Eiter et al. - 2001
68   Extending and Implementing the Stable Model Semantics - Simons - 2000
65   Answer set planning - Lifschitz - 1999
52   Logic programming with sets - Kuper - 1990
38   Abduction from Logic Programs: Semantics and Complexity - Eiter, Gottlob et al. - 1997
38   Foundations of Logic Programming - Lifschitz - 1996
36   Declarative Problem-Solving Using the DLV System (context) - Eiter, Faber et al. - 2000
25   Satisfiability Planning with Causal Theories - McCain, Turner - 1998
20   Solving Advanced Reasoning Tasks using Quantified Boolean Fo.. - Egly, Eiter et al. - 2000
20   DLV homepage (context) - Faber, Pfeifer - 1996
19   Logic programming with stable model semantics as constraint .. (context) - Niemela - 1999
17   Aggregate functions in disjunctive logic programming: Semant.. (context) - Dell'Armi, Faber et al. - 2003
16   Using Database Optimization Techniques for Nonmonotonic Reas.. - Faber, Leone et al. - 1999
15   Experimenting with Heuristics for Answer Set Programming - Faber, Leone et al. - 2001
12   Prolog Decision Support System for the Space Shuttle - Nogueira, Balduccini et al. - 1999
10   NP-SPEC: An executable specification language for solving al.. - Cadoli, Ianni et al. - 2000
9   dcs: An implementation of DATALOG with Constraints - East, Truszczynski - 2000
6   Ordered logic programming with sets (context) - Leone, Rullo - 1993
3   NoMoRe: A System for Non-Monotonic Reasoning (context) - Anger, Konczak et al. - 2001
2   ciently Computing Well-Founded Semantics (context) - Rao, Sagonas et al. - 1997
1   Reasoning about the semantic web using answer set programmin.. (context) - Ianni, Calimeri et al. - 2003
1   International Symposium on Logic Programming (context) - Greco, Sacca et al. - 1997
http://www.mat.unical.it/infomix
http://www.icons.rodan.pl/
http://dlpt.gibbi.com

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