Unknown publication type
| Show abstracts (where available) BibTeX entries | ||
| 2011 | ||
| [32] |  |
.
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. |
| [31] | |
.
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. |
| [30] | |
.
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. |
| [29] | |
.
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. |
| [28] | |
.
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 | ||
| [27] | |
.
2009. Perception de la géométrie de l'environment pour la navigation autonome. PhD Thesis.
Université de Toulouse. 164 pages. |
| [26] | |
.
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. |
| [25] | |
.
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 | ||
| [24] | |
.
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. |
| [23] | |
.
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 | ||
| [22] |
.
2007. A framework for designing constraint stores. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1302. Linköpings universitet. ISBN: 978-91-85715-70-1. |
|
| [21] | |
.
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. |
| [20] | |
.
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 | ||
| [19] | |
.
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. |
| [18] | |
.
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:... |
| [17] | |
.
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 | ||
| [16] |
.
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. |
|
| [15] |
.
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. |
|
| [14] | |
.
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. |
| 2004 | ||
| [13] |
.
2004. Debugging techniques for equation-based languages. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #873. Linköping University. 243 pages. ISBN: 91-7373-941-3. |
|
| 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: 91-7373-589-2. Note: Report code: LiU-Tek-Lic-2002:73. |
| 2002 | ||
| [11] | |
.
2002. Debugging and Structural Analysis of Declarative Equation-Based Languages. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #964. Institutionen för datavetenskap. 156 pages. ISBN: 91-7373-382-2. Note: Report code: LiU-Tek-Lic-2002:37. |
| [10] | |
.
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] | |
.
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] | |
.
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] | |
.
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] | |
.
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] |
.
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] | |
.
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. Note: Thesis No 674. LiU-Tek-Lic 1998:09 |
| 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. ISBN: 91-7870-672-6. |
|
| 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: 91-7372-144-1. Note: Date of defense not available. |
|
