Torsten Grote

According to our database, Torsten Grote authored at least 8 papers between 2008 and 2013.

Collaborative distances:

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

2013

Answer Set Programming for Stream Reasoning

Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

CoRR, 2013

2012

Stream Reasoning with Answer Set Programming: Preliminary Report.

Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

Reactive Answer Set Programming.

Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

On the representation and verification of cryptographic protocols in a theory of action.

James P. Delgrande, Aaron Hunter, Torsten Grote

Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010

Coala: A Compiler from Action Languages to ASP.

Martin Gebser, Torsten Grote, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.

James P. Delgrande, Torsten Grote, Aaron Hunter

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The System BioC for Reasoning about Biological Models in Action Language C.

Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008