| Publication | Date of Publication | Type |
|---|
Answer set planning: a survey
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Constraint propagation on GPU: a case study for the cumulative constraint
Constraints | 2025-02-06 | Paper |
Parallel Logic Programming: A Sequel
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| State transition in multi-agent epistemic domains using answer set programming | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7552283 (Why is no real title available?) | 2022-07-01 | Paper |
| scientific article; zbMATH DE number 7455708 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7453123 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453123 (Why is no real title available?) | 2022-01-06 | Paper |
An action language for multi-agent domains
Artificial Intelligence | 2021-12-13 | Paper |
Modelling multi-agent epistemic planning in ASP
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | 2019-10-24 | Paper |
Multi-Context Systems with Preferences
Fundamenta Informaticae | 2018-05-03 | Paper |
Distributed constraint optimization problems and applications: a survey
Journal of Artificial Intelligence Research | 2018-05-02 | Paper |
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
Constraints | 2018-03-22 | Paper |
Solving distributed constraint optimization problems using logic programming
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Constrained community-based gene regulatory network inference
ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
A necessary condition for constructive negation in constraint logic programming
Information Processing Letters | 2016-06-16 | Paper |
Efficient algorithms for the temporal precedence problem
Information Processing Letters | 2016-06-09 | Paper |
A generic approach to planning in the presence of incomplete information: theory and implementation
Artificial Intelligence | 2015-12-21 | Paper |
A non-monotonic goal specification language for planning with preferences
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Finitary \(\mathbf {S5}\)-theories
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Formalizing negotiations using logic programming
ACM Transactions on Computational Logic | 2014-07-17 | Paper |
Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Logic Programming for Multiagent Planning with Negotiation
Logic Programming | 2012-11-13 | Paper |
Implementing reversible processes in multi-agent action languages using answer set planning
Lecture Notes in Computer Science | 2012-09-21 | Paper |
| BAAC: a Prolog system for action description and agents coordination | 2012-08-29 | Paper |
| CDAOstore: a phylogenetic repository using logic programming and web services | 2012-08-29 | Paper |
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
Correct Reasoning | 2012-07-23 | Paper |
Perspectives on logic-based approaches for reasoning about actions and change
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
Lecture Notes in Computer Science | 2011-05-19 | Paper |
An investigation of multi-agent planning in CLP
Fundamenta Informaticae | 2011-03-28 | Paper |
Planning for multiagent using ASP-Prolog
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Logic programming for finding models in the logics of knowledge and its applications: a case study
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
CLP-based protein fragment assembly
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Logic programs with abstract constraint atoms: the role of computations
Artificial Intelligence | 2010-05-07 | 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 |
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
Journal Of Logic And Computation | 2009-08-24 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Answer sets for logic programs with arbitrary abstract constraint atoms
(available as arXiv preprint) | 2009-04-28 | Paper |
The Level-Ancestor problem on pure pointer machines
Information Processing Letters | 2009-03-23 | Paper |
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming | 2009-03-10 | Paper |
Multivalued Action Languages with Constraints in CLP(FD)
Logic Programming | 2009-03-05 | Paper |
Logic Programs with Abstract Constraint Atoms: The Role of Computations
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 |
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Justifications for Logic Programs Under Answer Set Semantics
Logic Programming | 2008-03-11 | Paper |
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
Theory and Practice of Logic Programming | 2007-12-10 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
A new approach to hybrid probabilistic logic programs
Annals of Mathematics and Artificial Intelligence | 2007-08-17 | Paper |
A Constructive semantic characterization of aggregates in answer set programming
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Set unification
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
Journal of Parallel and Distributed Computing | 2006-10-27 | Paper |
Planning with preferences using logic programming
Theory and Practice of Logic Programming | 2006-08-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Sequential and parallel algorithms for the NCA problem on pure pointer machines
Theoretical Computer Science | 2006-03-24 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
A simple optimal solution for the temporal precedence problem on pure pointer machines
Theory of Computing Systems | 2005-02-24 | Paper |
Disunification in ACI1 theories
Constraints | 2005-01-19 | Paper |
An Optimal Algorithm for Finding NCA on Pure Pointer Machines
Algorithm Theory — SWAT 2002 | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086234 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085267 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1954102 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1931674 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1926608 (Why is no real title available?) | 2003-06-11 | Paper |
An optimal data structure to handle dynamic environments in non-deterministic computations
Computer Languages, Systems & Structures | 2003-05-04 | Paper |
Optimization schemas for parallel implementation of non-deterministic languages and systems
Software. Practice & Experience | 2002-05-14 | Paper |
| Verification of a controller for BART: An approach based on Horn logic and denotational semantics | 2002-04-08 | 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 |
The temporal precedence problem
Algorithmica | 2000-12-03 | Paper |
Data structures for order-sensitive predicates in parallel nondeterministic systems
Acta Informatica | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1508929 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1254022 (Why is no real title available?) | 1999-02-23 | Paper |
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence | 1998-06-09 | 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 |
