liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Robotics, Temporal Logic and Stream Reasoning
2013 (English)In: Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013, 2013Conference paper (Refereed)
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-100991 (URN)oai:DiVA.org:liu-100991 (OAI)diva2:664665 (DiVA)
Conference
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), 14-19 December 2013, Stellenbosch, South Africa
Projects
CADICS, ELLIIT, NFFP6, CUAS, SHERPA
Funder
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from2013-11-15 Created:2013-11-15 Last updated:2013-11-27

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, PatrickHeintz, FredrikKvarnström, Jonas
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 46 hits
ReferencesLink to record
Permanent link

Direct link