Stefan Minica

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Tableau Calculus

Interactive Visualization

Propositional Dynamic Logic

Reasoning Tasks

Top Venues

J. Philos. Log.

Publications

Stefan Minica
RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure. CoRR (2015)
Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR (2012)
Johan van Benthem, Stefan Minica
Toward a Dynamic Logic of Questions. J. Philos. Log. 41 (4) (2012)
Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
Question-answer games. J. Appl. Non Class. Logics 21 (3-4) (2011)
Stefan Minica
Implementing Dynamic-epistemic Questioning - Engineering and Teaching Information Seeking via Dynamic Inquiry. CSEDU (2) (2010)
Johan van Benthem, Stefan Minica
Toward a Dynamic Logic of Questions. LORI (2009)