Hide menu

AIICS Publications: Journal Publications

Show abstracts (where available) BibTeX entries
2022
[138] Peter Vamplew, Benjamin J. Smith, Johan Källström, Gabriel Ramos, Roxana R?dulescu, Diederik M. Roijers, Conor F. Hayes, Fredrik Heintz, Patrick Mannion, Pieter J. K. Libin, Richard Dazeley and Cameron Foale. 2022.
Scalar reward is not enough: a response to Silver, Singh, Precup and Sutton (2021).
Autonomous Agents and Multi-Agent Systems, 36(2):????. Springer.
DOI: 10.1007/s10458-022-09575-5.
Link: https://doi.org/10.1007/s10458-022-09575...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[137] Patrick Doherty and Andrzej Szalas. 2022.
A landscape and implementation framework for probabilistic rough sets using PROBLOG.
Information Sciences, 593(??):546–576. Elsevier Science Inc.
DOI: 10.1016/j.ins.2021.12.062.
Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF [RIT15-0097]; Guangdong Department of Science and Technology, China [2020A1313030098]; National Science Centre Poland [2017/27/B/ST6/02018]
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[136] Finn Rietz, Sven Magg, Fredrik Heintz, Todor Stoyanov, Stefan Wermter and Johannes A. Stork. 2022.
Hierarchical goals contextualize local reward decomposition explanations.
Neural Computing & Applications, ??(??):????. Springer London Ltd.
DOI: 10.1007/s00521-022-07280-8.
Publication status: Epub ahead of print
Note: Funding Agencies|Orebro University; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Federal Ministry for Economic Affairs and Climate [FKZ 20X1905A-D]
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[135] Conor F. Hayes, Roxana R?dulescu, Eugenio Bargiacchi, Johan Källström, Matthew Macfarlane, Mathieu Reymond, Timothy Verstraeten, Luisa M. Zintgraf, Richard Dazeley, Fredrik Heintz, Enda Howley, Athirai A. Irissappane, Patrick Mannion, Ann Nowé, Gabriel Ramos, Marcello Restelli, Peter Vamplew and Diederik M. Roijers. 2022.
A practical guide to multi-objective reinforcement learning and planning.
Autonomous Agents and Multi-Agent Systems, 36(1):????. Springer.
DOI: 10.1007/s10458-022-09552-y.
Note: Funding: Fonds voor Wetenschappelijk Onderzoek (FWO)FWO [1SA2820N]; Flemish GovernmentEuropean Commission; FWOFWO [iBOF/21/027]; National University of Ireland Galway Hardiman Scholarship; FAPERGSFundacao de Amparo a Ciencia e Tecnologia do Estado do Rio Grande do Sul (FAPERGS) [19/2551-0001277-2]; FAPESPFundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP) [2020/05165-1]; Swedish Governmental Agency for Innovation SystemsVinnova [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; LIFT - Dutch Research Council (NWO) [019.011]; 2017 Microsoft Research PhD Scholarship Program; 2020 Microsoft Research EMEA PhD Award
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[134] Edward Curry, Fredrik Heintz, Morten Irgens, Arnold W. M. Smeulders and Stefano Stramigioli. 2022.
Partnership on AI, Data, and Robotics.
Communications of the ACM, 65(4):54–55. ASSOC COMPUTING MACHINERY.
DOI: 10.1145/3513000.
[133] Johan Källström, R. Granlund and Fredrik Heintz. 2022.
Design of simulation-based pilot training systems using machine learning agents.
Aeronautical Journal, ??(??):????. Cambridge University Press.
DOI: 10.1017/aer.2022.8.
Publication status: Epub ahead of print
Note: Funding Agencies|Swedish Governmental Agency for Innovation SystemsVinnova [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research CouncilSwedish Research CouncilEuropean Commission [2020/5-230]
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[132] Marco Kuhlmann, Andreas Maletti and Lena Katharina Schiffer. 2022.
The tree-generative capacity of combinatory categorial grammars.
Journal of computer and system sciences (Print), 124(??):214–233. Academic Press Ltd - Elsevier Science Ltd.
DOI: 10.1016/j.jcss.2021.10.005.
Note: Funding Agencies|Centre for Industrial IT (CENIIT) [15.02]; German Research Foundation (DFG) Research Training Group GRK 1763 Quantitative Logics and AutomataGerman Research Foundation (DFG)
fulltext:print: http://liu.diva-portal.org/smash/get/div...
2021
[131] Ali Basirat, Marc Allassonniere-Tang and Aleksandrs Berdicevskis. 2021.
An empirical study on the contribution of formal and semantic features to the grammatical gender of nouns.
Linguistics Vanguard, 7(1):????. WALTER DE GRUYTER GMBH.
DOI: 10.1515/lingvan-2020-0048.
Note: Funding Agencies|IDEXLYON Fellowship Grant [16-IDEX-0005]; University of Lyon Grant NSCO ED 476 [ANR-10-LABX-0081]; French National Research AgencyFrench National Research Agency (ANR) [ANR-11-IDEX-0007]
[130] Filip Strömbäck, Linda Mannila and Mariam KAMKAR. 2021.
The Non-Deterministic Path to Concurrency ? Exploring how Students Understand the Abstractions of Concurrency.
Informatics in Education. An International Journal, 20(4):683–715. Vilnius University Press.
DOI: 10.15388/infedu.2021.29.
Fulltext: https://doi.org/10.15388/infedu.2021.29
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[129] Pontus Haglund, Filip Strömbäck and Linda Mannila. 2021.
Understanding Students? Failure to use Functions as a Tool for Abstraction ? An Analysis of Questionnaire Responses and Lab Assignments in a CS1 Python Course.
Informatics in Education. An International Journal, 20(4):583–614. Vilnius University Press.
DOI: 10.15388/infedu.2021.26.
Fulltext: https://doi.org/10.15388/infedu.2021.26
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[128] Gerald Steinbauer, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig. 2021.
Education in Artificial Intelligence K-12.
Künstliche Intelligenz, 35(2):127–129. Springer.
DOI: 10.1007/s13218-021-00734-6.
Note: Funding Agencies: Graz University of Technology
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[127] Jonas Lundberg, Mattias Arvola and Karljohan Lundin Palmerius. 2021.
Human Autonomy in Future Drone Traffic: Joint Human-AI Control in Temporal Cognitive Work.
Frontiers in Artificial Intelligence, 4(??):????. Frontiers Media S.A..
DOI: 10.3389/frai.2021.704082.
Note: Funding: Swedish Transport Administration
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[126] Erik Sandewall. 2021.
Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs.
International Journal of Social Robotics, 13(4):557–567. Springer.
DOI: 10.1007/s12369-019-00540-z.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[125] Fredrik Heintz. 2021.
Three Interviews About K-12 AI Education in America, Europe, and Singapore.
Künstliche Intelligenz, ??(??):????. SPRINGER HEIDELBERG.
DOI: 10.1007/s13218-021-00730-w.
Publication status: Epub ahead of print
[124] Gerald Steinbauer, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven Koenig. 2021.
A Differentiated Discussion About AI Education K-12.
Künstliche Intelligenz, 35(2):131–137. Springer Nature.
DOI: 10.1007/s13218-021-00724-8.
Note: Funding Agencies|Graz University of Technology
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[123] Full text  Mattias Tiger, David Bergström, Andreas Norrstig and Fredrik Heintz. 2021.
Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning.
IEEE Robotics and Automation Letters, 6(3):4385–4392. Institute of Electrical and Electronics Engineers (IEEE).
DOI: 10.1109/LRA.2021.3068550.
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; National Graduate School in Computer Science (CUGS), Sweden; Excellence Center at Linkoping-Lund for Information Technology (ELLIIT); TAILOR Project - EU Horizon 2020 research and innovation programme [952215]; Knut and Alice Wallenberg FoundationKnut & Alice Wallenberg Foundation [KAW 2019.0350]
Fulltext: https://doi.org/10.1109/LRA.2021.3068550
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[122] Full text  Susanne Kjallander, Linda Mannila, Anna Akerfeldt and Fredrik Heintz. 2021.
Elementary Students First Approach to Computational Thinking and Programming.
Education Sciences, 11(2):????. MDPI.
DOI: 10.3390/educsci11020080.
Note: Funding Agencies|Marcus and Amalia Wallenberg Foundation [MAW 2017.0096]
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[121] Patrick Doherty and Andrzej Szalas. 2021.
Rough set reasoning using answer set programs.
International Journal of Approximate Reasoning, 130(March):126–149. Elsevier.
DOI: 10.1016/j.ijar.2020.12.010.
Note: Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018]
Fulltext: https://doi.org/10.1016/j.ijar.2020.12.0...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
2020
[120] Jendrik Seipp, Thomas Keller and Malte Helmert. 2020.
Saturated Cost Partitioning for Optimal Classical Planning.
The journal of artificial intelligence research, 67(??):129–167. A A A I Press.
DOI: 10.1613/jair.1.11673.
Fulltext: https://doi.org/10.1613/jair.1.11673
Link: https://doi.org/10.1613/jair.1.11673
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[119] Full text  Fredrik Präntare and Fredrik Heintz. 2020.
An anytime algorithm for optimal simultaneous coalition structure generation and assignment.
Autonomous Agents and Multi-Agent Systems, 34(29):????. Springer-Verlag New York.
DOI: 10.1007/s10458-020-09450-1.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[118] Andrzej Szalas. 2020.
On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More.
Journal of Multiple-Valued Logic and Soft Computing, 34(5-6):423–450. Old City Publishing.
Note: Funding agencies:  National Science Centre PolandNational Science Center, PolandNational Science Centre, Poland [2017/27/B/ST6/02018]
Journal home page: https://www.oldcitypublishing.com/journa...
[117] Andrzej Szalas. 2020.
A Paraconsistent ASP-like Language with Tractable Model Generation.
Journal of Applied Logics - IfCoLog Journal of Logic and Applications, 7(3):361–389. College Publications.
Note: Funding agencies: This work has been supported by grant 2017/27/B/ST6/02018 of the National Science Centre Poland.
Link to article: http://www.collegepublications.co.uk/dow...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[116] Jonas Lundberg and Björn Johansson. 2020.
A framework for describing interaction between human operators and autonomous, automated, and manual control systems.
Cognition, Technology & Work, ??(??):????. SPRINGER LONDON LTD.
DOI: 10.1007/s10111-020-00637-w.
Publication status: Epub ahead of print
Note: Funding Agencies|Linkoping University - Swedish Transport Administration; Air Navigation Services of Sweden
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[115] Full text  Fredrik Präntare and Fredrik Heintz. 2020.
An anytime algorithm for optimal simultaneous coalition structure generation and assignment.
Autonomous Agents and Multi-Agent Systems, 34(1):????. SPRINGER.
DOI: 10.1007/s10458-020-09450-1.
Note: Funding Agencies|Linkoping University; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[114] Full text  Mattias Tiger and Fredrik Heintz. 2020.
Incremental Reasoning in Probabilistic Signal Temporal Logic.
International Journal of Approximate Reasoning, 119(??):325–352. Elsevier.
DOI: 10.1016/j.ijar.2020.01.009.
Note: Funding agencies: National Graduate School in Computer Science, Sweden (CUGS); Swedish Research Council (VR) Linnaeus Center CADICSSwedish Research Council; ELLIIT Excellence Center at Linkoping-Lund for Information Technology; Wallenberg AI, Autonomous Systems and Softwar
Fulltext: https://doi.org/10.1016/j.ijar.2020.01.0...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
2019
[113] Lukasz Bialek, Barbara Dunin-Keplicz and Andrzej Szalas. 2019.
A paraconsistent approach to actions in informationally complex environments.
Annals of Mathematics and Artificial Intelligence, 86(4):231–255. SPRINGER.
DOI: 10.1007/s10472-019-09627-9.
Note: Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT Network Organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project)
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[112] Jacek Szklarski, Lukasz Bialek and Andrzej Szalas. 2019.
Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 27(3):429–455. WORLD SCIENTIFIC PUBL CO PTE LTD.
DOI: 10.1142/S021848851950020X.
Note: Funding Agencies|Polish National Science Centre [2012/05/B/ST6/03094, 2015/19/B/ST6/02589]
[111] Daniele DellAglio, Thomas Eiter, Fredrik Heintz and Danh Le-Phuoc. 2019.
Special issue on stream reasoning.
Semantic Web, 10(3):453–455. IOS PRESS.
DOI: 10.3233/SW-190351.
[110] Full text  Magnus Selin, Mattias Tiger, Daniel Duberg, Fredrik Heintz and Patric Jensfelt. 2019.
Efficient Autonomous Exploration Planning of Large Scale 3D-Environments.
IEEE Robotics and Automation Letters, 4(2):1699–1706. Institute of Electrical and Electronics Engineers (IEEE).
DOI: 10.1109/LRA.2019.2897343.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2018
[109] Francesco Luca De Angelis, Giovanna Di Marzo Serugendo and Andrzej Szalas. 2018.
Paraconsistent Rule-Based Reasoning with Graded Truth Values.
, 5(1):185–220. College Publications.
Link: http://www.collegepublications.co.uk/dow...
[108] Alexander Kleiner. 2018.
The Low-Cost Evolution of AI in Domestic Floor Cleaning Robots.
The AI Magazine, 39(2):89–90. AMER ASSOC ARTIFICIAL INTELL.
DOI: 10.1609/aimag.v39i2.2806.
2017
[107] Full text  Oleg Burdakov, Jonas Kvarnström and Patrick Doherty. 2017.
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles.
Annals of Operations Research, 249(1):163–174. Springer.
DOI: 10.1007/s10479-016-2169-5.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2016
[106] Full text  Mehul Bhatt, Esra Erdem, Fredrik Heintz and Michael Spranger. 2016.
Cognitive robotics in JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, vol 28, issue 5, pp 779-780.
Journal of experimental and theoretical artificial intelligence (Print), 28(5):779–780. TAYLOR & FRANCIS LTD.
DOI: 10.1080/0952813X.2016.1218649.
[105] Alexander Kleiner, Fredrik Heintz and Satoshi Tadokoro. 2016.
Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 2.
Journal of Field Robotics, 33(4):409–410. WILEY-BLACKWELL.
DOI: 10.1002/rob.21661.
[104] Alexander Kleiner, Fredrik Heintz and Satoshi Tadokoro. 2016.
Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 1.
Journal of Field Robotics, 33(3):263–264. WILEY-BLACKWELL.
DOI: 10.1002/rob.21653.
[103] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2016.
Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification.
Acta Informatica, 53(6-8):723–752. Springer Publishing Company.
DOI: 10.1007/s00236-015-0248-8.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[102] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2016.
A Modeling Framework for Troubleshooting Automotive Systems.
Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis.
DOI: 10.1080/08839514.2016.1156955.
Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2015
[101] Daniel de Leng. 2015.
Querying Flying Robots and Other Things: Ontology-supported stream reasoning.
, 22(2):44–47. Association for Computing Machinery (ACM).
Note: DOI does not work: 10.1145/2845155
Link to publication: http://xrds.acm.org/article.cfm?aid=2845...
[100] Linh Anh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szalas. 2015.
Towards richer rule languages with polynomial data complexity for the Semantic Web.
Data & Knowledge Engineering, 96-97(??):57–77. ELSEVIER SCIENCE BV.
DOI: 10.1016/j.datak.2015.04.005.
[99] Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas and Rineke Verbrugge. 2015.
Paraconsistent semantics of speech acts.
Neurocomputing, 151(2):943–952. Elsevier.
DOI: 10.1016/j.neucom.2014.10.001.
2014
[98] Håkan Warnquist, Mattias Nyberg and Jonas Biteus. 2014.
Guided Integrated Remote and Workshop Troubleshooting of Heavy Trucks.
International Journal of Commercial Vehicles, 7(1):25–36. SAE International.
DOI: 10.4271/2014-01-0284.
[97] Linh Anh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szalas. 2014.
A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse.
VNU Journal of Computer Science and Communication Engineering, 30(4):14–28.
Link to publication: http://www.jcsce.vnu.edu.vn/index.php/jc...
[96] Full text  Gianpaolo Conte, Piotr Rudol and Patrick Doherty. 2014.
Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications: [Bewertung eines Lidar-systems mit geringem Gewicht und eines photogrammetrischen Systems für Anwendungen auf einem UAV].
Photogrammetrie - Fernerkundung - Geoinformation, ??(4):287–298. E. Schweizerbart'sche Verlagsbuchhandlung.
DOI: 10.1127/1432-8364/2014/0223.
Link to article: http://www.ingentaconnect.com/content/sc...
[95] Son Thanh Cao, Linh Anh Nguyen and Andrzej Szalas. 2014.
WORL: a nonmonotonic rule language for the semantic web.
, 1(1):57–69. Springer Berlin/Heidelberg.
DOI: 10.1007/s40595-013-0009-y.
[94] Erik Sandewall. 2014.
Editorial Material: A perspective on the early history of artificial intelligence in Europe.
AI Communications, 27(1):81–86. IOS Press.
DOI: 10.3233/AIC-130585.
[93] Gurkan Tuna, Bilel Nefzi and Gianpaolo Conte. 2014.
Unmanned aerial vehicle-aided communications system for disaster recovery.
Journal of Network and Computer Applications, 41(??):27–36. Elsevier.
DOI: 10.1016/j.jnca.2013.10.002.
2013
[92] Patrick Doherty and Andrzej Szalas. 2013.
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.
Fundamenta Informaticae, 127(1-4):135–149. IOS Press.
DOI: 10.3233/FI-2013-900.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||
[91] Andrzej Szalas. 2013.
How an agent might think.
Logic journal of the IGPL (Print), 21(3):515–535. Oxford University Press (OUP): Policy A - Oxford Open Option A.
DOI: 10.1093/jigpal/jzs051.
[90] Full text  Cyrille Berger. 2013.
Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR.
Journal of Automation, Mobile Robotics & Intelligent Systems, 7(1):35–41.
Link to article: http://www.jamris.org/archive.php
[89] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnström. 2013.
High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation.
Unmanned Systems, 1(1):75–119. World Scientific.
DOI: 10.1142/S2301385013500052.
[88] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2013.
Stream-Based Hierarchical Anchoring.
Künstliche Intelligenz, 27(2):119–128. Springer.
DOI: 10.1007/s13218-013-0239-2.
[87] H. Levent Akin, Nobuhiro Ito, Adam Jacoff, Alexander Kleiner, Johannes Pellenz and Arnoud Visser. 2013.
RoboCup Rescue Robot and Simulation Leagues.
The AI Magazine, 34(1):????. AAAI Press.
Link to journal: http://www.aaai.org/ojs/index.php/aimaga...
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[86] Full text  Quirin Hamp, Omar Gorgis, Patrick Labenda, Marc Neumann, Thomas Predki, Leif Heckes, Alexander Kleiner and Leonard Reindl. 2013.
Study of efficiency of USAR operations with assistive technologies.
Advanced Robotics, 27(5):337–350.
DOI: 10.1080/01691864.2013.763723.
Note: Funding Agencies|German Federal Ministry of Education and Research|13N9759|German Federal Agency for Technical Relief (THW)||RIF e.V.||JT-electronic GmbH||carat robotic innovation GmbH||Berlin- Oberspree Sondermaschinenbau GmbH (BOS)||SEEBA||
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[85] Full text  C. Dornhege and Alexander Kleiner. 2013.
A Frontier-Void-Based Approach for Autonomous Exploration in 3D.
Advanced Robotics, 27(6):459–468. Taylor and Francis.
DOI: 10.1080/01691864.2013.763720.
Note: Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8|
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2012
[84] Anna Pernestål, Mattias Nyberg and Håkan Warnquist. 2012.
Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system.
Engineering applications of artificial intelligence, 25(4):705–719. Elsevier.
DOI: 10.1016/j.engappai.2011.02.018.
2011
[83] Full text  Teresa Vidal-Calleja, Cyrille Berger, Joan Solà and Simon Lacroix. 2011.
Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain.
Robotics and Autonomous Systems, 59(9):654–674. Elsevier.
DOI: 10.1016/j.robot.2011.05.008.
[82] Barbara Dunin-Keplicz, Anh Linh Nguyen and Andrzej Szalas. 2011.
Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics.
Journal of Applied Non-Classical Logics, 21(1):61–91. Lavoisier.
DOI: 10.3166/JANCL.21.61-91.
[81] Linh Anh Nguyen and Andrzej Szalas. 2011.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.
Studia Logica: An International Journal for Symbolic Logic, 98(3):387–428. Springer Berlin/Heidelberg.
DOI: 10.1007/s11225-011-9341-3.
[80] Jan Maluszynski and Andrzej Szalas. 2011.
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation.
Journal of Applied Non-Classical Logics, 21(2):211–232. Lavoisier.
DOI: 10.3166/JANCL.21.211-232.
[79] Mark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas Fisher, Nancy Green, Knut Hinkelmann, James McLurkin, Mary Lou Maher, Rajiv Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan Shell, Pedro Szekely, Barbara Thoenssen and Arnold B Urken. 2011.
Reports of the AAAI 2011 Spring Symposia.
The AI Magazine, 32(3):119–127. AAAI Press.
[78] Full text  Erik Sandewall. 2011.
From systems to logic in the early development of nonmonotonic reasoning.
Artificial Intelligence, 175(1):416–427. Elsevier.
DOI: 10.1016/j.artint.2010.04.013.
2010
[77] Full text  Erik Sandewall. 2010.
Exercising Moral Copyright for Evolving Publications.
ScieCom Info, 6(3):????. Svenskt Resurscentrum för Vetenskaplig Kommunikation.
Link: http://www.sciecom.org/ojs/index.php/sci...
[76] Anh Linh Nguyen and Andrzej Szalas. 2010.
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH.
Transactions on Computational Collective Intelligence, 1(1):21–38. Springer. ISBN: 978-3-642-15033-3.
DOI: 10.1007/978-3-642-15034-0_2.
[75] Full text  Erik Sandewall. 2010.
Defeasible inheritance with doubt index and its axiomatic characterization.
Artificial Intelligence, 174(18):1431–1459. Elsevier.
DOI: 10.1016/j.artint.2010.09.001.
[74] Linh Anh Nguyen and Andrzej Szalas. 2010.
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.
Fundamenta Informaticae, 102(1):97–113. IOS Press.
DOI: 10.3233/FI-2010-299.
[73] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson. 2010.
Optimal placement of UV-based communications relay nodes.
Journal of Global Optimization, 48(4):511–531. Springer.
DOI: 10.1007/s10898-010-9526-8.
Note: The original publication is available at www.springerlink.com:Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science Business Mediahttp://www.springerlink.com/
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[72] Full text  Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk. 2010.
FlexDx: A Reconfigurable Diagnosis Framework.
Engineering applications of artificial intelligence, 23(8):1303–1313. Elsevier.
DOI: 10.1016/j.engappai.2010.01.004.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[71] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
A Framework for Graded Beliefs, Goals and Intentions.
Fundamenta Informaticae, 100(1-4):53–76. IOS Press.
DOI: 10.3233/FI-2010-263.
[70] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
A Layered Rule-Based Architecture for Approximate Knowledge Fusion.
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 7(3):617–642. COMSIS CONSORTIUM.
DOI: 10.2298/CSIS100209015D.
[69] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010.
Relay Positioning for Unmanned Aerial Vehicle Surveillance.
The international journal of robotics research, 29(8):1069–1087. Sage Publications.
DOI: 10.1177/0278364910369463.
[68] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2010.
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.
International Journal of Approximate Reasoning, 51(3):346–362. Elsevier.
DOI: 10.1016/j.ijar.2009.11.002.
[67] Karolina Eliasson. 2010.
A case-based approach to dialogue systems.
Journal of experimental and theoretical artificial intelligence (Print), 22(1):23–51. Taylor & Francis.
DOI: 10.1080/09528130902723708.
[66] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing.
Advanced Engineering Informatics, 24(1):14–26. Elsevier.
DOI: 10.1016/j.aei.2009.08.007.
2009
[65] Dov Gabbay and Andrzej Szalas. 2009.
Annotation Theories over Finite Graphs.
Studia Logica: An International Journal for Symbolic Logic, 93(2-3):147–180. Springer.
DOI: 10.1007/s11225-009-9220-3.
[64] Aida Vitoria, Jan Maluszynski and Andrzej Szalas. 2009.
Modelling and Reasoning with Paraconsistent Rough Sets.
Fundamenta Informaticae, 97(4):405–438.
DOI: 10.3233/FI-2009-209.
[63] Full text  Patrick Doherty, Jonas Kvarnström and Fredrik Heintz. 2009.
A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems.
Autonomous Agents and Multi-Agent Systems, 19(3):332–377. Springer.
DOI: 10.1007/s10458-009-9079-8.
[62] Andrzej Szalas and Dov Gabbay. 2009.
Voting by Eliminating Quantifiers.
Studia Logica: An International Journal for Symbolic Logic, 92(3):365–379. Springer.
DOI: 10.1007/s11225-009-9200-7.
[61] Full text  Gianpaolo Conte and Patrick Doherty. 2009.
Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information.
EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation.
DOI: 10.1155/2009/387308.
2008
[60] Full text  Erik Johan Sandewall. 2008.
Extending the concept of publication: Factbases and knowledgebases.
Learned Publishing, 21(2):123–131. Association of Learned and Professional Society Publishers.
DOI: 10.1087/095315108X288893.
[59] Andrzej Szalas. 2008.
Towards Incorporating Background Theories into Quantifier Elimination.
Journal of applied non-classical logics, 18(2-3):325–340. Éditions Hermès-Lavoisier.
DOI: 10.3166/jancl.18.325-340.
[58] Full text  Anders Lund, Peter Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. Löfgren, C. Paulin and A. Tell. 2008.
Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals.
Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy, 69(5):1294–1300. Elsevier.
DOI: 10.1016/j.saa.2007.09.040.
Note: Original publication: A. Lund, P. Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. Löfgren, C. Paulin and A. Tell, Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals, 2008, Spectrochimica Acta Part A, (69), 5, 1294-1300. http://dx.doi.org/10.1016/j.saa.2007.09.040. Copyright: Elsevier B.V., http://www.elsevier.com/
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2007
[57] Full text  Thomas Lemaire, Cyrille Berger, Il-Kyun Jung and Simon Lacroix. 2007.
Vision-Based SLAM: Stereo and Monocular Approaches.
International Journal of Computer Vision, 74(3):343–364. Kluwer Academic Publishers.
DOI: 10.1007/s11263-007-0042-3.
[56] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2007.
Communication between agents with heterogeneous perceptual capabilities.
Information Fusion, 8(1):56–69. Elsevier.
DOI: 10.1016/j.inffus.2005.05.006.
[55] Full text  D.M. Gabbay and Andrzej Szalas. 2007.
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals.
Studia Logica: An International Journal for Symbolic Logic, 87(1):37–50. Springer.
DOI: 10.1007/s11225-007-9075-4.
[54] Full text  Patrick Doherty and Andrzej Szalas. 2007.
A correspondence framework between three-valued logics and similarity-based approximate reasoning.
Fundamenta Informaticae, 75(1-4):179–193. IOS Press.
2006
[53] Erik Sandewall. 2006.
Systems - Opening up the process.
Nature, ??(??):????. Nature Publishing Group.
DOI: 10.1038/nature04994.
[52] Full text  Patrik Haslum. 2006.
Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition.
The journal of artificial intelligence research, 25(??):233–267. AAAI Press.
DOI: 10.1613/jair.1885.
[51] Klas Nordberg, Patrick Doherty, Per-Erik Forssén, Johan Wiklund and Per Andersson. 2006.
A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle.
International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780.
DOI: 10.1142/S0218001406004867.
[50] Per Olof Pettersson and Patrick Doherty. 2006.
Probabilistic roadmap based path planning for an autonomous unmanned helicopter.
Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press.
[49] Full text  Fredrik Heintz and Patrick Doherty. 2006.
A knowledge processing middleware framework and its relation to the JDL data fusion model.
Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press.
[48] Andrzej Szalas. 2006.
Second-order Reasoning in Description Logics.
Journal of applied non-classical logics, 16(3 - 4):517–530. Éditions Hermès-Lavoisier.
DOI: 10.3166/jancl.16.517-530.
[47] Full text  Patrick Doherty, Martin Magnusson and Andrzej Szalas. 2006.
Approximate Databases: A support tool for approximate reasoning.
Journal of applied non-classical logics, 16(1-2):87–118. Éditions Hermès-Lavoisier.
DOI: 10.3166/jancl.16.87-117.
Note: Special issue on implementation of logics
2005
[46] Kevin McGee. 2005.
Enactive Cognitive Science: Part 1, Background and Research Themes.
Constructivist foundations, 1(1):19–34.
Link: http://www.univie.ac.at/constructivism/j...
2004
[45] Full text  Fredrik Heintz and Patrick Doherty. 2004.
DyKnow: An approach to middleware for knowledge processing.
Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press.
[44] Full text  Joakim Gustafsson and Jonas Kvarnström. 2004.
Elaboration tolerance through object-orientation.
Artificial Intelligence, 153(1-2):239–285. Elsevier.
DOI: 10.1016/j.artint.2003.08.004.
[43] Full text  Bourhane Kadmiry and D. Driankov. 2004.
A fuzzy gain-scheduler for the attitude control of an unmanned helicopter.
IEEE transactions on fuzzy systems, 12(4):502–515. IEEE Computer Society.
DOI: 10.1109/TFUZZ.2004.832539.
[42] Bourhane Kadmiry and Dimiter Driankov. 2004.
A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control.
Fuzzy sets and systems (Print), 146(3):313–347. Elsevier.
DOI: 10.1016/j.fss.2003.07.002.
[41] Full text  Ubbo Visser and Patrick Doherty. 2004.
Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating.
The AI Magazine, 25(2):137–138. AAAI Press.
2003
[40] Full text  Jonas Kvarnström and Martin Magnusson. 2003.
TALplanner in the Third International Planning Competition: Extensions and control rules.
The journal of artificial intelligence research, 20(??):343–377. AAAI Press.
DOI: 10.1613/jair.1189.
[39] Patrick Doherty, Andrew Skowron, Witold Lukaszewicz and Andrzej Szalas. 2003.
Preface.
Fundamenta Informaticae, 57(2-4):i–iii. IOS Press.
[38] Full text  E Madalinska-Bugaj and Witold Lukaszewicz. 2003.
Formalizing defeasible logic in CAKE.
Fundamenta Informaticae, 57(2-3):193–213. IOS Press.
[37] Full text  Patrick Doherty, M Grabowski, Witold Lukaszewicz and Andrzej Szalas. 2003.
Towards a framework for approximate ontologies.
Fundamenta Informaticae, 57(2-4):147–165. IOS Press.
[36] Patrick Doherty and et al. 2003.
2003 AAAI Spring Symposium Series.
The AI Magazine, 24(3):131–140. AAAI Press.
2001
[35] Full text  Erik Sandewall. 2001.
On the Design of Software Individuals.
Electronic Transactions on Artifical Intelligence, 5(??):????. Linköpings Universitet.
[34] Full text  Patrick Doherty and Jonas Kvarnström. 2001.
TALPLANNER - A temporal logic-based planner.
The AI Magazine, 22(3):95–102. AAAI Press.
2000
[33] Full text  Mark S Frankel, Roger Elliott, Martin Blume, Jean-Manuel Bourgois, Bernt Hugenholtz, Mats G. Lindquist, Sally Morris and Erik Sandewall. 2000.
Defining and Certifying Electronic Publication in Science.
Learned Publishing, 13(4):251–258. Association of Learned and Professional Society Publishers.
Link to article: http://www.ida.liu.se/ext/caisor/archive...
[32] Full text  Peter Jonsson, Patrik Haslum and Christer Bäckström. 2000.
Towards efficient universal planning: A randomized approach.
Artificial Intelligence, 117(1):1–29. Elsevier.
DOI: 10.1016/S0004-3702(99)00103-4.
[31] Full text  Patrick Doherty and Jonas Kvarnström. 2000.
TALplanner: A temporal logic based forward chaining planner.
Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer.
DOI: 10.1023/A:1016619613658.
[30] Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj. 2000.
The PMA and relativizing minimal change for action update.
Fundamenta Informaticae, 44(1-2):95–131. IOS Press.
[29] Full text  Jonas Kvarnström and Patrick Doherty. 2000.
Tackling the qualification problem using fluent dependency constraints.
Computational intelligence, 16(2):169–209. Blackwell Publishing.
DOI: 10.1111/0824-7935.00111.
1999
[28] Full text  Lars Karlsson and Joakim Gustafsson. 1999.
Reasoning about Concurrent Interaction.
Journal of logic and computation (Print), 9(5):623–650. Oxford University Press.
DOI: 10.1093/logcom/9.5.623.
[27] Thomas Drakengren and Marcus Bjäreland. 1999.
Reasoning about action in polynomial time.
Artificial Intelligence, 115(1):1–24. Elsevier.
DOI: 10.1016/S0004-3702(99)00065-X.
[26] Full text  Patrick Doherty, Jaroslaw Kachniarz and Andrzej Szalas. 1999.
Meta-queries on deductive databases.
Fundamenta Informaticae, 40(1):17–30. IOS Press.
DOI: 10.3233/FI-1999-40102.
[25] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1999.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of logic and computation (Print), 9(5):737–758. Oxford University Press.
DOI: 10.1093/logcom/9.5.737.
1998
[24] Full text  Patrick Doherty, Joakim Gustafsson, Lars Karlsson and Jonas Kvarnström. 1998.
(TAL) temporal action logics: Language specification and tutorial.
Electronic Transactions on Artifical Intelligence, 2(3-4):273–306.
Link: http://www.ep.liu.se/ej/etai/1998/009/
[23] Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1998.
General domain circumscription and its effective reductions.
Fundamenta Informaticae, 36(1):23–55. IOS Press.
DOI: 10.3233/FI-1998-3612.
1997
[22] Dag Fritzson, Peter Fritzson, Patrik Nordling and Tommy Persson. 1997.
Rolling Bearing Simulation on MIMD Computers.
The international journal of high performance computing applications, 11(4):299–313. Sage Publications.
DOI: 10.1177/109434209701100404.
Fulltext: https://doi.org/10.1177/1094342097011004...
[21] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1997.
Computing circumscription revisited: A reduction algorithm.
Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers.
DOI: 10.1023/A:1005722130532.
1996
[20] Andrzej Szalas. 1996.
On Natural Deduction in First-Order Fixpoint Logics.
Fundamenta Informaticae, 26(1):81–94. IOS Press.
DOI: 10.3233/FI-1996-2616.
[19] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
A reduction result for circumscribed semi-horn formulas.
Fundamenta Informaticae, 28(3,4):261–272. IOS Press.
DOI: 10.3233/FI-1996-283404.
1994
[18] Andrzej Szalas. 1994.
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic.
Journal of Applied Non-Classical Logics, 4(2):119–127. Éditions Hermès-Lavoisier.
1993
[17] Andrzej Szalas. 1993.
On the Correspondence between Modal and Classical Logic: An Automated Approach.
Journal of logic and computation (Print), 3(6):605–620. Oxford University Press.
DOI: 10.1093/logcom/3.6.605.
[16] Patrick Doherty, Dimiter Driankov and Hans Hellendoorn. 1993.
Fuzzy if-then-unless rules and their implementation.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific.
DOI: 10.1142/S0218488593000097.
1992
[15] Andrzej Szalas. 1992.
Axiomatizing Fixpoint Logics.
Information Processing Letters, 41(4):175–180. Elsevier.
DOI: 10.1016/0020-0190(92)90175-U.
[14] Patrick Doherty and Witold Lukaszewicz. 1992.
NML-3 - A non-monotonic logic with explicit defaults.
Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier.
1991
[13] Andrzej Szalas. 1991.
On Strictly Arithmetical Completeness in Logics of Programs.
Theoretical Computer Science, 79(2):341–355. Elsevier.
DOI: 10.1016/0304-3975(91)90336-Z.
1989
[12] Uwe Petermann and Andrzej Szalas. 1989.
On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts.
Fundamenta Informaticae, 12(2):191–204. IOS Press.
1988
[11] Andrzej Szalas. 1988.
Towards the Temporal Approach to Abstract Data Types.
Fundamenta Informaticae, 11(1):49–64. IOS Press.
[10] Andrzej Szalas. 1988.
An Incompleteness Result in Process Algebra.
Information Processing Letters, 29(2):67–70. Elsevier.
DOI: 10.1016/0020-0190(88)90030-0.
[9] Leszek Holenderski and Andrzej Szalas. 1988.
Propositional Description of Finite Cause-Effect Structures.
Information Processing Letters, 27(3):111–117. Elsevier.
DOI: 10.1016/0020-0190(88)90064-6.
[8] Andrzej Szalas and Leszek Holenderski. 1988.
Incompleteness of First-Order Temporal Logic with Until.
Theoretical Computer Science, 57(2-3):317–325. Elsevier.
DOI: 10.1016/0304-3975(88)90045-X.
1987
[7] Andrzej Szalas. 1987.
A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time.
Theoretical Computer Science, 54(2-3):199–214. Elsevier.
DOI: 10.1016/0304-3975(87)90129-0.
[6] Andrzej Szalas. 1987.
Arithmetical Axiomatization of First-Order Temporal Logic.
Information Processing Letters, 26(3):111–116. Elsevier.
DOI: 10.1016/0020-0190(87)90047-0.
1986
[5] Andrzej Szalas. 1986.
Concerning the Semantic Consequence Relation in First-Order Temporal Logic.
Theoretical Computer Science, 47(3):329–334. Elsevier.
DOI: 10.1016/0304-3975(86)90157-X.
1985
[4] Uwe Petermann and Andrzej Szalas. 1985.
A Note on PCI: Distributed Processes Communicating by Interrupts.
SIGPLAN notices, 20(3):37–46. ACM Press.
DOI: 10.1145/382284.382390.
[3] Andrzej Szalas and Danuta Szczepaska. 1985.
Exception Handling in Parallel Computations.
SIGPLAN notices, 20(10):95–104. ACM Press.
DOI: 10.1145/382286.382385.
1984
[2] Andrzej Szalas. 1984.
On an Application of Algorithmic Theory of Stacks.
Fundamenta Informaticae, 7(3):378–388. IOS Press.
1981
[1] Andrzej Szalas. 1981.
Algorithmic Logic with Recursive Functions.
Fundamenta Informaticae, 4(4):975–995. IOS Press.

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