Applications of answer set programming
ASP has been applied fruitfully to a wide range of areas in AI and in other fields, both in
academia and in industry, thanks to the expressive representation languages of ASP and …
academia and in industry, thanks to the expressive representation languages of ASP and …
[كتاب][B] Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl - 2014 - books.google.com
Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …
declarative programming, and the design of knowledge-intensive software systems capable …
Constraint answer set programming without grounding
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This
extension is not straightforward as the grounding phase, present in most ASP systems …
extension is not straightforward as the grounding phase, present in most ASP systems …
The asp system dlv2
We introduce, a new Answer Set Programming (ASP) system. combines, a fully-compliant
ASP-Core-2 grounder, with the well-assessed solver. Input programs may be enriched by …
ASP-Core-2 grounder, with the well-assessed solver. Input programs may be enriched by …
Grounding and solving in answer set programming
Answer set programming is a declarative problem solving paradigm that rests upon a
workflow involving modeling, grounding, and solving. While the former is described by …
workflow involving modeling, grounding, and solving. While the former is described by …
I-DLV: the new intelligent grounder of DLV
DLV is a powerful system for Knowledge Representation and Reasoning which supports
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
The sixth answer set programming competition
Answer Set Programming (ASP) is a well-known paradigm of declarative programming with
roots in logic programming and non-monotonic reasoning. Similar to other closely related …
roots in logic programming and non-monotonic reasoning. Similar to other closely related …
[PDF][PDF] Efficiently computable Datalog∃ programs
Datalog∃ is the extension of Datalog, allowing existentially quantified variables in rule
heads. This language is highly expressive and enables easy and powerful knowledge …
heads. This language is highly expressive and enables easy and powerful knowledge …
The disjunctive datalog system DLV
DLV is one of the most successful and widely used answer set programming (ASP) systems.
It supports a powerful language extending Disjunctive Datalog with many expressive …
It supports a powerful language extending Disjunctive Datalog with many expressive …
Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for
many applications. Query answering is, however, computationally very expensive, which …
many applications. Query answering is, however, computationally very expensive, which …