An Implementation for Recognizing Rule Replacements in Non-Ground Answer-Set Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/11853886_41

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

The Consistency Extractor System: Answer Set Programs for Consistent Query Answering in Databases

Data and Knowledge Engineering
Information SystemsManagement
2010English

Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Challenges in Answer Set Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Answer Sets for Prioritized Logic Programs

1997English

Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming

Proceedings
2019English

Using Recognizing Textual Entailment as a Core Engine for Answer Validation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Automata and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy