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

Proceedings
doi 10.3390/proceedings2019021022
Full Text
Abstract

Available in full text

Date
Authors
Publisher

MDPI AG

Related search

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

On the Relation Between ID-Logic and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

From Answer Set Logic Programming to Circumscription via Logic of GK

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Automata and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Answer Sets for Prioritized Logic Programs

1997English

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

A Case for Query-Driven Predicate Answer Set Programming

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy