Publication | Date of Publication | Type |
---|
Parallel Logic Programming: A Sequel | 2023-12-12 | Paper |
Epistemic logic programs: a study of some properties | 2023-04-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5087786 | 2022-07-01 | Paper |
An epistemic logic for multi-agent systems with budget and costs | 2021-12-01 | Paper |
Adding Metalogic Features to Knowledge Representation Languages* | 2021-10-25 | Paper |
Multi-context systems in dynamic environments | 2019-08-13 | Paper |
RASP and ASP as a fragment of linear logic | 2018-08-28 | Paper |
Query answering in resource-based answer set semantics | 2017-11-09 | Paper |
Decidability results for sets with atoms | 2017-07-12 | Paper |
Negation as a Resource: a Novel View on Answer Set Semantics* | 2016-08-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2863908 | 2013-12-04 | Paper |
Negation as a Resource: A Novel View on Answer Set Semantics | 2013-10-10 | Paper |
Nested Weight Constraints in ASP | 2013-07-30 | Paper |
Autonomous agents coordination: Action languages meet CLP() and Linda | 2013-06-26 | Paper |
Layered map reasoning | 2013-05-24 | Paper |
An Agg Application Supporting Visual Reasoning1 | 2013-05-10 | Paper |
Distributed colorings for collision-free routing in sink-centric sensor networks | 2012-09-13 | Paper |
BAAC: A Prolog System for Action Description and Agents Coordination | 2012-08-29 | Paper |
A graphical representation of relational formulae with complementation | 2012-06-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3100236 | 2011-11-23 | Paper |
Weight Constraints with Preferences in ASP | 2011-05-26 | Paper |
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change | 2011-05-19 | Paper |
Extending and Implementing RASP | 2011-03-28 | Paper |
An Investigation of Multi-Agent Planning in CLP | 2011-03-28 | Paper |
Theory-Specific Automated Reasoning | 2010-07-20 | Paper |
Answer Set Programming with Resources | 2010-04-21 | Paper |
Multivalued action languages with constraints in CLP(FD) | 2010-04-07 | Paper |
An efficient relational deductive system for propositional non-classical logics | 2009-11-30 | 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 |
Modeling preferences and conditional preferences on resource consumption and production in ASP | 2009-06-08 | Paper |
Multivalued Action Languages with Constraints in CLP(FD) | 2009-03-05 | Paper |
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics | 2009-01-20 | Paper |
Comparative uncertainty: theory and automation | 2008-04-10 | Paper |
Logic Programming | 2006-06-27 | Paper |
The axiom of elementary sets on the edge of Peircean expressibility | 2006-01-16 | Paper |
Three-variable statements of set-pairing | 2004-10-27 | Paper |
Compiling dyadic first-order specifications into map algebra | 2003-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4539604 | 2002-07-10 | Paper |
Goals and benchmarks for automated map reasoning | 2001-03-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503910 | 2001-02-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4940937 | 2000-02-28 | Paper |
\(T\)-resolution: Refinements and model elimination | 2000-01-25 | Paper |