Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri  Home/Search
Context
Related
| icons.rodan.pl/public...[Ianni2003].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: 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