| Publication | Date of Publication | Type |
|---|
Epistemic logic programs: a study of some properties
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
| Reasoning on relations, modalities, and sets | 2024-09-06 | Paper |
Parallel Logic Programming: A Sequel
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Epistemic logic programs: a study of some properties | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7552283 (Why is no real title available?) | 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*
Fundamenta Informaticae | 2021-10-25 | Paper |
Multi-context systems in dynamic environments
Annals of Mathematics and Artificial Intelligence | 2019-08-13 | Paper |
RASP and ASP as a fragment of linear logic
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Query answering in resource-based answer set semantics
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 |
Negation as a resource: a novel view on answer set semantics
Fundamenta Informaticae | 2016-08-15 | Paper |
| Qualitative uncertainty orderings revised | 2013-12-04 | Paper |
Negation as a resource: a novel view on answer set semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Nested weight constraints in ASP
Fundamenta Informaticae | 2013-07-30 | Paper |
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Layered map reasoning: an experimental approach put to trial on sets
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
An \textsc{Agg} application supporting visual reasoning
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Distributed colorings for collision-free routing in sink-centric sensor networks
Journal of Discrete Algorithms | 2012-09-13 | Paper |
| BAAC: a Prolog system for action description and agents coordination | 2012-08-29 | Paper |
Strong equivalence of RASP programs
Correct Reasoning | 2012-07-23 | Paper |
A graphical representation of relational formulae with complementation
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
A graphical representation of relational formulae with complementation
RAIRO. Theoretical Informatics and Applications | 2012-06-04 | Paper |
| Modeling preferences on resource consumption and production in ASP | 2011-11-23 | Paper |
Weight constraints with preferences in ASP
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Perspectives on logic-based approaches for reasoning about actions and change
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Extending and Implementing RASP
Fundamenta Informaticae | 2011-03-28 | Paper |
An investigation of multi-agent planning in CLP
Fundamenta Informaticae | 2011-03-28 | Paper |
Theory-specific automated reasoning
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Answer Set Programming with Resources
Journal Of Logic And Computation | 2010-04-21 | Paper |
Multivalued action languages with constraints in \(CLP(FD)\)
Theory and Practice of Logic Programming | 2010-04-07 | Paper |
An efficient relational deductive system for propositional non-classical logics
Journal of Applied Non-Classical Logics | 2009-11-30 | 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 |
Modeling preferences and conditional preferences on resource consumption and production in ASP
Journal of Algorithms | 2009-06-08 | Paper |
Multivalued Action Languages with Constraints in CLP(FD)
Logic Programming | 2009-03-05 | Paper |
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Comparative uncertainty: theory and automation
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
The axiom of elementary sets on the edge of Peircean expressibility
Journal of Symbolic Logic | 2006-01-16 | Paper |
Three-variable statements of set-pairing
Theoretical Computer Science | 2004-10-27 | Paper |
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science | 2003-05-14 | Paper |
| scientific article; zbMATH DE number 1765668 (Why is no real title available?) | 2002-07-10 | Paper |
Goals and benchmarks for automated map reasoning
Journal of Symbolic Computation | 2001-03-19 | Paper |
| scientific article; zbMATH DE number 1507190 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1407682 (Why is no real title available?) | 2000-02-28 | Paper |
\(T\)-resolution: Refinements and model elimination
Journal of Automated Reasoning | 2000-01-25 | Paper |
