Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hans Tompits
Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
Related publications
Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming
Proceedings
Answer Sets for Prioritized Logic Programs
Declarative Semantics for Contradictory Modular Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
A Statistical Learning Method for Logic Programs With Distribution Semantics
On the Semantics of Logic Programs With Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
An Analysis of Loop Checking Mechanisms for Logic Programs
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Revisiting the Semantics of Interval Probabilistic Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
