| Publication | Date of Publication | Type |
|---|
On enumerating models for the logic of paradox using tableau
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Game equivalence and expressive power of game description languages: a bisimulation approach
Journal Of Logic And Computation | 2023-02-20 | Paper |
| Relaxing exclusive control in Boolean games | 2021-12-14 | Paper |
Relaxing exclusive control in Boolean games
(available as arXiv preprint) | 2021-12-14 | Paper |
| Epistemic reasoning about rationality and bids in auctions | 2021-12-01 | Paper |
Epistemic GDL: a logic for representing and reasoning about imperfect information games
Artificial Intelligence | 2021-11-02 | Paper |
Games of influence
Journal Of Logic And Computation | 2021-09-24 | Paper |
| Auction Description Language (ADL): General Framework for Representing Auction-Based Markets | 2021-07-06 | Paper |
Game Description Logic with Integers: a GDL numerical extension
(available as arXiv preprint) | 2020-10-26 | Paper |
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Dynamics, Uncertainty and Reasoning | 2020-08-10 | Paper |
A hierarchical approach to judgment aggregation with abstentions
Computational Intelligence | 2019-12-06 | Paper |
| On axiomatization of epistemic GDL | 2017-11-22 | Paper |
Using inconsistency measures for estimating reliability
International Journal of Approximate Reasoning | 2017-11-16 | Paper |
| Trust-based belief change | 2017-07-18 | Paper |
On hierarchical task networks
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Refinement of intentions
Logics in Artificial Intelligence | 2016-11-30 | Paper |
| Multi-unit double auction under group buying | 2015-12-11 | Paper |
Consistency-based reliability assessment
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Relevant minimal change in belief update
Logics in Artificial Intelligence | 2012-09-21 | Paper |
A modal framework for relating belief and signed information
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence | 2011-02-03 | Paper |
On iterated revision in the AGM framework
Lecture Notes in Computer Science | 2010-04-06 | Paper |
A Persuasion Dialog for Gaining Access to Information
Lecture Notes in Computer Science | 2008-05-06 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
(DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2005-12-09 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2014707 (Why is no real title available?) | 2003-12-08 | Paper |
