Swedish web site
AIICS Publications: PhD and Licentiate Theses
| Show abstracts (where available) BibTeX entries | ||
| 2020 | ||
| [37] |
.
2020. Learning to Make Safe Real-Time Decisions Under Uncertainty for Autonomous Robots. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2051. Linköping University Electronic Press. 55 pages. ISBN: 9789179298890. DOI: 10.3384/diss.diva-163419. Fulltext: https://doi.org/10.3384/diss.diva-163419 preview image: http://liu.diva-portal.org/smash/get/div... |
|
| 2019 | ||
| [36] |  |
.
2019. Robust Stream Reasoning Under Uncertainty. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2006. Linköping University Electronic Press. 207 pages. ISBN: 9789176850138. DOI: 10.3384/diss.diva-157633. Fulltext: https://doi.org/10.3384/diss.diva-157633 preview image: http://liu.diva-portal.org/smash/get/div... |
| 2017 | ||
| [35] | |
.
2017. Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1783. Linköping University Electronic Press. 133 pages. ISBN: 9789176854761. DOI: 10.3384/lic.diva-138645. Note: The series name Linköping Studies in Science and Technology Licentiate Thesis is inocorrect. The correct series name is Linköping Studies in Science and Technology Thesis. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
| [34] |
.
2017. Methods for Scalable and Safe Robot Learning. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1780. Linköping University Electronic Press. 37 pages. ISBN: 9789176854907. DOI: 10.3384/lic.diva-138398. Fulltext: https://doi.org/10.3384/lic.diva-138398 cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
|
| 2015 | ||
| [33] | |
.
2015. Troubleshooting Trucks: Automated Planning and Diagnosis. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1691. Linköping University Electronic Press. 79 pages. ISBN: 978-91-7685-993-3. DOI: 10.3384/diss.diva-119445. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
| [32] | |
.
2015. Efficient Temporal Reasoning with Uncertainty. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1722. Linköping University Electronic Press. 116 pages. ISBN: 9789176859919. DOI: 10.3384/lic.diva-119409. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
| 2011 | ||
| [31] | |
.
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: 9789173930345. cover: http://liu.diva-portal.org/smash/get/div... |
| [30] | |
.
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. 108 pages. ISBN: 9789173930376. cover: http://liu.diva-portal.org/smash/get/div... |
| [29] | |
.
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. 140 pages. ISBN: 9789173930482. cover: http://liu.diva-portal.org/smash/get/div... |
| [28] | |
.
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: 9789173931519. cover: http://liu.diva-portal.org/smash/get/div... |
| [27] | |
.
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: 9789173932004. cover: http://liu.diva-portal.org/smash/get/div... |
| 2009 | ||
| [26] |
.
2009. Perception de la géométrie de l'environment pour la navigation autonome. PhD Thesis.
Université de Toulouse. 164 pages. |
|
| [25] | |
.
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. cover: http://liu.diva-portal.org/smash/get/div... |
| [24] | |
.
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: 9789173936965. cover: http://liu.diva-portal.org/smash/get/div... |
| 2008 | ||
| [23] | |
.
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: 9789173939058. Note: Report code: LiU-Tek-Lic-2008:21. cover: http://liu.diva-portal.org/smash/get/div... |
| [22] | |
.
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. cover: http://liu.diva-portal.org/smash/get/div... |
| 2007 | ||
| [21] |
.
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: 9789185715701. |
|
| [20] | |
.
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. 107 pages. ISBN: 9789185715350. |
| [19] | |
.
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. 86 pages. ISBN: 9789185895939. cover: http://liu.diva-portal.org/smash/get/div... |
| 2006 | ||
| [18] | |
.
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: 918552378X. Note: Report code: LiU{Tek{Lic{2006:29. |
| [17] | |
.
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. errata: http://liu.diva-portal.org/smash/get/div... |
| [16] | |
.
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: 9185497150. Note: Report code: LiU–Tek–Lic–2006:10. |
| 2005 | ||
| [15] |
.
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. |
|
| [14] |
.
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. |
|
| [13] | |
.
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 | ||
| [12] | |
.
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: 9173735892. Note: Report code: LiU-Tek-Lic-2002:73. |
| 2002 | ||
| [11] | |
.
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: 9173733318. Note: Report code: LiU-Tek-Lic-2002:15. |
| [10] | |
.
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: 917373313X. 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 | ||
| [9] | |
.
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. |
| [8] | |
.
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 | ||
| [7] |
.
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 | ||
| [6] |
.
1998. Extending temporal action logic for ramification and concurrency. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #719. Univ.. 121 pages. ISBN: 9172192879. |
|
| [5] | |
.
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: 9172191732. Note: Thesis No 674. LiU-Tek-Lic 1998:09 |
| 1997 | ||
| [4] |
.
1997. A decision-mechanism for reactive and coordinated agents: Silvia Coradeschi. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #615. Univ.. 87 pages. ISBN: 9178719410. |
|
| 1991 | ||
| [3] |
.
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] |
.
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: 9178706726. |
|
| 1977 | ||
| [1] |
.
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: 9173721441. preview image: http://liu.diva-portal.org/smash/get/div... cover: http://liu.diva-portal.org/smash/get/div... |
|
Page responsible: Patrick Doherty
Last updated: 2014-04-30
