AIICS

AIICS Publications

Unknown publication type

Show abstracts (where available) BibTeX entries
2014
[33] Per-Magnus Olsson. 2014.
Methods for Network Optimization and Parallel Derivative-free Optimization.
PhD Thesis. In series: Link√∂ping Studies in Science and Technology. Dissertations #1580. Link√∂ping University Electronic Press. 319 pages. ISBN: 978-91-7519-388-5 (print).
DOI: 10.3384/diss.diva-104110.
2011
[32] 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.
[31] 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.
[30] 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.
[29] 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.
[28] 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
[27] Full text  Cyrille Berger. 2009.
Perception de la géométrie de l'environment pour la navigation autonome.
PhD Thesis. Universit√© de Toulouse. 164 pages.
[26] 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.
[25] 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
[24] 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.
[23] 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
[22] 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.
[21] 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.
[20] 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
[19] 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.
[18] 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:...
[17] 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
[16] 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.
[15] 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.
[14] 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.
2004
[13] Peter Bunus. 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] 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
[11] Full text  Peter Bunus. 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] 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.