Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jonathan Kavanagh
Constructing Camin-Sokal Phylogenies via Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automata and Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Answer Set Logic Programming to Circumscription via Logic of GK
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
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
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
GASP: Answer Set Programming With Lazy Grounding
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
PHYLO-ASP: Phylogenetic Systematics With Answer Set Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Case for Query-Driven Predicate Answer Set Programming
Semantics and Complexity of Recursive Aggregates in Answer Set Programming
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
