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 SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

An Investigation of Multi-Agent Planning in CLP

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

A Theoretical Perspective of Coinductive Logic Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

A Tabled Prolog Program for Solving Sokoban

2011English

Operational and Abstract Semantics of the Query Language G-Log

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Language With Finite Sets Embedded in the CLP-scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

GASP: Answer Set Programming With Lazy Grounding

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy