LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Heintz, Fredrik (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Kvarnström, Jonas (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology) (APD)
Title:
Robotics, Temporal Logic and Stream Reasoning
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013
Conference:
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), 14-19 December 2013, Stellenbosch, South Africa
Year of publ.:
2013
URI:
urn:nbn:se:liu:diva-100991
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-100991
Subject category:
Computer Science
Project:
CADICS, ELLIIT, NFFP6, CUAS, SHERPA
Research funder:
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from:
2013-11-15
Created:
2013-11-15
Last updated:
2013-11-27
Statistics:
45 hits