|
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.
|