| Publication | Date of Publication | Type |
|---|
Epistemic logic programs: a study of some properties
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking
Journal Of Logic And Computation | 2024-02-13 | Paper |
How to leverage intelligent agents and complex event processing to improve patient monitoring
Journal Of Logic And Computation | 2023-06-15 | Paper |
| Epistemic logic programs: a study of some properties | 2023-04-04 | Paper |
| Epistemic logics for modeling group dynamics of cooperative agents, and aspects of theory of mind | 2022-07-01 | Paper |
Ensuring trustworthy and ethical behaviour in intelligent logical agents
Journal Of Logic And Computation | 2022-03-09 | Paper |
scientific article; zbMATH DE number 7455722 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455722 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455700 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455700 (Why is no real title available?) | 2022-01-11 | Paper |
A temporal module for logical frameworks
(available as arXiv preprint) | 2022-01-06 | Paper |
| A temporal module for logical frameworks | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453129 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453129 (Why is no real title available?) | 2022-01-06 | 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 |
Negation as a resource: a novel view on answer set semantics
Fundamenta Informaticae | 2016-08-15 | Paper |
Elio Lanzarone: a life for science
Journal Of Logic And Computation | 2015-12-28 | Paper |
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Negation as a resource: a novel view on answer set semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Strong equivalence of RASP programs
Correct Reasoning | 2012-07-23 | 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 |
Extending and Implementing RASP
Fundamenta Informaticae | 2011-03-28 | Paper |
Answer Set Programming with Resources
Journal Of Logic And Computation | 2010-04-21 | Paper |
Context-based commonsense reasoning in the DALI logic programming language
Modeling and Using Context | 2010-04-06 | Paper |
Contracts Violation: Justification via Argumentation
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Modeling preferences and conditional preferences on resource consumption and production in ASP
Journal of Algorithms | 2009-06-08 | Paper |
A Heuristic Approach to P2P Negotiation
Lecture Notes in Computer Science | 2009-02-12 | Paper |
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
Normal forms for answer sets programming
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2089454 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1931644 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1926640 (Why is no real title available?) | 2003-06-11 | Paper |
On the equivalence and range of applicability of graph-based representations of logic programs.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1761432 (Why is no real title available?) | 2002-06-30 | Paper |
Reflection principles in computational logic
Journal Of Logic And Computation | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1107527 (Why is no real title available?) | 1998-01-21 | Paper |
Contributions to the stable model semantics of logic programs with negation
Theoretical Computer Science | 1997-02-28 | Paper |
A metalogic programming approach: language, semantics and applications
Journal of Experimental & Theoretical Artificial Intelligence | 1994-10-12 | Paper |
SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
