| Publication | Date of Publication | Type |
|---|
| Parallel Logic Programming: A Sequel | 2023-12-12 | Paper |
| State transition in multi-agent epistemic domains using answer set programming | 2023-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5087786 | 2022-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020965 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020568 | 2022-01-06 | Paper |
| An action language for multi-agent domains | 2021-12-13 | Paper |
| Modelling Multi-Agent Epistemic Planning in ASP | 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 | 2018-05-03 | Paper |
| Distributed Constraint Optimization Problems and Applications: A Survey | 2018-05-02 | Paper |
| Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs | 2018-03-22 | Paper |
| Solving distributed constraint optimization problems using logic programming | 2017-11-09 | Paper |
| Constrained Community-Based Gene Regulatory Network Inference | 2017-06-30 | Paper |
| A necessary condition for constructive negation in constraint logic programming | 2016-06-16 | Paper |
| Efficient algorithms for the temporal precedence problem | 2016-06-09 | Paper |
| A generic approach to planning in the presence of incomplete information: theory and implementation | 2015-12-21 | Paper |
| A Non-monotonic Goal Specification Language for Planning with Preferences | 2015-02-04 | Paper |
| Finitary S5-Theories | 2015-01-14 | Paper |
| Formalizing Negotiations Using Logic Programming | 2014-07-17 | Paper |
| Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL | 2013-10-04 | Paper |
| Autonomous agents coordination: Action languages meet CLP() and Linda | 2013-06-26 | Paper |
| Logic Programming for Multiagent Planning with Negotiation | 2012-11-13 | Paper |
| Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning | 2012-09-21 | Paper |
| CDAOstore: a phylogenetic repository using logic programming and web services | 2012-08-29 | Paper |
| BAAC: a Prolog system for action description and agents coordination | 2012-08-29 | Paper |
| Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains | 2012-07-23 | Paper |
| Perspectives on Logic-Based Approaches for Reasoning about Actions and Change | 2011-05-19 | Paper |
| Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System | 2011-05-19 | Paper |
| An Investigation of Multi-Agent Planning in CLP | 2011-03-28 | Paper |
| Planning for Multiagent Using ASP-Prolog | 2010-11-09 | Paper |
| Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study | 2010-11-09 | Paper |
| Logic programming for finding models in the logics of knowledge and its applications: A case study | 2010-08-19 | Paper |
| CLP-based protein fragment assembly | 2010-08-19 | Paper |
| Logic programs with abstract constraint atoms: the role of computations | 2010-05-07 | 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 |
| Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures | 2009-08-24 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624081 | 2009-04-28 | Paper |
| The Level-Ancestor problem on pure pointer machines | 2009-03-23 | Paper |
| Justifications for logic programs under answer set semantics | 2009-03-10 | Paper |
| Logic Programs with Abstract Constraint Atoms: The Role of Computations | 2009-03-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 |
| Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees | 2008-05-27 | Paper |
| Justifications for Logic Programs Under Answer Set Semantics | 2008-03-11 | Paper |
| PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters | 2007-12-10 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| A new approach to hybrid probabilistic logic programs | 2007-08-17 | Paper |
| A Constructive semantic characterization of aggregates in answer set programming | 2007-04-19 | Paper |
| Set unification | 2007-02-13 | Paper |
| Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms | 2006-10-27 | Paper |
| Planning with preferences using logic programming | 2006-08-28 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Sequential and parallel algorithms for the NCA problem on pure pointer machines | 2006-03-24 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-08-19 | Paper |
| A simple optimal solution for the temporal precedence problem on pure pointer machines | 2005-02-24 | Paper |
| Disunification in ACI1 theories | 2005-01-19 | Paper |
| An Optimal Algorithm for Finding NCA on Pure Pointer Machines | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044332 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736501 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415095 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708932 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707740 | 2003-06-11 | Paper |
| An optimal data structure to handle dynamic environments in non-deterministic computations | 2003-05-04 | Paper |
| Optimization schemas for parallel implementation of non-deterministic languages and systems | 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 | 2001-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944864 | 2000-12-05 | Paper |
| The temporal precedence problem | 2000-12-03 | Paper |
| Data structures for order-sensitive predicates in parallel nondeterministic systems | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506393 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227005 | 1999-02-23 | Paper |
| Parallel symbolic computation in ACE | 1998-06-09 | 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 |
