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

Lecture Notes in Computer Science - Germany
doi 10.1007/11853886_47
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

Proceedings
2019English

Answer Sets for Prioritized Logic Programs

1997English

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Temporal Logic Query Checking: A Tool for Model Exploration

IEEE Transactions on Software Engineering
Software
2003English

A Statistical Learning Method for Logic Programs With Distribution Semantics

1995English

On the Semantics of Logic Programs With Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
2007English

An Analysis of Loop Checking Mechanisms for Logic Programs

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Revisiting the Semantics of Interval Probabilistic Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy