Show abstracts (where available)
BibTeX entries
|
2017 |
[14] |
|
Oleg Burdakov, Jonas Kvarnström and Patrick Doherty.
2017.
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.
|
2016 |
[13] |
|
Mikael Nilsson, Jonas Kvarnström and Patrick Doherty.
2016.
Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification.
|
[12] |
|
Håkan Warnquist, Jonas Kvarnström and Patrick Doherty.
2016.
A Modeling Framework for Troubleshooting Automotive Systems.
Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis.
DOI: 10.1080/08839514.2016.1156955.
Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
|
2013 |
[11] |
|
Patrick Doherty, Fredrik Heintz and Jonas Kvarnström.
2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
|
[10] |
|
Fredrik Heintz, Jonas Kvarnström and Patrick Doherty.
2013.
Stream-Based Hierarchical Anchoring.
|
2010 |
[9] |
|
Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson.
2010.
Relay Positioning for Unmanned Aerial Vehicle Surveillance.
|
[8] |
|
Fredrik Heintz, Jonas Kvarnström and Patrick Doherty.
2010.
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
|
2009 |
[7] |
|
Patrick Doherty, Jonas Kvarnström and Fredrik Heintz.
2009.
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems.
|
2004 |
[6] |
|
Joakim Gustafsson and Jonas Kvarnström.
2004.
Elaboration tolerance through object-orientation.
|
2003 |
[5] |
|
Jonas Kvarnström and Martin Magnusson.
2003.
TALplanner in the Third International Planning Competition: Extensions and control rules.
The journal of artificial intelligence research, 20(??):343–377. AAAI Press.
DOI: 10.1613/jair.1189.
|
2001 |
[4] |
|
Patrick Doherty and Jonas Kvarnström.
2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
|
2000 |
[3] |
|
Patrick Doherty and Jonas Kvarnström.
2000.
TALplanner: A temporal logic based forward chaining planner.
|
[2] |
|
Jonas Kvarnström and Patrick Doherty.
2000.
Tackling the qualification problem using fluent dependency constraints.
|
1998 |
[1] |
|
Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström.
1998.
(TAL) temporal action logics: Language specification and tutorial.
|