Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rodrigo Martin
Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming
Proceedings
Related publications
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Relation Between ID-Logic and Answer Set Programming
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
From Answer Set Logic Programming to Circumscription via Logic of GK
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Automata and Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Answer Sets for Prioritized Logic Programs
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
A Case for Query-Driven Predicate Answer Set Programming
