Stefan Minica

According to our database, Stefan Minica authored at least 5 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure.

Stefan Minica

CoRR, 2015

2012

Toward a Dynamic Logic of Questions.

Johan van Benthem, Stefan Minica

J. Philos. Log., 2012

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.

Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Question-answer games.

Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica

J. Appl. Non Class. Logics, 2011

2010

Implementing Dynamic-epistemic Questioning - Engineering and Teaching Information Seeking via Dynamic Inquiry.

Stefan Minica

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010