Hide menu

AIICS Publications: Other Publications

Show abstracts (where available) BibTeX entries
2025
[68] Michelle Kornherr, Augusto B. Corrêa, Sarah Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes Klaus Fichte and Daniel Gnad. 2025.
Graphical Navigation in Solution Spaces using PlanPilot.
Technical Report.
Note: System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling).
2024
[67] Per Nilsen, David Sundemo, Fredrik Heintz, Margit Neher, Jens Nygren, Petra Svedberg and Lena Petersson. 2024.
Towards evidence-based practice 2.0: leveraging artificial intelligence in healthcare.
Frontiers in Health Services, 4(??):??–??. FRONTIERS MEDIA SA.
DOI: 10.3389/frhs.2024.1368030.
fulltext:print: https://liu.diva-portal.org/smash/get/di...
[66] Katarina Sperling, Carl-Johan Stenberg, Cormac Mcgrath, Anna Akerfeldt, Fredrik Heintz and Linnéa Stenliden. 2024.
In search of artificial intelligence (AI) literacy in teacher education: A scoping review.
COMPUTERS AND EDUCATION OPEN, 6(??):??–??. ELSEVIER.
DOI: 10.1016/j.caeo.2024.100169.
Fulltext: https://doi.org/10.1016/j.caeo.2024.1001...
fulltext:print: https://liu.diva-portal.org/smash/get/di...
2023
[65] Cyrille Berger and Simon Lacroix. 2023.
DSeg: Direct Line Segments Detection.
Technical Report. 37 pages.
DOI: 10.48550/arXiv.2311.18344.
2021
[64] Linda Mannila. 2021.
Digital kompetens i Svenskfinland: nulägesanalys och goda modeller.
Technical Report. Svenska kulturfonden. 138 pages.
Report: https://www.kulturfonden.fi/wp-content/u...
2020
[63] Per-Magnus Olsson and Kaj Holmberg. 2020.
Exploiting parallelization and synergy in derivative free optimization.
Technical Report. In series: LiTH-MAT-R #2020:4. Linköping University Electronic Press. 18 pages.
2018
[62] Tom Ziemke, Mattias Arvola, Nils Dahlbäck and Erik Billing. 2018.
Proceedings of the 14th SweCog Conference: Linköping 2018, 11-12 October.
Conference Proceedings. In series: Skövde University Studies in Informatics #2018:1. University of Skövde. 30 pages. ISBN: 9789198366730.
2014
[61] Full text  Oleg Burdakov, Patrick Doherty and Jonas Kvarnström. 2014.
Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles.
Technical Report. In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages.
[60] Full text  Oleg Burdakov, Patrick Doherty and Jonas Kvarnström. 2014.
Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance.
Technical Report. In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages.
2012
[59] 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.
[58] 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/
[57] 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/
[56] Full text  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||
fulltext:print: https://liu.diva-portal.org/smash/get/di...
2011
[55] 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
[54] 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.
[53] 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.
[52] 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
[51] Full text  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.
[50] Full text  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.
[49] 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
[48] Mariusz Wzorek and Patrick Doherty. 2007.
A framework for reconfigurable path planning for autonomous unmanned aerial vehicles.
Manuscript (preprint).
2006
[47] 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
[46] 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
[45] Erik Johan Sandewall. 2005.
Leonardo, an Approach towards the Consolidation of Computer Software System.

Note: Research Article, CAISOR Archival Website, Number 2005-016
2003
[44] 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
[43] 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.
2001
[42] Erik Johan Sandewall. 2001.
On the Design of Software Individuals.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.6:22. Linköping University Electronic Press. 15 (original publication), 16 (revised version) pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/gxc34zhpdm10g06...
[41] 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: 3790813656, 9783790813654.
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=37-9081...
2000
[40] 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
[39] Erik Skarman. 1999.
A helicopter control system.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:15. Linköping University Electronic Press. 18 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693
[38] Erik Skarman. 1999.
A helicopter model.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:14. Linköping University Electronic Press. 18 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963712
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109249
[37] Erik Skarman. 1999.
An aircraft model.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:13. Linköping University Electronic Press. 35 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963701
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109237
[36] Silvia Coradeschi and Alessandro Saffiotti. 1999.
Anchoring symbolic object descriptions to sensor data. Problem statement.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:9. Linköping University Electronic Press. 11 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962252
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109190
[35] Full text  Thord Andersson, Silvia Coradeschi and Alessandro Saffiotti. 1999.
Fuzzy matching of visual cues in an unmanned airborne vehicle.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:8. Linköping University Electronic Press. 12 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962239
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109181
[34] Full text  Fredrik Tjärnström, Mattias Duppils, Patrik Haslum, David Byers, Gundars Kulups and Dan Lawesson. 1999.
ENSYM-Project Oriented Studies of spring 98 - team 1.
Technical Report. In series: LiTH-ISY-R #2094. Linköping University Electronic Press. 14 pages.
[33] 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
[32] Erik Johan Sandewall. 1998.
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:17. Linköping University Electronic Press. Original 21, Revised 21 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/jzb0c3l2g7f05sf...
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3030557
[31] Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström. 1998.
TAL: Temporal Action Logics Language <> Specification and Tutorial.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158
[30] 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 #Vol.3:1. Linköping University Electronic Press. 9 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477675
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010273
[29] 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
[28] Patrick Doherty. 1997.
PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:20. Linköping University Electronic Press. 47 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477127
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010283
[27] Erik Sandewall. 1997.
Logic-Based Modelling of Goal-Directed Behavior.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:19. Linköping University Electronic Press. 21, 1st and 2nd Revised 19 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477110
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011582
[26] Patrick Doherty and Jonas Kvarnström. 1997.
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611
[25] Lars Karlsson and Joakim Gustafsson. 1997.
Reasoning about actions in a multi-agent environment.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:14. Linköping University Electronic Press. 22 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2357998
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011635
[24] Silvia Coradeschi and Lars Karlsson. 1997.
A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol. 2:1. Linköping University Electronic Press. 10 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274682
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3036040
[23] 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
[22] Erik Johan Sandewall. 1996.
Towards the validation of high-level action descriptions from their low-level definitions.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:4. Linköping University Electronic Press. 18 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274702
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293635
[21] Erik Sandewall. 1996.
Assessments of Ramification Methods that Use Static Domain Constraints.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:3. Linköping University Electronic Press. 19 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274697
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293595
[20] Erik Sandewall. 1996.
Underlying Semantics for Action and Change with Ramification.
Technical Report. In series: Linköping Electronic Articles in Computer and Information Science #2. Linköping University Electronic Press. 28 pages.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/9q3rfb1t7p64m0p...
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293578
[19] 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...
[18] Erik Sandewall. 1996.
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.
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/22430103
Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293652
[17] 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.
[16] 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.
[15] 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.
[14] 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
[13] 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...
[12] 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
[11] 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.
[10] 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
[9] 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.
[8] 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.
[7] 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.
[6] 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
[5] 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
[4] 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.
[3] 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
[2] 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.
0
[1] Mariusz Wzorek, Cyrille Berger and Patrick Doherty. 0.
Polygon Area Decomposition Using a Compactness Metric.
Manuscript (preprint).
Note: Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic ResearchSwedish Foundation for Strategic Research [RIT 15-0097]; Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation.
arXiv: https://arxiv.org/abs/2110.04043

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