liu.se
Search for publications in DiVA
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-100991
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:664665
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Robotics, Temporal Logic and Stream Reasoning
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)
ORCID iD:
0000-0002-5500-8494
2013 (English)
In:
Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013, 2013
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2013.
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:liu:diva-100991
OAI: oai:DiVA.org:liu-100991
DiVA, id:
diva2:664665
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 from:
2013-11-15
Created:
2013-11-15
Last updated:
2018-01-11
Open Access in DiVA
No full text in DiVA
Authority records
Doherty, Patrick
Heintz, Fredrik
Kvarnström, Jonas
Search in DiVA
By author/editor
Doherty, Patrick
Heintz, Fredrik
Kvarnström, Jonas
By organisation
KPLAB - Knowledge Processing Lab
The Institute of Technology
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 308 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-100991
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:664665
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.41.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök
DiVA
Logotyp