Martin Sticht - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2018

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4Martin Sticht. FUIN, 161(1-2):191-218, 2018. [doi]

Proof Search in Multi-Agent Dialogues for Modal LogicMartin Sticht. PhD thesis, University of Bamberg, Germany, 2018. [doi]

2016

Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and SchedulingMartin Sticht. cilc 2016: 21-36 [doi]

2014

How Similar is What I Get to What I Want: Matchmaking for Mobility SupportUte Schmid, Lukas Berle, Michael Munz, Klaus Stein, Martin Sticht. In Henri Prade, Gilles Richard, editors, Computational Approaches to Analogical Reasoning: Current Trends. Volume 548 of Studies in Computational Intelligence, pages 263-287, Springer, 2014. [doi]

Sign in or sign up to see more results.

runs on WebDSL