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 |
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 | 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 |
Multivalued Action Languages with Constraints in CLP(FD) | 2009-03-05 | Paper |
Logic Programs with Abstract Constraint Atoms: The Role of Computations | 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 |
https://portal.mardi4nfdi.de/entity/Q2751763 | 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 |