Agostino Dovier

Available identifiers

zbMath Open dovier.agostinoWikidataQ55716497 ScholiaQ55716497MaRDI QIDQ206864

List of research outcomes

Publication	Date of Publication	Type
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems	2024-02-13	Paper
Parallel Logic Programming: A Sequel	2023-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5087786	2022-07-01	Paper
3coSoKu and its declarative modeling	2022-03-09	Paper
Modelling Multi-Agent Epistemic Planning in ASP	2020-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4631183	2019-04-24	Paper
Extending Logic Programming with Labelled Variables: Model and Semantics	2018-10-02	Paper
Applying model-checking to solve queries on semistructured data	2018-05-16	Paper
Planning as tabled logic programming	2017-11-09	Paper
Decidability results for sets with atoms	2017-07-12	Paper
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets	2017-07-12	Paper
Constrained Community-Based Gene Regulatory Network Inference	2017-06-30	Paper
A Theoretical Perspective of Coinductive Logic Programming	2016-08-15	Paper
A necessary condition for constructive negation in constraint logic programming	2016-06-16	Paper
Autonomous agents coordination: Action languages meet CLP() and Linda	2013-06-26	Paper
Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.	2013-05-24	Paper
Rank-Based Symbolic Bisimulation	2013-04-19	Paper
BAAC: A Prolog System for Action Description and Agents Coordination	2012-08-29	Paper
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change	2011-05-19	Paper
An Investigation of Multi-Agent Planning in CLP	2011-03-28	Paper
CLP-based protein fragment assembly	2010-08-19	Paper
Multivalued action languages with constraints in CLP(FD)	2010-04-07	Paper
GASP: Answer Set Programming with Lazy Grounding	2010-02-05	Paper
Representing Multi-agent Planning in CLP	2009-11-10	Paper
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems	2009-10-27	Paper
Logic Programming	2009-08-06	Paper
Recent Advances in Constraints	2009-05-05	Paper
Multivalued Action Languages with Constraints in CLP(FD)	2009-03-05	Paper
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem	2008-05-27	Paper
Agent-based protein structure prediction	2007-11-05	Paper
Set unification	2007-02-13	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5714250	2005-12-28	Paper
Disunification in ACI1 theories	2005-01-19	Paper
An efficient algorithm for computing bisimulation equivalence	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4474008	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4787351	2003-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4551136	2002-09-04	Paper
Operational and abstract semantics of the query language G-Log	2002-07-31	Paper
Constructive negation and constraint logic programming with sets	2001-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4944864	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4518875	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4506398	2000-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4940937	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4939254	2000-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4264105	1999-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4259955	1999-09-08	Paper
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case	1999-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4385450	1998-04-13	Paper
{log}: A language for programming in logic with finite sets	1997-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4281605	1994-03-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Agostino Dovier