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