Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Agostino Dovier
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
An Investigation of Multi-Agent Planning in CLP
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Theoretical Perspective of Coinductive Logic Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
Operational and Abstract Semantics of the Query Language G-Log
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Language With Finite Sets Embedded in the CLP-scheme
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
GASP: Answer Set Programming With Lazy Grounding
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science