AIICS

AIICS Publications

AIICS

Other Publications

Show abstracts (where available) BibTeX entries
2012
[43]		Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz and Peter Lucas. 2012. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Conference Proceedings. In series: Frontiers in Artificial Intelligence and Applications #242. IOS Press. 1056 pages. ISBN: 978-1-61499-097-0.
[42]		Bernhard Nebel and Alexander Kleiner. 2012. Multi-Agenten-Systeme in der Intralogistik - Erster Teil: Gemeinsam denken. IEE - Elektrische Automatisierung + Antriebstechnik, -(4):48–53. Hüthig Verlag.
[41]		Bernhard Nebel and Alexander Kleiner. 2012. Multi-Agenten-Systeme in der Intralogistik - Zweiter Teil: Effizient transportieren. IEE - Elektrische Automatisierung + Antriebstechnik, -(5):34–37. Hüthig Verlag.
[40]		Erik Sandewall. 2012. Maintaining Live Discussion in Two-Stage Open Peer Review. Frontiers in Computational Neuroscience, 6(9):??–??. Frontiers Research Foundation. DOI: 10.3389/fncom.2012.00009. Note: funding agencies\|Knut and Alice Wallenberg Foundation\|\|
2011
[39]		Anders Kofod-Peteresen, Fredrik Heintz and Langseth Helge. 2011. Elevent Scandinavian Conference on Artifical Intelligence SCAI 2011. Conference Proceedings. In series: Frontiers in Artificial Intelligence and Applications #227. IOS Press. 197 pages. ISBN: 978-1-60750-753-6.
2009
[38]		Alexander Kleiner. 2009. Mapping and Exploration for Search and Rescue with Humans and Mobile Robots. Techical Report. University of Freiburg. 227 pages. Note: This is a Ph.D. thesis originally defended at University of Freiburg.
[37]		Anna Pernestål, Mattias Nyberg and Håkan Warnquist. 2009. Modeling and Efficient Inference for Troubleshooting Automotive Systems. Techical Report. In series: LiTH-ISY-R #2921. Linköpings universitet.
[36]		Oleg Burdakov, Kaj Holmberg, Patrick Doherty and Per-Magnus Olsson. 2009. Optimal placement of communications relay nodes. Techical Report. In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages.
[35]		Fredrik Heintz and Jonas Kvarnström. 2009. Proceedings of the Swedish AI Society Workshop 2009. Conference Proceedings. In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages.
2008
[34]		Erik Sandewall. 2008. A Review of the Handbook of Knowledge Representation. Artificial Intelligence, 172(18):1965–1966. Elsevier. DOI: 10.1016/j.artint.2008.10.002.
[33]		Oleg Burdakov, Kaj Holmberg and Per-Magnus Olsson. 2008. A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles. Techical Report. In series: Report / Department of Mathematics, Universitetet i Linköping, Tekniska högskolan #2008:7. Linköping University Electronic Press. 30 pages.
2007
[32]		Mariusz Wzorek and Patrick Doherty. 2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
2006
[31]		Ewa Orlowska, Alberto Policriti and Andrzej Szalas. 2006. Algebraic and Relational Deductive Tools. Conference Proceedings. In series: Journal of Applied Non-Classical Logics #??. Éditions Hermès-Lavoisier. Note: Special Issue
[30]		Patrick Doherty, John Mylopoulos and Christopher Welty. 2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings. AAAI Press. ISBN: 978-1-57735-281-5.
2005
[29]		Alexander Kleiner, Michael Brenner, Tobias Bräuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Joerg Stückler and Bernhard Nebel. 2005. ResQ Freiburg: Team Description and Evaluation. Techical Report. Institut für Informatik, Universität Freiburg.
[28]		Erik Johan Sandewall. 2005. Leonardo, an Approach towards the Consolidation of Computer Software System. Note: Research Article, CAISOR Archival Website, Number 2005-016
2004
[27]		Alexander Kleiner and Moritz Göbelbecker. 2004. Rescue3D: Making Rescue Simulation Attractive to the Public. Techical Report. Institut für Informatik, Universität Freiburg.
2003
[26]		Patrick Doherty, W. Lukaszewicz, Skowron Andrzej and Andrzej Szalas. 2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings. In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue
[25]		Madelaine Engström, Anders Haraldsson, Tove Mattsson and Minna Salminen-Karlsson. 2003. Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet. Techical Report. In series: CUL-rapporter #2003:5. Linköping University Electronic Press. 56 pages.
[24]		Patrick Doherty, A Skowron, Witold Lukaszewicz and Andrzej Szalas. 2003. 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR).
2001
[23]		Ewa Orlowska and Andrzej Szalas. 2001. Relational Methods for Computer Science Applications. In series: Studies in Fuziness and Soft Computing #??. Springer Physica Verlag. 297 pages. ISBN: 978-37-9081-365-4.
2000
[22]		Erik Johan Sandewall. 2000. M. Shanahan, Solving the Frame Problem. Artificial Intelligence, 123(1-2):271–273. DOI: 10.1016/S0004-3702(00)00058-8.
1999
[21]		Thord Andersson, Silvia Coradeschi and Alessandro Saffiotti. 1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Techical Report. Linköping University, Department of Electrical Engineering.
1998
[20]		Patrick Doherty and Joakim Gustafsson. 1998. Delayed effects of actions = direct effects + causal rules. Techical Report. In series: Linköping Electronic Articles in Computer and Information Science #98-001. Linköping University Electronic Press.
1997
[19]		Erik Sandewall. 1997. Strategies and policies of Linköping University Electronic Press. Techical Report. In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol. 1. Linköping University Electronic Press. 15 pages.
[18]		Erik Sandewall. 1997. A Neo-Classical Structure for Scientific Publication and Reviewing. Techical Report. In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol, 2. Linköping University Electronic Press. 28 pages.
1996
[17]		Wojciech Penczek and Andrzej Szalas. 1996. Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS). Conference Proceedings. In series: Lecture Notes in Computer Science #1113. Springer Verlag. ISBN: 978-3-540-61550-7.
[16]		Patrick Doherty. 1996. PMON+: A fluent logic for action and change - formal specification, version 1.0. Techical Report. In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University.
[15]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. Declarative ptime queries to relational databases. Techical Report. In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University.
[14]		John-Jules Meyer and Patrick Doherty. 1996. Preferential action semantics, preliminary report. Techical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University.
[13]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996. General domain circumscription and its first-order reduction. Techical Report. In series: LITH-IDA-R #1. Department of Computer and Information Science, Linköping University.
1995
[12]		Leonard Bolc and Andrzej Szalas. 1995. Time and Logic: A Computational Approach. CRC Press. 325 pages. ISBN: 978-18-5728-233-7.
[11]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1995. A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae. Techical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University.
1994
[10]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1994. Computing circumscription revisited: A reduction algorithm. Techical Report. In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Linköping University.
[9]		Patrick Doherty. 1994. Notes on PMON circumscription. Techical Report. In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University.
1992
[8]		Patrick Doherty and Witold Lukaszewicz. 1992. FONML3 - A first-order non-monotonic logic with explicit defaults. Techical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University.
[7]		Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 1992. Fuzzy if-then-unless rules and their implementation. Techical Report. In series: LITH-IDA-R #21. Department of Computer and Information Science, Linköping University.
[6]		Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992. Partiality, para-consistency and preference modeling: Preliminary version. Techical Report. In series: LITH-IDA-R #18. Department of Computer and Information Systems, Linköping University.
[5]		Patrick Doherty. 1992. A constraint-based approach to proof procedures for multi-valed logics. Techical Report. In series: LITH-IDA-R #2. Department of Computer and Information Science, Linköping university, Linköping, Sweden.
1991
[4]		Patrick Doherty and Witold Lukaszewicz. 1991. NML3 - A non-monotonic logic with explicit defaults. Techical Report. In series: Användarrapport #13. Department of Computer and Information Science, Linköping University.
1990
[3]		Patrick Doherty. 1990. NM3 - A three-valued non-monotonic formalism. Preliminary report. Techical Report. In series: LITH-IDA-R #44. Department of Computer and Information Science, Linköping University.
[2]		Patrick Doherty. 1990. A correspondence between inheritance hierarchies and a logic of preferential entailment. Techical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University.
1985
[1]		Patrick Doherty. 1985. A rule interpreter for an emycin-like expert system tool. Techical Report. In series: Aslab Memo #85-05. Linköpings tekniska högskola.

Responsible for this page: AIICS Publications

Last updated:

Org.nr: 202100-3096
VAT nr: SE202100309601
Plusgiro: 18 34 15-9

Department of Computer and Information Science
Link�ping University
SE-581 83 LINK�PING, SWEDEN
Tel: +46 13 28 10 00
Fax: +46 13 14 22 31