| Publication | Date of Publication | Type |
|---|
Revenue implications of choosing discrete bid levels in a Japanese-English auction
Review of Economic Design | 2024-05-21 | Paper |
| Towards provenance in heterogeneous knowledge bases | 2023-04-04 | Paper |
| Tractable reasoning using logic programs with intensional concepts | 2021-12-01 | Paper |
| On syntactic forgetting under uniform equivalence | 2021-12-01 | Paper |
On the limits of forgetting in answer set programming
Artificial Intelligence | 2020-11-16 | Paper |
A syntactic operator for forgetting that satisfies strong persistence
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Reference pricing with elastic demand for pharmaceuticals
Scandinavian Journal of Economics | 2018-09-25 | Paper |
A note on the wallet game with discrete bid levels
Economics Letters | 2018-09-20 | Paper |
Equivalence of defeasible normative systems
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| You can't always forget what you want: on the limits of forgetting in answer set programming | 2018-07-12 | Paper |
Reactive multi-context systems: heterogeneous reasoning in dynamic environments
Artificial Intelligence | 2018-05-11 | Paper |
When you must forget: Beyond strong persistence when forgetting in answer set programming
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| scientific article; zbMATH DE number 6747919 (Why is no real title available?) | 2017-07-18 | Paper |
Inconsistency Management in Reactive Multi-context Systems
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Forgetting in ASP: the forgotten properties
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Evolving bridge rules in evolving multi-context systems
Lecture Notes in Computer Science | 2014-10-14 | Paper |
Decidability and implementation of parametrized logic programs
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Non-monotonic temporal goals
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Time is up! -- Norms with deadlines in action languages
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Abstract valuation semantics
Studia Logica | 2013-09-23 | Paper |
An embedding of input-output logic in deontic logic programs
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Towards a Behavioral Algebraic Theory of Logical Valuations
Fundamenta Informaticae | 2011-11-22 | Paper |
Experimental evidence on English auctions: oral outcry versus clock
Bulletin of Economic Research | 2011-11-15 | Paper |
Normative systems represented as hybrid knowledge bases
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Parametrized equilibrium logic
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Parametrized logic programming
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Algebraic Valuations as Behavioral Logical Matrices
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Behavioral algebraization of logics
Studia Logica | 2009-03-17 | Paper |
| scientific article; zbMATH DE number 5316605 (Why is no real title available?) | 2008-08-26 | Paper |
On the Algebraization of Many-Sorted Logics
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
| scientific article; zbMATH DE number 2196611 (Why is no real title available?) | 2005-08-22 | Paper |
