Hide menu

AIICS Publications: Other Publications

Show abstracts (where available) BibTeX entries
2012
[41] 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.
[40] 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.
Link to journal: http://www.iee-online.de/2012/
[39] 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.
Link to journal: http://www.iee-online.de/2012/
[38] 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
[37] 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
[36] Anna Pernestål, Mattias Nyberg and Håkan Warnquist. 2009.
Modeling and Efficient Inference for Troubleshooting Automotive Systems.
Technical Report. In series: LiTH-ISY-R #2921. Linköpings universitet.
[35] Oleg Burdakov, Kaj Holmberg, Patrick Doherty and Per-Magnus Olsson. 2009.
Optimal placement of communications relay nodes.
Technical Report. In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages.
[34] Full text  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.
Link to Book: http://www.ep.liu.se/ecp/035/
2008
[33] Rickard Karlsson, Thomas Schön, David Törnqvist, Gianpolo Conte and Fredrik Gustafsson. 2008.
Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application.
Technical Report. In series: LiTH-ISY-R #2836. Linköping University Electronic Press. 10 pages.
[32] 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.
[31] 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.
Technical Report. In series: Report / Department of Mathematics, Universitetet i Linköping, Tekniska högskolan #2008:7. Linköping University Electronic Press. 30 pages.
2007
[30] Mariusz Wzorek and Patrick Doherty. 2007.
A framework for reconfigurable path planning for autonomous unmanned aerial vehicles.
Manuscript (preprint).
2006
[29] 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
[28] 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
[27] Erik Johan Sandewall. 2005.
Leonardo, an Approach towards the Consolidation of Computer Software System.

Note: Research Article, CAISOR Archival Website, Number 2005-016
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] Full text  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.
Technical 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: 37-9081-365-6, 978-37-9081-365-4.
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=37-9081...
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] Full text  Thord Andersson, Silvia Coradeschi and Alessandro Saffiotti. 1999.
Fuzzy matching of visual cues in an unmanned airborne vehicle.
Technical Report. Linköping University, Department of Electrical Engineering.
1998
[20] Full text  Patrick Doherty and Joakim Gustafsson. 1998.
Delayed effects of actions = direct effects + causal rules.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #98-001. Linköping University Electronic Press.
Link: http://www.ep.liu.se/ea/cis/1998/001/
1997
[19] Full text  Erik Sandewall. 1997.
Strategies and policies of Linköping University Electronic Press.
Technical Report. In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol. 1. Linköping University Electronic Press. 15 pages.
[18] Full text  Erik Sandewall. 1997.
A Neo-Classical Structure for Scientific Publication and Reviewing.
Technical 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.
Link: http://www.springer.com/computer/foundat...
[16] Full text  Patrick Doherty. 1996.
PMON+: A fluent logic for action and change - formal specification, version 1.0.
Technical Report. In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University.
[15] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
Declarative ptime queries to relational databases.
Technical Report. In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University.
[14] Full text  John-Jules Meyer and Patrick Doherty. 1996.
Preferential action semantics, preliminary report.
Technical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University.
[13] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
General domain circumscription and its first-order reduction.
Technical 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: 1-85728-233-7, 978-18-5728-233-7.
Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q= ...
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q= 978-18...
[11] Full text  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.
Technical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University.
1994
[10] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1994.
Computing circumscription revisited: A reduction algorithm.
Technical 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.
Technical 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.
Technical 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.
Technical 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.
Technical 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-valued logics.
Technical 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.
Technical 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.
Technical 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.
Technical 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.
Technical Report. In series: Aslab Memo #85-05. Linköpings tekniska högskola.

Page responsible: Patrick Doherty
Last updated: 2014-04-30