Martin Sticht

According to our database, Martin Sticht authored at least 4 papers between 2014 and 2018.

Collaborative distances:

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

2018

Proof Search in Multi-Agent Dialogues for Modal Logic.

Martin Sticht

PhD thesis, 2018

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4.

Martin Sticht

Fundam. Informaticae, 2018

2016

Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling.

Martin Sticht

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2014

How Similar is What I Get to What I Want: Matchmaking for Mobility Support.

Ute Schmid, Lukas Berle, Michael Munz, Klaus Stein, Martin Sticht

Proceedings of the Computational Approaches to Analogical Reasoning: Current Trends, 2014