Hide menu

AIICS Publications: PhD and Licentiate Theses

Show abstracts (where available) BibTeX entries
2011
[30] Full text  Piotr Rudol. 2011.
Increasing Autonomy of Unmanned Aircraft Systems Through the Use of Imaging Sensors.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1510. Linköping University Electronic Press. 96 pages. ISBN: 978-91-7393-034-5.
[29] Full text  Mariusz Wzorek. 2011.
Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1509. Linköping University Electronic Press. 107 pages. ISBN: 978-91-7393-037-6.
[28] Full text  David Landén. 2011.
Complex Task Allocation for Delegation: From Theory to Practice.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1506. Linköping University Electronic Press. 139 pages. ISBN: 978-91-7393-048-2.
[27] Full text  Håkan Warnquist. 2011.
Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1490. Linköping University Electronic Press. 169 pages. ISBN: 978-91-7393-151-9.
[26] Full text  Per-Magnus Olsson. 2011.
Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1476. Linköping University Electronic Press. 140 pages. ISBN: 978-91-7393-200-4.
2009
[25] Cyrille Berger. 2009.
Perception de la géométrie de l'environment pour la navigation autonome.
PhD Thesis. Université de Toulouse. 164 pages.
[24] Full text  Gianpaolo Conte. 2009.
Vision-Based Localization and Guidance for Unmanned Aerial Vehicles.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #1260. Linköping University Electronic Press. 174 pages. ISBN: 978-91-7393-603-3.
[23] Full text  Fredrik  Heintz. 2009.
DyKnow: A Stream-Based Knowledge Processing Middleware Framework.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #1240. Linköping University Electronic Press. 258 pages. ISBN: 978–91–7393–696–5.
2008
[22] Full text  Per Nyblom. 2008.
Dynamic Abstraction for Interleaved Task Planning and Execution.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1363. Institutionen för datavetenskap. 94 pages. ISBN: 978-91-7393-905-8.
Note: Report code: LiU-Tek-Lic-2008:21.
[21] Full text  Heike Joe Steinhauer. 2008.
A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #1204. Linköping University Electronic Press. 178 pages. ISBN: 978-91-7393-823-5.
2007
[20] Björn Hägglund. 2007.
A framework for designing constraint stores.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1302. Linköpings universitet. 118 pages. ISBN: 978-91-85715-70-1.
[19] Full text  Gianpaolo Conte. 2007.
Navigation Functionalities for an Autonomous UAV Helicopter.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1307. Linköping University Electronic Press. 74 pages. ISBN: 978-91-85715-35-0.
[18] Full text  Martin Magnusson. 2007.
Deductive Planning and Composite Actions in Temporal Action Logic.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1329. Institutionen för datavetenskap. 85 pages. ISBN: 978-91-85895-93-9.
2006
[17] Full text  Karolina Eliasson. 2006.
The Use of Case-Based Reasoning in a Human-Robot Dialog System.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1248. Institutionen för datavetenskap. 130 pages. ISBN: 91-85523-78-X.
Note: Report code: LiU{Tek{Lic{2006:29.
[16] Full text  Patrik Haslum. 2006.
Admissible Heuristics for Automated Planning.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #1004. Institutionen för datavetenskap. 164 pages. ISBN: 91-85497-28-2.
Link to Licentiate Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[15] Full text  Per Olof Pettersson. 2006.
Sampling-based Path Planning for an Autonomous Helicopter.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1229. Institutionen för datavetenskap. 141 pages. ISBN: 91–85497–15–0.
Note: Report code: LiU–Tek–Lic–2006:10.
2005
[14] Anders Arpteg. 2005.
Intelligent semi-structured information extraction: a user-driven approach to information extraction.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #946. Linköping University Electronic Press. 139 pages. ISBN: 91-85297-98-4.
Note: This work has been supported by University of Kalmar and the Knowledge Foundation.
[13] Bourhane Kadmiry. 2005.
Fuzzy gain scheduled visual servoing for an unmanned helicopter.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #938. Linköpings universitet. 148 pages. ISBN: 91-85297-76-3.
[12] Full text  Jonas Kvarnström. 2005.
TALplanner and other extensions to Temporal Action Logic.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5.
2003
[11] Full text  Anders Arpteg. 2003.
Adaptive Semi-structured Information Extraction.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #1000. Institutionen för datavetenskap. 85 pages. ISBN: 91-7373-589-2.
Note: Report code: LiU-Tek-Lic-2002:73.
2002
[10] Full text  Patrik Haslum. 2002.
Prediction as a Knowledge Representation Problem: A Case Study in Model Design.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #942. Institutionen för datavetenskap. 106 pages. ISBN: 91-7373-331-8.
Note: Report code: LiU-Tek-Lic-2002:15.
Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[9] Full text  Bourhane Kadmiry. 2002.
Fuzzy Control for an Unmanned Helicopter.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #938. Institutionen för datavetenskap. 108 pages. ISBN: 91-7373-313-X.
Note: Report code: LiU-Tek-Lic-2002:11. The format of the electronic version of this thesis differs slightly from the printed one: this is due mainly to font compatibility. The figures and body of the thesis are remaining unchanged.
2001
[8] Full text  Marcus Bjäreland. 2001.
Model-based execution monitoring.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #688. Linköpings universitet. 153 pages. ISBN: 91-7373-016-5.
[7] Full text  Joakim Gustafsson. 2001.
Extending temporal action logic.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #689. Linköpings universitet. 218 pages. ISBN: 91-7373-017-3.
1999
[6] Full text  Lars Karlsson. 1999.
Actions, interactions and narratives.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #593. Linköpings universitet. 222 pages. ISBN: 91-7219-534-7.
[5] Silvia Coradeschi. 1999.
Anchoring symbols to sensory data.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #611. Linköpings universitet. 136 pages. ISBN: 91-7219-623-8.
1998
[4] Full text  Marcus Bjäreland. 1998.
Two Aspects of Automating Logics of Action and Change: Regression and Tractability.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #674. Linköpings universitet. 83 pages. ISBN: 91-7219-173-2.
Note: Thesis No 674. LiU-Tek-Lic 1998:09
1991
[3] Patrick Doherty. 1991.
NML3: a non-monotonic formalism with explicit defaults.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #258. Linköpings tekniska högskola. 290 pages. ISBN: 91-7870-816-8.
1990
[2] Patrick Doherty. 1990.
A three-valued approach to non-monotonic reasoning.
Licentiate Thesis. In series: Linköping Studies in Science and Technology. Thesis #230. Linköping University. 117 pages. ISBN: 91-7870-672-6.
1977
[1] Anders Haraldsson. 1977.
A program manipulation system based on partial evaluation.
PhD Thesis. In series: Linköping Studies in Science and Technology. Dissertations #14. Linköpings universitet. 264 pages. ISBN: 91-7372-144-1.
Note: Date of defense not available.

Page responsible: Patrick Doherty
Last updated: 2014-04-30