| Publication | Date of Publication | Type |
|---|
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems
Journal Of Logic And Computation | 2024-02-13 | Paper |
Parallel Logic Programming: A Sequel
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
scientific article; zbMATH DE number 7552283 (Why is no real title available?)
| 2022-07-01 | Paper |
3coSoKu and its declarative modeling
Journal Of Logic And Computation | 2022-03-09 | Paper |
Modelling multi-agent epistemic planning in ASP
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Logic programming and bisimulation
| 2019-04-24 | Paper |
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae | 2018-10-02 | Paper |
Applying model-checking to solve queries on semistructured data
Computer Languages, Systems & Structures | 2018-05-16 | Paper |
Planning as tabled logic programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Decidability results for sets with atoms
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Constrained community-based gene regulatory network inference
ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
A theoretical perspective of coinductive logic programming
Fundamenta Informaticae | 2016-08-15 | Paper |
A necessary condition for constructive negation in constraint logic programming
Information Processing Letters | 2016-06-16 | Paper |
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Refining and compressing abstract model checking
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Rank-based symbolic bisimulation: (and model checking)
Electronic Notes in Theoretical Computer Science | 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
Lecture Notes in Computer Science | 2011-05-19 | Paper |
An investigation of multi-agent planning in CLP
Fundamenta Informaticae | 2011-03-28 | Paper |
CLP-based protein fragment assembly
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Multivalued action languages with constraints in \(CLP(FD)\)
Theory and Practice of Logic Programming | 2010-04-07 | Paper |
GASP: Answer set programming with lazy grounding
Fundamenta Informaticae | 2010-02-05 | Paper |
Representing Multi-agent Planning in CLP
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
Journal of Experimental & Theoretical Artificial Intelligence | 2009-10-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2009-05-05 | Paper |
Multivalued Action Languages with Constraints in CLP(FD)
Logic Programming | 2009-03-05 | Paper |
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Agent-based protein structure prediction
Multiagent and Grid Systems | 2007-11-05 | Paper |
Set unification
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
scientific article; zbMATH DE number 2241909 (Why is no real title available?)
| 2005-12-28 | Paper |
Disunification in ACI1 theories
Constraints | 2005-01-19 | Paper |
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 2080938 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1849122 (Why is no real title available?)
| 2003-01-06 | Paper |
scientific article; zbMATH DE number 1796125 (Why is no real title available?)
| 2002-09-04 | Paper |
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science | 2002-07-31 | Paper |
Constructive negation and constraint logic programming with sets
New Generation Computing | 2001-10-10 | Paper |
scientific article; zbMATH DE number 1420800 (Why is no real title available?)
| 2000-12-05 | Paper |
scientific article; zbMATH DE number 1538020 (Why is no real title available?)
| 2000-12-03 | Paper |
scientific article; zbMATH DE number 1508935 (Why is no real title available?)
| 2000-09-18 | Paper |
scientific article; zbMATH DE number 1407682 (Why is no real title available?)
| 2000-02-28 | Paper |
scientific article; zbMATH DE number 1406217 (Why is no real title available?)
| 2000-02-24 | Paper |
scientific article; zbMATH DE number 1337735 (Why is no real title available?)
| 1999-09-16 | Paper |
scientific article; zbMATH DE number 1332632 (Why is no real title available?)
| 1999-09-08 | Paper |
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
Applicable Algebra in Engineering, Communication and Computing | 1999-06-02 | Paper |
scientific article; zbMATH DE number 1140684 (Why is no real title available?)
| 1998-04-13 | Paper |
{log}: A language for programming in logic with finite sets
The Journal of Logic Programming | 1997-11-10 | Paper |
scientific article; zbMATH DE number 512898 (Why is no real title available?)
| 1994-03-10 | Paper |
