Swedish web site
AIICS Publications: PhD and Licentiate Theses
| Show abstracts (where available) BibTeX entries | ||
| 2024 | ||
| [44] |
.
2024. On Infinite-Domain CSPs Parameterized by Solution Cost. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2368. Linköping University Electronic Press. 37 pages. ISBN: 9789180754965, 9789180754972. DOI: 10.3384/9789180754972. Note: Funding Agency: Wallenberg AI, Autonomous Systems and Software Program (WASP), funded by the Knut and Alice Wallenberg Foundation Fulltext: https://doi.org/10.3384/9789180754972 preview image: https://liu.diva-portal.org/smash/get/di... |
|
| [43] |
.
2024. Dividing the Indivisible: Algorithms, Empirical Advances, and Complexity Results for Value-Maximizing Combinatorial Assignment Problems. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2382. Linköping University Electronic Press. 167 pages. ISBN: 9789180756006, 9789180756013. Note: Funding: MIRAI; the Wallenberg AI, Autonomous Systems and Software Program; and the Knut and Alice Wallenberg Foundation. |
|
| [42] |
.
2024. Understanding Large Language Models: Towards Rigorous and Targeted Interpretability Using Probing Classifiers and Self-Rationalisation. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2364. Linköping University Electronic Press. 81 pages. ISBN: 9789180754705, 9789180754712. DOI: 10.3384/9789180754712. Fulltext: https://doi.org/10.3384/9789180754712 preview image: https://liu.diva-portal.org/smash/get/di... |
|
| 2023 | ||
| [41] |
.
2023. Reinforcement Learning for Improved Utility of Simulation-Based Training. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2351. Linköping University Electronic Press. 168 pages. ISBN: 9789180753661, 9789180753678. DOI: 10.3384/9789180753678. Note: 2023-11-02: The thesis was first published online. The online published version reflects the printed version.2023-11-15: The PDF-file has been replaced by a new file from LiU-Print to enable speech-to-text functionality and to allow text copying. Before this date the PDF has been downloaded 40 times.Funding: This work was partially supported by the Swedish Governmental Agency for Innovation Systems (grant NFFP7/2017-04885), and the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. The computations were enabled by the resources provided by the Swedish National Infrastructure for Computing (SNIC) at Tetralith/NSC partially funded by the Swedish Research Council through grant agreement no. 2020/5-230, as well as the supercomputing resource Berzelius provided by the National Supercomputer Centre at Linköping University and the Knut and Alice Wallenberg foundation. Fulltext: https://doi.org/10.3384/9789180753678 preview image: https://liu.diva-portal.org/smash/get/di... |
|
| [40] |
.
2023. Selected Functionalities for Autonomous Intelligent Systems in Public Safety Scenarios. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2322. Linköping University Electronic Press. 69 pages. ISBN: 9789180751957, 9789180751964. DOI: 10.3384/9789180751964. Note: Funding: This work has been supported by the ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09), and Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, in addiâ€tion to the sources already acknowledged in the individual papers. Fulltext: https://doi.org/10.3384/9789180751964 preview image: https://liu.diva-portal.org/smash/get/di... |
|
| [39] |
.
2023. Teaching and Learning Concurrent Programming in the Shared Memory Model. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2280. Linköping University Electronic Press. 121 pages. ISBN: 9789180750004, 9789180750011. DOI: 10.3384/9789180750011. Note: Funding agencies: The work in this thesis is partly funded by the Graduate School in Computer Science (CUGS). Fulltext: https://doi.org/10.3384/9789180750011 preview image: http://liu.diva-portal.org/smash/get/div... |
|
| 2022 | ||
| [38] |
.
2022. Safety-Aware Autonomous Systems: Preparing Robots for Life in the Real World. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2262. Linköping University Electronic Press. 244 pages. ISBN: 9789179295011, 9789179295028. DOI: 10.3384/9789179295028. Fulltext: https://doi.org/10.3384/9789179295028 preview image: http://liu.diva-portal.org/smash/get/div... |
|
| 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: https://liu.diva-portal.org/smash/get/di... |
| [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
