Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-1301-1392
AU - Gebser, Martin
AU - Grote, Torsten
AU - Kaminski, Roland
AU - Obermeier, Philipp
AU - Sabuncu, Orkunt
AU - Schaub, Torsten
TI - Answer Set Programming for Stream Reasoning
JO - CoRR
VL - abs/1301.1392
PY - 2013//
UR - http://arxiv.org/abs/1301.1392
ER -
TY - CPAPER
ID - DBLP:conf/kr/GebserGKOSS12
AU - Gebser, Martin
AU - Grote, Torsten
AU - Kaminski, Roland
AU - Obermeier, Philipp
AU - Sabuncu, Orkunt
AU - Schaub, Torsten
TI - Stream Reasoning with Answer Set Programming: Preliminary Report.
BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
PY - 2012//
UR - http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4504
ER -
TY - CPAPER
ID - DBLP:conf/lpnmr/GebserGKS11
AU - Gebser, Martin
AU - Grote, Torsten
AU - Kaminski, Roland
AU - Schaub, Torsten
TI - Reactive Answer Set Programming.
BT - Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
SP - 54
EP - 66
PY - 2011//
DO - 10.1007/978-3-642-20895-9_7
UR - https://doi.org/10.1007/978-3-642-20895-9_7
ER -
TY - CPAPER
ID - DBLP:conf/jelia/GebserGS10
AU - Gebser, Martin
AU - Grote, Torsten
AU - Schaub, Torsten
TI - Coala: A Compiler from Action Languages to ASP.
BT - Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
SP - 360
EP - 364
PY - 2010//
DO - 10.1007/978-3-642-15675-5_32
UR - https://doi.org/10.1007/978-3-642-15675-5_32
ER -
TY - CPAPER
ID - DBLP:conf/pst/DelgrandeHG10
AU - Delgrande, James P.
AU - Hunter, Aaron
AU - Grote, Torsten
TI - On the representation and verification of cryptographic protocols in a theory of action.
BT - Eighth Annual Conference on Privacy, Security and Trust, PST 2010, August 17-19, 2010, Ottawa, Ontario, Canada
SP - 39
EP - 45
PY - 2010//
DO - 10.1109/PST.2010.5593236
UR - https://doi.org/10.1109/PST.2010.5593236
UR - https://doi.ieeecomputersociety.org/10.1109/PST.2010.5593236
ER -
TY - CPAPER
ID - DBLP:conf/lpnmr/DelgrandeGH09
AU - Delgrande, James P.
AU - Grote, Torsten
AU - Hunter, Aaron
TI - A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.
BT - Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
SP - 355
EP - 367
PY - 2009//
DO - 10.1007/978-3-642-04238-6_30
UR - https://doi.org/10.1007/978-3-642-04238-6_30
ER -
TY - CPAPER
ID - DBLP:conf/ictai/DworschakGKSV08
AU - Dworschak, Steve
AU - Grote, Torsten
AU - König, Arne
AU - Schaub, Torsten
AU - Veber, Philippe
TI - The System BioC for Reasoning about Biological Models in Action Language C.
BT - 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1
SP - 11
EP - 18
PY - 2008//
DO - 10.1109/ICTAI.2008.69
UR - https://doi.org/10.1109/ICTAI.2008.69
UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2008.69
ER -
TY - CPAPER
ID - DBLP:conf/kr/DrescherGGKKOS08
AU - Drescher, Christian
AU - Gebser, Martin
AU - Grote, Torsten
AU - Kaufmann, Benjamin
AU - König, Arne
AU - Ostrowski, Max
AU - Schaub, Torsten
TI - Conflict-Driven Disjunctive Answer Set Solving.
BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
SP - 422
EP - 432
PY - 2008//
UR - http://www.aaai.org/Library/KR/2008/kr08-041.php
ER -
