Torsten Grote

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Reasoning Problems

Modulo Theories

Disjunctive Logic Programs

Answer Set Programming

Top Venues

Publications

Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Answer Set Programming for Stream Reasoning CoRR (2013)
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Stream Reasoning with Answer Set Programming: Preliminary Report. KR (2012)
Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
Reactive Answer Set Programming. LPNMR (2011)
James P. Delgrande, Aaron Hunter, Torsten Grote
On the representation and verification of cryptographic protocols in a theory of action. PST (2010)
Martin Gebser, Torsten Grote, Torsten Schaub
Coala: A Compiler from Action Languages to ASP. JELIA (2010)
James P. Delgrande, Torsten Grote, Aaron Hunter
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR (2009)
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
Conflict-Driven Disjunctive Answer Set Solving. KR (2008)
Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber
The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) (2008)