Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Emanuele De Angelis
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Automata and Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Special Issue on Answer Set Programming
KI - Künstliche Intelligenz
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
GASP: Answer Set Programming With Lazy Grounding
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Constructing Camin-Sokal Phylogenies via Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
PHYLO-ASP: Phylogenetic Systematics With Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Qualitative Direction and Distance Between Extended Objects Using Answer Set Programming
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Case for Query-Driven Predicate Answer Set Programming
