| Publication | Date of Publication | Type |
|---|
Game equivalence and expressive power of game description languages: a bisimulation approach
Journal Of Logic And Computation | 2023-02-20 | Paper |
Epistemic GDL: a logic for representing and reasoning about imperfect information games
Artificial Intelligence | 2021-11-02 | Paper |
A hierarchical approach to judgment aggregation with abstentions
Computational Intelligence | 2019-12-06 | Paper |
A sequential model of bargaining in logic programming
Frontiers of Computer Science | 2018-12-19 | Paper |
| On axiomatization of epistemic GDL | 2017-11-22 | Paper |
Refinement of intentions
Logics in Artificial Intelligence | 2016-11-30 | Paper |
| Multi-unit double auction under group buying | 2015-12-11 | Paper |
How to efficiently allocate houses under price controls?
Economics Letters | 2015-10-05 | Paper |
Representing and reasoning about game strategies
Journal of Philosophical Logic | 2015-04-23 | Paper |
Judgment aggregation with abstentions: a hierarchical approach
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
A sequential model for reasoning about bargaining in logic programs
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Relevant minimal change in belief update
Logics in Artificial Intelligence | 2012-09-21 | Paper |
A logic-based axiomatic model of bargaining
Artificial Intelligence | 2011-01-31 | Paper |
Frame problem in dynamic logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
scientific article; zbMATH DE number 5547963 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
| scientific article; zbMATH DE number 2084384 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084387 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1989652 (Why is no real title available?) | 2003-10-09 | Paper |
| scientific article; zbMATH DE number 1954171 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1931673 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1929152 (Why is no real title available?) | 2003-06-17 | Paper |
| scientific article; zbMATH DE number 1890619 (Why is no real title available?) | 2003-05-18 | Paper |
| scientific article; zbMATH DE number 1844015 (Why is no real title available?) | 2002-12-10 | Paper |
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology | 2002-10-17 | Paper |
Infinitary belief revision
Journal of Philosophical Logic | 2002-04-11 | Paper |
Nonlinear integer programming by Darwin and Boltzmann mixed strategy
European Journal of Operational Research | 2001-03-22 | Paper |
Default reasoning and belief revision: A syntax-independent approach
Journal of Computer Science and Technology | 2001-01-25 | Paper |
Application of the simulated annealing algorithm to the combinatorial optimization problem with permutation property: An investigation of generation mechanism
European Journal of Operational Research | 2000-10-11 | Paper |
| scientific article; zbMATH DE number 1424900 (Why is no real title available?) | 2000-03-26 | Paper |
Global optimization by Darwin and Boltzmann mixed strategy
Computers & Operations Research | 2000-03-21 | Paper |
Open logic based on total-ordered partition model
Science in China. Series E | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1235085 (Why is no real title available?) | 1999-05-16 | Paper |
| scientific article; zbMATH DE number 1223053 (Why is no real title available?) | 1999-01-11 | Paper |
| scientific article; zbMATH DE number 1174370 (Why is no real title available?) | 1998-11-10 | Paper |
| scientific article; zbMATH DE number 1150235 (Why is no real title available?) | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 1159893 (Why is no real title available?) | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 1152983 (Why is no real title available?) | 1998-05-14 | Paper |
| scientific article; zbMATH DE number 847154 (Why is no real title available?) | 1996-03-12 | Paper |
| scientific article; zbMATH DE number 562240 (Why is no real title available?) | 1994-05-05 | Paper |
