Sciweavers

Share
ASP
2003
Springer
10 years 2 months ago
The A-Pol System
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
Mauricio Osorio, Enrique Corona
ASP
2003
Springer
10 years 2 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
10 years 2 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
AGP
2003
IEEE
10 years 2 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
RULEML
2004
Springer
10 years 3 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
PADL
2004
Springer
10 years 3 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
NMR
2004
Springer
10 years 3 months ago
A SAT-based polynomial space algorithm for answer set programming
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
LPNMR
2004
Springer
10 years 3 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
LPNMR
2004
Springer
10 years 3 months ago
Reasoning About Actions and Change in Answer Set Programming
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
Yannis Dimopoulos, Antonis C. Kakas, Loizos Michae...
JELIA
2004
Springer
10 years 3 months ago
On the Relation Between ID-Logic and Answer Set Programming
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
Maarten Mariën, David Gilis, Marc Denecker
books