Hide menu

AIICS Publications: Conference and Workshop Publications

Show abstracts (where available) BibTeX entries
2023
[434] Md Fahim Sikder, Md Ferdous, Shraboni Afroz, Uzzal Podder, Kaniz Fatema, Mohammad Nahid Hossain, Md Tahmid Hasan and Mrinal Kanti Baowaly. 2023.
Explainable Bengali Multiclass News Classification.
In 2023 26th International Conference on Computer and Information Technology (ICCIT). Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9798350359015, 9798350359022.
DOI: 10.1109/ICCIT60459.2023.10441218.
[433] Franziska Babel, Philipp Hock, Sam Thellman and Tom Ziemke. 2023.
Cars As Social Agents (CarSA): A Perspective Shift in Human-Vehicle Interaction.
In PROCEEDINGS OF THE 11TH CONFERENCE ON HUMAN-AGENT INTERACTION, HAI 2023, pages 498–499. ASSOC COMPUTING MACHINERY. ISBN: 9798400708244.
DOI: 10.1145/3623809.3623979.
[432] Adeline Secolo, Paulo Santos, Patrick Doherty and Zoran Sjanic. 2023.
Collaborative Qualitative Environment Mapping.
In AI 2023: Advances in Artificial Intelligence, pages 3–15. In series: Lecture Notes in Computer Science #??. Springer. ISBN: 9789819983902, 9789819983919.
DOI: 10.1007/978-981-99-8391-9_1.
Note: Funding Agencies|CISB, Swedish-Brazilian Research and Innovation Center; Saab AB; Coordenacao de Aperfeicoamento de Pessoal em Nivel Superior - Brasil (CAPES) [001]
[431] Resmi Ramachandranpillai, Md Fahim Sikder and Fredrik Heintz. 2023.
Fair Latent Deep Generative Models (FLDGMs) for Syntax-Agnostic and Fair Synthetic Data Generation.
In , pages 1938–1945.
DOI: 10.3233/FAIA230484.
Fulltext: https://doi.org/10.3233/FAIA230484
[430] Emanuel Sanchez Aimar, Arvi Jonnarth, Michael Felsberg and Marco Kuhlmann. 2023.
Balanced Product of Calibrated Experts for Long-Tailed Recognition.
In 2023 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), pages 19967–19977. In series: IEEE Conference on Computer Vision and Pattern Recognition #??. IEEE COMPUTER SOC. ISBN: 9798350301298, 9798350301304.
DOI: 10.1109/CVPR52729.2023.01912.
Note: Funding Agencies|Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research Council [2022-06725]; Knut and Alice Wallenberg Foundation at the National Supercomputer Centre
[429] Mattias Arvola, Mattias Forsblad (Kristiansson), Mikael Wiberg and Henrik Danielsson. 2023.
Autonomous Vehicles for Children with Mild Intellectual Disability: Perplexity, Curiosity, Surprise, and Confusion.
In Alan Dix, Irene Reppa, Carina Westling, Harry Witchel, Stéphane Safin, Gerrit van der Veer, Joseph MacInnes, Harry Witchel, Raymond Bond, editors, Proceedings of the European Conference on Cognitive Ergonomics 2023: Responsible Technology Community, Culture, and Sustainability, pages 1–8. Association for Computing Machinery (ACM). ISBN: 9798400708756.
DOI: 10.1145/3605655.3605688.
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program -Humanities and Society
Fulltext: https://doi.org/10.1145/3605655.3605688
[428] Thorsten Klößner, Jendrik Seipp and Marcel Steinmetz. 2023.
Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning.
In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pages 1272–1279.
DOI: 10.3233/FAIA230405.
[427] Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp. 2023.
Eliminating Redundant Actions from Plans using Classical Planning.
In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pages 774–778.
DOI: 10.24963/kr.2023/80.
[426] Paul Höft, David Speck and Jendrik Seipp. 2023.
Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning.
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Rădulescu, editors, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pages 1044–1051. In series: Frontiers in Artificial Intelligence and Applications #??. ISBN: 978-1-64368-436-9, 978-1-64368-437-6.
DOI: 10.3233/FAIA230377.
Link: https://ebooks.iospress.nl/doi/10.3233/F...
[425] Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck. 2023.
PARIS: Planning Algorithms for Reconfiguring Independent Sets.
In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), pages 453–460.
DOI: 10.3233/FAIA230303.
Link: https://ebooks.iospress.nl/doi/10.3233/F...
[424] Simon Ståhlberg, Blai Bonet and Hector Geffner. 2023.
Learning General Policies with Policy Gradient Methods.
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, pages 647–657. ISBN: 9781956792027.
DOI: 10.24963/kr.2023/63.
[423] Simon Ståhlberg. 2023.
Lifted Successor Generation by Maximum Clique Enumeration.
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Rădulescu, editors, ECAI 2023. In series: Frontiers in Artificial Intelligence and Applications #??. ISBN: 9781643684369, 9781643684376.
[422] Daniel Gnad, Malte Helmert, Peter Jonsson and Alexander Shleyfman. 2023.
Planning over Integers: Compilations and Undecidability.
[421] Daniel Gnad, Silvan Sievers and Alvaro Torralba. 2023.
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.
[420] Alexander Shleyfman, Daniel Gnad and Peter Jonsson. 2023.
Structurally Restricted Fragments of Numeric Planning ? a Complexity Analysis.
[419] Leif Eriksson and Victor Lagerkvist. 2023.
Improved Algorithms for Allen?s Interval Algebra by Dynamic Programming with Sublinear Partitioning.
In Proceedings of the 32nd International Joint Conference on Artificial Intelligence, pages 1919–1926.
DOI: 10.24963/ijcai.2023/213.
[418] Leif Eriksson and Victor Lagerkvist. 2023.
A Fast Algorithm for Consistency Checking Partially Ordered Time.
In Proceedings of the 32nd International Joint Conference on Artificial Intelligence, pages 1911–1918.
DOI: 10.24963/ijcai.2023/212.
[417] Olle Torstensson and Tjark Weber. 2023.
Hammering Floating-Point Arithmetic.
In Uli Sattler, Martin Suda, editors, FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, pages 217–235. In series: Lecture Notes in Computer Science #14279. Springer. ISBN: 9783031433689, 9783031433696.
DOI: 10.1007/978-3-031-43369-6_12.
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation
[416] Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky and Sebastian Ordyniak. 2023.
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.
In 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS. In series: IEEE Symposium on Logic in Computer Science #??. IEEE. ISBN: 9798350335873, 9798350335880.
DOI: 10.1109/LICS56636.2023.10175675.
Note: Funding Agencies|Austrian Science Fund (FWF) [J4656, P32830, Y1329]; Society for Research Funding Lower Austria (GFF) [ExzF-0004]; Vienna Science and Technology Fund (WWTF) [ICT19-060, ICT19-065]; ELLIIT - Swedish government
[415] Sam Thellman, Aksel Holmgren, Max Pettersson and Tom Ziemke. 2023.
Out of Sight, Out of Mind? Investigating People's Assumptions About Object Permanence in Self-Driving Cars.
In Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, pages 602–606. ACM Digital Library. ISBN: 9781450399708.
DOI: 10.1145/3568294.3580156.
Note: Funding: ELLIIT, the Excellence Center at Linkoping-Lund in Information Technology; Swedish Research Council (VR) grant [2022-04602]
[414] Katarina Sperling, Cormac McGrath, Linnéa Stenliden, Anna Åkerfeldt and Fredrik Heintz. 2023.
Mapping AI Literacy in Teacher Education.
In 2nd International Symposium on Digital Transformation: August 21-23, 2023, Linnaeus University, Växjö.
Link: https://open.lnu.se/index.php/isdt/artic...
[413] Ehsan Doostmohammadi, Tobias Norlund, Marco Kuhlmann and Richard Johansson. 2023.
Surface-Based Retrieval Reduces Perplexity of Retrieval-Augmented Language Models.
In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), pages 521?529.
[412] Oskar Holmström and Ehsan Doostmohammadi. 2023.
Making Instruction Finetuning Accessible to Non-English Languages: A Case Study on Swedish Models.
In Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa), pages 634–642.
Link: https://aclanthology.org/2023.nodalida-1...
[411] Oskar Holmström, Jenny Kunz and Marco Kuhlmann. 2023.
Bridging the Resource Gap: Exploring the Efficacy of English and Multilingual LLMs for Swedish.
In Proceedings of the Second Workshop on Resources and Representations for Under-Resourced Languages and Domains (RESOURCEFUL-2023), pages 92–110.
Link: https://aclanthology.org/2023.resourcefu...
[410] Gregor Behnke, David Speck, Michael Katz and Shirin Sohrabi. 2023.
On Partial Satisfaction Planning with Total-Order HTNs.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pages 42–51.
Link: https://ojs.aaai.org/index.php/ICAPS/art...
[409] David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp. 2023.
Finding Matrix Multiplication Algorithms with Classical Planning.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), pages 411–416.
Link: https://ojs.aaai.org/index.php/ICAPS/art...
[408] Ella Olsson, Mikael Nilsson, Kristoffer Bergman, Daniel de Leng, Stefan Carlén, Emil Karlsson and Bo Granbom. 2023.
Urdarbrunnen: Towards an AI-enabled mission system for Combat Search and Rescue operations.
In HÃ¥kan Grahn, Anton Borg, Martin Boldt, editors, Proceedings of the 35th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS 2023), pages 38–45. In series: Linköping Electronic Conference Proceedings #199. Linköping University Electronic Press. ISBN: 978-91-8075-274-9.
DOI: 10.3384/ecp199004.
Fulltext: https://doi.org/10.3384/ecp199004
[407] Dominik Drexler, Jendrik Seipp and Hector Geffner. 2023.
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules.
In 20th International Conference on Principles of Knowledge Representation and Reasoning, Rhodes, Greece, September 2-8, 2023.
[406] Tobias Norlund, Ehsan Doostmohammadi, Richard Johansson and Marco Kuhlmann. 2023.
On the Generalization Ability of Retrieval-Enhanced Transformers.
In Findings of the Association for Computational Linguistics, pages 1485–1493.
[405] Mattias Tiger, David Bergström, Simon Wijk Stranius, Evelina Holmgren, Daniel de Leng and Fredrik Heintz. 2023.
On-Demand Multi-Agent Basket Picking for Shopping Stores.
In 2023 IEEE International Conference on Robotics and Automation (ICRA), pages 5793–5799. IEEE. ISBN: 9798350323658, 9798350323665.
DOI: 10.1109/ICRA48891.2023.10160398.
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); Knut and Alice Wallenberg Foundation [KAW 2019.0350]; TAILOR Project - EU Horizon 2020 research and innovation programme [952215]
fulltext:postprint: https://liu.diva-portal.org/smash/get/di...
[404] Johan Källström and Fredrik Heintz. 2023.
Model-Based Multi-Objective Reinforcement Learning with Dynamic Utility Functions.
In Proceedings of the Adaptive and Learning Agents Workshop (ALA) at AAMAS 2023, pages 1–9.
Workshop Website: https://alaworkshop2023.github.io/
Paper Link: https://alaworkshop2023.github.io/papers...
[403] 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. 2023.
A Brief Guide to Multi-Objective Reinforcement Learning and Planning.
In A. Ricci, W. Yeoh, N. Agmon, B. An, editors, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1988–1990. ISBN: 978-1-4503-9432-1.
Proceedings: https://www.ifaamas.org/Proceedings/aama...
[402] 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. 2023.
Scalar Reward is Not Enough.
In Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 839–841. ISBN: 978-1-4503-9432-1.
Proceedings: https://www.ifaamas.org/Proceedings/aama...
[401] Johan Källström and Fredrik Heintz. 2023.
Model-Based Actor-Critic for Multi-Objective Reinforcement Learning with Dynamic Utility Functions.
In Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 2818–2820. ISBN: 978-1-4503-9432-1.
Proceedings: https://www.ifaamas.org/Proceedings/aama...
[400] Linda Mannila. 2023.
Viewing the Finnish national curriculum through AI glasses: participatory design for integrating AI in grades 1-9.
In .
[399] Linda Mannila and Mia Skog. 2023.
"Look at our smart shoe" - a scalable online concept for introducing design as part of computational thinking in grades 1-6.
In 22ND ANNUAL ACM INTERACTION DESIGN AND CHILDREN CONFERENCE, IDC 2023: Rediscovering Childhood, pages 222–232. ASSOC COMPUTING MACHINERY. ISBN: 9798400701313.
DOI: 10.1145/3585088.3589377.
Note: Funding: Marcus and Amalia Wallenberg Foundation
[398] Sam Thellman, Erik Marsja, Anna Anund and Tom Ziemke. 2023.
Will It Yield: Expectations on Automated Shuttle Bus Interactions With Pedestrians and Bicyclists.
In HRI '23: Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, pages 292–296. Association for Computing Machinery (ACM). ISBN: 9781450399708.
DOI: 10.1145/3568294.3580091.
Note: Funding: ELLIIT, the Excellence Center at Linkoping-Lund in Information Technology; Swedish Research Council (VR) [2022-04602]
Fulltext: https://doi.org/10.1145/3568294.3580091
[397] Filip Strömbäck, Linda Mannila and Mariam Kamkar. 2023.
Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis.
In ACE '23: Proceedings of the 25th Australasian Computing Education Conference, pages 11–20. In series: ACE ?23 #??. Association for Computing Machinery. ISBN: 9781450399418.
DOI: 10.1145/3576123.3576125.
Fulltext: https://doi.org/10.1145/3576123.3576125
fulltext:print: http://liu.diva-portal.org/smash/get/div...
2022
[396] Leif Eriksson and Victor Lagerkvist. 2022.
A Multivariate Complexity Analysis of Qualitative Reasoning Problems.
In Proceedings of the 31st International Joint Conference on Artificial Intelligence, pages 1804–1810.
DOI: 10.24963/ijcai.2022/251.
[395] Ehsan Doostmohammadi and Marco Kuhlmann. 2022.
On the Effects of Video Grounding on Language Models.
In Proceedings of the First Workshop on Performance and Interpretability Evaluations of Multimodal, Multipurpose, Massive-Scale Models.
[394] Jenny Kunz, Martin Jirénius, Oskar Holmström and Marco Kuhlmann. 2022.
Human Ratings Do Not Reflect Downstream Utility: A Study of Free-Text Explanations for Model Predictions.
In Proceedings of the Fifth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, pages 164–177.
Link: https://aclanthology.org/2022.blackboxnl...
[393] Susanne Kjällander, Anna Åkerfeldt, Linda Mannila and Fredrik Heintz. 2022.
Signs of learning in middle school computing education.
In . In series: 2022 IEEE Frontiers in Education Conference (FIE) #??. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781665462440, 9781665462457.
DOI: 10.1109/FIE56618.2022.9962658.
[392] Anna Åkerfeldt, Susanne Kjällander, Linda Mannila and Fredrik Heintz. 2022.
Exploring programming didactics in primary school - a gender perspective.
In 2022 IEEE Frontiers in Education Conference (FIE). In series: Frontiers in Education (FIE) Conference #??. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781665462440, 9781665462457.
DOI: 10.1109/FIE56618.2022.9962386.
[391] Linda Mannila, Anna Åkerfeldt, Susanne Kjällander and Fredrik Heintz. 2022.
Exploring Gender Differences in Primary School Programming.
In 2022 IEEE Frontiers in Education Conference (FIE). In series: Frontiers in Education (FIE) Conference #??. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781665462440, 9781665462457.
DOI: 10.1109/FIE56618.2022.9962482.
[390] Hector Geffner. 2022.
Target Languages (vs. Inductive Biases) for Learning to Act and Plan.
In THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, pages 12326–12333. In series: AAAI Conference on Artificial Intelligence #??. ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. ISBN: 9781577358763.
DOI: 10.1609/aaai.v36i11.21497.
Note: Funding Agencies|ERC Advanced Grant [885107]; EU Horizon 2020 project TAILOR [952215]; Knut and AliceWallenberg (KAW) Foundation
[389] Jenny Kunz and Marco Kuhlmann. 2022.
Where Does Linguistic Information Emerge in Neural Language Models?: Measuring Gains and Contributions across Layers.
In Nicoletta Calzolari, Chu-Ren Huang, Hansaem Kim, James Pustejovsky, Leo Wanner, Key-Sun Choi, Pum-Mo Ryu, Hsin-Hsi Chen, Lucia Donatelli, Heng Ji, Sadao Kurohashi, Patrizia Paggio, Nianwen Xue, Seokhwan Kim, Younggyun Hahm, Zhong He, Tony Kyungil Lee, Enrico Santus, Francis Bond, Seung-Hoon Na, editors, Proceedings of the 29th International Conference on Computational Linguistics, pages 4664–4676.
[388] Patrick Ferber, Liat Cohen, Jendrik Seipp and Thomas Keller. 2022.
Learning and Exploiting Progress States in Greedy Best-First Search.
In Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), pages 4740–4746.
DOI: 10.24963/ijcai.2022/657.
Fulltext: https://doi.org/10.24963/ijcai.2022/657
[387] Augusto B. Corrêa and Jendrik Seipp. 2022.
Best-First Width Search for Lifted Classical Planning.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 11–15.
DOI: 10.1609/icaps.v32i1.19780.
Fulltext: https://doi.org/10.1609/icaps.v32i1.1978...
[386] Patrick Ferber and Jendrik Seipp. 2022.
Explainable Planner Selection for Classical Planning.
In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022), pages 9741–9749. In series: AAAI Conference on Artificial Intelligence #??. AAAI Press.
DOI: 10.1609/aaai.v36i9.21209.
Note: Funding: Swiss National Science Foundation (SNSF) as part of the project "Certified Correctness and Guaranteed Performance for Domain-Independent Planning" (CCGP-Plan); TAILOR - EU [952215]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; DFG [389792660, TRR 248]
Fulltext: https://doi.org/10.1609/aaai.v36i9.21209
[385] Filip Strömbäck, Linda Mannila and Mariam Kamkar. 2022.
A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning.
In Ilkka Jormanainen, Andrew Petersen, editors, Koli Calling '22: Proceedings of the 22nd Koli Calling International Conference on Computing Education Research. ACM Publications. ISBN: 9781450396165.
DOI: 10.1145/3564721.3565947.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[384] Kilian Hu and David Speck. 2022.
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE*.
In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pages 91–99.
Link: https://ojs.aaai.org/index.php/SOCS/arti...
[383] Julian von Tschammer, Robert Mattmüller and David Speck. 2022.
Loopless Top-K Planning.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 380–384.
Link: https://ojs.aaai.org/index.php/ICAPS/art...
[382] Barbara Dunin-Keplicz and Andrzej Szalas. 2022.
Modeling and Shadowing Paraconsistent BDI Agents.
In 10th International Workshop on Engineering Multi-Agent Systems.
Link: https://emas.in.tu-clausthal.de/2022/pap...
[381] Andrzej Szalas. 2022.
Inheriting and Fusing Beliefs of Logically Heterogeneous Objects.
In Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, pages 299–308. In series: Procedia Computer Science #??. Elsevier.
DOI: 10.1016/j.procs.2022.09.063.
Fulltext: https://doi.org/10.1016/j.procs.2022.09....
[380] Andrzej Szalas. 2022.
Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions.
In Nguyen, N.T., Manolopoulos, Y., Chbeir, R., Kozierkiewicz, A., TrawiÅ„ski, B., editors, ICCCI 2022: Computational Collective Intelligence, pages 396–409. In series: Lecture Notes in Computer Science #13501. Springer. ISBN: 9783031160141, 9783031160134.
DOI: 10.1007/978-3-031-16014-1_32.
Note: Funding: Polish National Science Centre [2017/27/B/ST6/02018]
[379] David Speck and Jendrik Seipp. 2022.
New Refinement Strategies for Cartesian Abstractions.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 348–352.
Link: https://ojs.aaai.org/index.php/ICAPS/art...
[378] Daniel Engelsons, Mattias Tiger and Fredrik Heintz. 2022.
Coverage Path Planning in Large-scale Multi-floor Urban Environments with Applications to Autonomous Road Sweeping.
In 2022 International Conference on Robotics and Automation (ICRA), pages 3328–3334. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781728196817, 9781728196824.
DOI: 10.1109/ICRA46639.2022.9811941.
Note: Funding: 10.13039/501100004063-Knut and Alice Wallenberg Foundation (Grant Number: KAW 2019.0350)
fulltext:postprint: https://liu.diva-portal.org/smash/get/di...
[377] Simon Ståhlberg, Blai Bonet and Hector Geffner. 2022.
Learning Generalized Policies without Supervision Using GNNs.
In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Special Session on KR and Machine Learning, pages 474–483. In series: Proceedings of the Conference on Principles of Knowledge Representation and Reasoning (KR) #??. IJACAI Organization. ISBN: 978-1-956792-01-0.
DOI: 10.24963/kr.2022/49.
[376] Simon Ståhlberg, Blai Bonet and Hector Geffner. 2022.
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits.
In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh (eds), editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 629–637. AAAI Press. ISBN: 9781577358749.
DOI: 10.1609/icaps.v32i1.19851.
Fulltext: https://doi.org/10.1609/icaps.v32i1.1985...
Förlagets fulltext / Publisher's full text: https://ojs.aaai.org/index.php/ICAPS/iss...
[375] Daniel Gnad, Álvaro Torralba and Daniel Fi?er. 2022.
Beyond Stars ? Generalized Topologies for Decoupled Search.
In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh (eds), editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, pages 110–118. AAAI Press. ISBN: 978-1-57735-874-9.
DOI: 10.1609/icaps.v32i1.19791.
Fulltext: https://doi.org/10.1609/icaps.v32i1.1979...
[374] Silvan Sievers, Daniel Gnad and Alvaro Torralba. 2022.
Additive Pattern Databases for Decoupled Search.
In Lukas Chrpa and Alessandro Saetti, editors, Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, pages 180–189. ISBN: 1-57735-873-2.
Förlagets fulltext / Publisher's full text: https://ojs.aaai.org/index.php/SOCS/arti...
[373] Dominik Drexler, Jendrik Seipp and Hector Geffner. 2022.
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS2022).
arXiv: https://arxiv.org/abs/2203.14852
[372] Filip Strömbäck, Linda Mannila and Mariam Kamkar. 2022.
Pilot Study of Progvis: A Visualization Tool for Object Graphs and Concurrency via Shared Memory.
In PROCEEDINGS OF THE 24TH AUSTRALASIAN COMPUTING EDUCATION CONFERENCE, ACE 2022, pages 123–132. Association for Computing Machinery (ACM). ISBN: 9781450396431.
DOI: 10.1145/3511861.3511885.
fulltext:print: https://liu.diva-portal.org/smash/get/di...
2021
[371] Peter Jonsson, Victor Lagerkvist and Sebastian Ordyniak. 2021.
Reasoning Short Cuts in Infinite Domain Constraint Satisfaction: Algorithms and Lower Bounds for Backdoors.
In Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, pages 32:1–32:20. In series: Leibniz International Proceedings in Informatics (LIPIcs) #32. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. ISBN: 9783959772112.
DOI: 10.4230/LIPIcs.CP.2021.32.
[370] Leif Eriksson and Victor Lagerkvist. 2021.
Improved Algorithms for Allen?s Interval Algebra: a Dynamic Programming Approach.
In Proceedings of the 30th International Joint Conference on Artificial Intelligence, pages 1873–1879.
DOI: 10.24963/ijcai.2021/258.
[369] Jenny Kunz and Marco Kuhlmann. 2021.
Test Harder Than You Train: Probing with Extrapolation Splits.
In Jasmijn Bastings, Yonatan Belinkov, Emmanuel Dupoux, Mario Giulianelli, Dieuwke Hupkes, Yuval Pinter, Hassan Sajjad, editors, Proceedings of the Fourth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, pages 15–25.
DOI: 10.18653/v1/2021.blackboxnlp-1.2.
fulltext:print: https://liu.diva-portal.org/smash/get/di...
[368] Erik Nikko, Zoran Sjanic and Fredrik Heintz. 2021.
Towards Verification and Validation of Reinforcement Learning in Safety-Critical Systems: A Position Paper from the Aerospace Industry.
In Robust and Reliable Autonomy in the Wild, International Joint Conferences on Artificial Intelligence.
Link to paper: http://rbr.cs.umass.edu/r2aw/papers/R2AW...
[367] Johan Källström, Rego Granlund and Fredrik Heintz. 2021.
Design of Simulation-Based Pilot Training Systems using Machine Learning Agents.
In Proceedings of the 32nd Congress of the International Council of Aeronautical Sciences (ICAS). The International Council of the Aeronautical Sciences. ISBN: 9783932182914.
ICAS 2020/21 - CD-ROM PROCEEDINGS: https://www.icas.org/ICAS_ARCHIVE/ICAS20...
[366] Nguyen Linh Anh and Andrzej Szalas. 2021.
Optimization Models for Medical Procedures Relocation.
In Watrobski J., Salabun W., Toro C., Zanni-Merk C., Howlett R.J, Lakhmi C.J., editors, 25th KES International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES), pages 2058–2067. In series: Procedia Computer Science #192. Elsevier.
DOI: 10.1016/j.procs.2021.08.212.
Note: Funding: Polish Ministry of Science and Higher EducationMinistry of Science and Higher Education, Poland
Fulltext: https://doi.org/10.1016/j.procs.2021.08....
[365] Andrzej Szalas. 2021.
Many-Valued Dynamic Object-Oriented Inheritance and Approximations.
In Ramanna S., Cornelis C., Ciucci D., editors, International Joint Conference on Rough Sets, pages 103–119. In series: Lecture Notes in Computer Science #12872. Springer. ISBN: 9783030873332, 9783030873349.
DOI: 10.1007/978-3-030-87334-9_10.
Note: Funding: Polish National Science Centre [2017/27/B/ST6/02018]
[364] Jendrik Seipp, Thomas Keller and Malte Helmert. 2021.
Saturated Post-hoc Optimization for Classical Planning.
In Proceedings of the 35th AAAI Conference on Artificial Intelligence, pages 11947–11953. In series: AAAI Conference on Artificial Intelligence #??. Assoc Advancement Artifical Intelligence. ISBN: 9781577358664.
Note: Funding Agencies|European Research Council (ERC) under the European Unions Horizon 2020 research and innovation programmeEuropean Research Council (ERC) [817639]; TAILOR, a project - EU Horizon 2020 research and innovation programme [952215]
[363] Fredrik Präntare, Herman Appelgren and Fredrik Heintz. 2021.
Anytime Heuristic and Monte Carlo Methods for Large-Scale Simultaneous Coalition Structure Generation and Assignment.
In THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, pages 11317–11324. In series: AAAI Conference on Artificial Intelligence #??. ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. ISBN: 9781577358664.
DOI: 10.1609/aaai.v35i13.17349.
Note: Funding Agencies|Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; 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.1609/aaai.v35i13.1734...
[362] Simon Ståhlberg, Guillem Francès and Jendrik Seipp. 2021.
Learning Generalized Unsolvability Heuristics for Classical Planning.
In Zhi-Hua Zhou, editor, 30th International Joint Conference on Artificial Intelligence, pages 4175–4181. ISBN: 978-0-9992411-9-6.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[361] Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers and Malte Helmert. 2021.
Dantzig-Wolfe Decomposition for Cost Partitioning.
In 31st International Conference on Automated Planning and Scheduling , pages 271–280. In series: Proceedings of the International Conference on Automated Planning and Scheduling #??. AAAI Press. ISBN: 978-1-57735-867-1.
Publisher´s full text: https://ojs.aaai.org/index.php/ICAPS/art...
[360] Álvaro Torralba, Jendrik Seipp and Silvan Sievers. 2021.
Automatic Instance Generation for Classical Planning.
In Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhuo, editors, Proceedings of the International Conference on Automated Planning and Scheduling, pages 376–384. AAAI Press. ISBN: 978-1-57735-867-1.
DOI: 10.1609/icaps.v31i1.15983.
[359] Dominik Drexler, Jendrik Seipp and Hector Geffner. 2021.
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches.
In 18th International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, November 3-12, 2021. In series: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning #??. International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization). ISBN: 978-1-956792-99-7.
[358] Jendrik Seipp. 2021.
Online Saturated Cost Partitioning for Classical Planning.
In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pages 317–321. AAAI Press. ISBN: 978-1-57735-867-1.
Länk till konferensen / Link to proceedings: https://ojs.aaai.org/index.php/ICAPS/iss...
[357] Dominik Drexler, Jendrik Seipp and David Speck. 2021.
Subset-Saturated Transition Cost Partitioning.
In 31st International Conference on Automated Planning and Scheduling, Guangzhou, August 2-13, 2021, pages 131–139. AAAI Press.
Konferensens fulltext / Conference proceedings: https://ojs.aaai.org/index.php/ICAPS/iss...
[356] Full text  Fredrik Präntare and Fredrik Heintz. 2021.
Hybrid Dynamic Programming for Simultaneous Coalition Structure Generation and Assignment.
In Uchiya, Takahiro, Bai, Quan, Marsa-Maestre, Ivan, editors, PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18?20, 2020, Proceedings, pages 19–33. In series: Lecture notes in artificial intelligence #12568. Springer. ISBN: 978-3-030-69322-0, 978-3-030-69321-3.
DOI: 10.1007/978-3-030-69322-0_2.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
2020
[355] Linda Mannila, Fredrik Heintz, Susanne Kjällander and Anna+ Åkerfeldt. 2020.
Programming in primary education: Towards a research based assessment framework.
In WiPSCE '20: Proceedings of the 15th Workshop on Primary and Secondary Computing Education. ACM Digital Library. ISBN: 9781450387590.
DOI: 10.1145/3421590.3421598.
[354] Jendrik Seipp, Samuel von Allmen and Malte Helmert. 2020.
Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement.
In Proceedings of the 30th International Conference on Automated Planning and Scheduling.
Paper: https://ojs.aaai.org/index.php/ICAPS/art...
[353] Oscar Bjurling, Rego Granlund, Jens Alfredson, Mattias Arvola and Tom Ziemke. 2020.
Drone Swarms in Forest Firefighting: A Local Development Case Study of Multi-Level Human-Swarm Interaction.
In Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery (ACM). ISBN: 9781450375795.
DOI: 10.1145/3419249.3421239.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[352] Fredrik Präntare, Mattias Tiger, David Bergström, Herman Appelgren and Fredrik Heintz. 2020.
Towards Utilitarian Combinatorial Assignment with Deep Neural Networks and Heuristic Algorithms.
In .
[351] Jenny Kunz and Marco Kuhlmann. 2020.
Classifier Probes May Just Learn from Linear Context Features.
In Proceedings of the 28th International Conference on Computational Linguistics, pages 5136–5146.
DOI: 10.18653/v1/2020.coling-main.450.
Fulltext: https://doi.org/10.18653/v1/2020.coling-...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[350] Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak and George Osipov. 2020.
Fine-Grained Complexity of Temporal Problems.
In KR2020: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, pages 284–293. IJCAI-INT JOINT CONF ARTIF INTELL. ISBN: 9780999241172.
DOI: 10.24963/kr.2020/29.
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research Council (VR)Swedish Research Council [2017-04112]
[349] Barbara Dunin-Keplicz and Andrzej Szalas. 2020.
Shadowing in Many-Valued Nested Structures.
In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), pages 230–236. IEEE. ISBN: 9781728154077, 9781728154060, 9781728154053.
DOI: 10.1109/ISMVL49045.2020.00005.
Note: Funding: National Science Centre PolandNational Science Centre, Poland [2015/19/B/ST6/02589, 2017/27/B/ST6/02018]
[348] Full text  Johan Källström and Fredrik Heintz. 2020.
Agent Coordination in Air Combat Simulation using Multi-Agent Deep Reinforcement Learning.
In 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pages 2157–2164. IEEE conference proceedings. ISBN: 9781728185279, 9781728185262.
DOI: 10.1109/SMC42975.2020.9283492.
Note: Funding: Swedish Governmental Agency for Innovation SystemsVinnova [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC): https://ieeexplore.ieee.org/xpl/conhome/...
fulltext:postprint: https://liu.diva-portal.org/smash/get/di...
[347] Veronika Domova, Erik Gärtner, Fredrik Präntare, Martin Pallin, Johan Källström and Nikita Korzhitskii. 2020.
Improving Usability of Search and Rescue Decision Support Systems: WARA-PS Case Study.
In In proceedings of the 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1251–1254. In series: IEEE International Conference on Emerging Technologies and Factory Automation #25. IEEE conference proceedings. ISBN: 9781728189574, 9781728189567.
DOI: 10.1109/ETFA46521.2020.9211980.
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation
Proceedings of the 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA): https://ieeexplore.ieee.org/xpl/conhome/...
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[346] Barbara Dunin-Keplicz and Andrzej Szalas. 2020.
A Framework for Organization-Centered Doxastic Reasoning.
In Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, pages 3019–3028. In series: Procedia Computer Science #176. Elsevier.
DOI: 10.1016/j.procs.2020.09.201.
Fulltext: https://doi.org/10.1016/j.procs.2020.09....
[345] Andrzej Szalas. 2020.
Revisiting Object-Rule Fusion in Query Languages.
In Matteo Cristani, Carlos Toro, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, 24th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. In series: Procedia Computer Science #176. Elsevier.
DOI: 10.1016/j.procs.2020.08.006.
Fulltext: https://doi.org/10.1016/j.procs.2020.08....
[344] Patrick Doherty and Andrzej Szalas. 2020.
Rough Forgetting.
In Rough Sets. IJCRS 2020, pages 3–18. In series: Lecture Notes in Computer Science #12179. Springer. ISBN: 9783030527051, 9783030527044.
DOI: 10.1007/978-3-030-52705-1_1.
Note: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSFSwedish Foundation for Strategic Research; Jinan University (Zhuhai Campus) [2017/27/B/ST6/02018]; National Science Centre PolandNational Science Centre, Poland
Fulltext: https://doi.org/10.1007/978-3-030-52705-...
[343] Full text  Mattias Tiger and Fredrik Heintz. 2020.
Spatio-Temporal Learning, Reasoning and Decision-Making with Robot Safety Applications: PhD Research Project Extended Abstract.
In Fredrik Johansson, editor, Proceedings of the 32nd annual workshop of the Swedish Artificial Intelligence Society (SAIS 2020).
[342] Full text  Johan Källström and Fredrik Heintz. 2020.
Learning Agents for Improved Efficiency and Effectiveness in Simulation-Based Training.
In Poceedings of the 32nd annual workshop of the Swedish Artificial Intelligence Society (SAIS), pages 1–2.
Konferensens fulltext: https://www.chalmers.se/SiteCollectionDo...
[341] Full text  Johan Källström. 2020.
Adaptive Agent-Based Simulation for Individualized Training.
In B. An, N. Yorke-Smith, A. El Fallah Seghrouchni, G. Sukthankar, editors, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 2193–2195. In series: International Conference on Autonomous Agents and Multiagent Systems #19. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). ISBN: 978-1-4503-7518-4.
Link: http://www.ifaamas.org/Proceedings/aamas...
fulltext:print: https://liu.diva-portal.org/smash/get/di...
[340] Filip Strömbäck, Linda Mannila and Mariam Kamkar. 2020.
Exploring Students? Understanding of Concurrency: A Phenomenographic Study.
In Proceedings of SIGCSE ?20. ACM Publications. ISBN: 978-1-4503-6793-6.
DOI: 10.1145/3328778.3366856.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[339] Olov Andersson, Per Sidén, Johan Dahlin, Patrick Doherty and Mattias Villani. 2020.
Real-Time Robotic Search using Structural Spatial Point Processes.
In 35TH UNCERTAINTY IN ARTIFICIAL INTELLIGENCE CONFERENCE (UAI 2019), pages 995–1005. In series: Proceedings of Machine Learning Research (PMLR) #115. Association For Uncertainty in Artificial Intelligence (AUAI).
Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP); WASP Autonomous Research Arenas - Knut and Alice Wallenberg Foundation; Swedish Foundation for Strategic Research (SSF)Swedish Foundation for Strategic Research; ELLIIT Excellence Center at Link opingLund for Information Technology
Link: http://auai.org/uai2019/proceedings/pape...
2019
[338] Mariusz Wzorek, Cyrille Berger and Patrick Doherty. 2019.
Router Node Placement in Wireless Mesh Networks for Emergency Rescue Scenarios.
In PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT II, pages 496–509. In series: Lecture Notes in Artificial Intelligence #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 978-3-030-29911-8, 978-3-030-29910-1.
DOI: 10.1007/978-3-030-29911-8_38.
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
[337] Piotr Rudol and Patrick Doherty. 2019.
Evaluation of Human Body Detection Using Deep Neural Networks with Highly Compressed Videos for UAV Search and Rescue Missions.
In PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT III, pages 402–417. In series: Lecture Notes in Artificial Intelligence #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 978-3-030-29894-4, 978-3-030-29893-7.
DOI: 10.1007/978-3-030-29894-4_33.
Note: Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research (SymbiKBot Project); Wallenberg AI, Autonomous Systems and Software Program (WASP) - Research Arena Public Safety (WARA-PS)
[336] Andrzej Szalas. 2019.
Decision-Making Support Using Nonmonotonic Probabilistic Reasoning.
In Czarnowski I., Howlett R., Jain L., editors, Intelligent Decision Technologies 2019, pages 39–51. In series: Smart Innovation, Systems and Technologies #142. Springer.
DOI: 10.1007/978-981-13-8311-3_4.
[335] Lukasz Bialek, Barbara Dunin-Keplicz and Andrzej Szalas. 2019.
Belief Shadowing.
In Weyns D., Mascardi V., Ricci A., editors, Engineering Multi-Agent Systems. EMAS 2018, pages 158–180. In series: Lecture Notes in Computer Science #11375. Springer.
DOI: 10.1007/978-3-030-25693-7_9.
[334] Barbara Dunin-Keplicz, Inga Rüb and Andrzej Szalas. 2019.
Doxastic Group Reasoning via Multiple Belief Shadowing.
In Baldoni M., Dastani M., Liao B., Sakurai Y., Zalila Wenkstern R., editors, PRIMA 2019: Principles and Practice of Multi-Agent Systems, pages 271–288. In series: Lecture Notes in Computer Science #11873. Springer. ISBN: 978-3-030-33792-6, 978-3-030-33791-9.
DOI: 10.1007/978-3-030-33792-6_17.
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)
[333] Full text  David Bergström, Mattias Tiger and Fredrik Heintz. 2019.
Bayesian optimization for selecting training and validation data for supervised machine learning.
In 31st annual workshop of the Swedish Artificial Intelligence Society (SAIS 2019), Umeå, Sweden, June 18-19, 2019..
[332] Olov Andersson and Patrick Doherty. 2019.
Deep RL for Autonomous Robots: Limitations and Safety Challenges.
In , pages 489–495. ESANN. ISBN: 9782875870650.
[331] Full text  Johan Källström and Fredrik Heintz. 2019.
Reinforcement Learning for Computer Generated Forces using Open-Source Software.
In Proceedings of the 2019 Interservice/Industry Training, Simulation, and Education Conference (IITSEC), pages 1–11.
Conference Agenda: https://www.xcdsystem.com/iitsec/program...
Paper: https://s3.amazonaws.com/amz.xcdsystem.c...
I/ITSEC Knowledge Repository: http://www.iitsecdocs.com/volumes
[330] Full text  Johan Källström and Fredrik Heintz. 2019.
Multi-Agent Multi-Objective Deep Reinforcement Learning for Efficient and Effective Pilot Training.
In Ingo Staack and Petter Krus, editors, Proceedings of the 10th Aerospace Technology Congress (FT), pages 101–111. In series: Linköping Electronic Conference Proceedings #162. ISBN: 978-91-7519-006-8.
DOI: 10.3384/ecp19162011.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[329] Filip Strömbäck, Linda Mannila, Mikael Asplund and Mariam Kamkar. 2019.
A Student's View of Concurrency: A Study of Common Mistakes in Introductory Courses on Concurrency.
In Proceedings of the 2019 ACM Conference on International Computing Education Research, pages 229–237. Association for Computing Machinery (ACM). ISBN: 978-1-4503-6185-9.
DOI: 10.1145/3291279.3339415.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[328] Full text  Johan Källström and Fredrik Heintz. 2019.
Tunable Dynamics in Agent-Based Simulation using Multi-Objective Reinforcement Learning.
In Proceedings of the 2019 Adaptive and Learning Agents Workshop (ALA), 2019, pages 1–7.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[327] Full text  Daniel de Leng and Fredrik Heintz. 2019.
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty.
In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI), pages 2760–2767. AAAI Press.
DOI: 10.1609/aaai.v33i01.33012760.
AAAI Digital Library Conferences: https://aaai.org/Library/conferences-lib...
2018
[326] Linda Mannila, Lars-Åke Nordén and Arnold Pears. 2018.
Digital Competence, Teacher Self-Efficacy and Training Needs.
In ICER '18: Proceedings of the 2018 ACM Conference on International Computing Education Research, pages 78–85. ACM Digital Library. ISBN: 9781450356282.
DOI: 10.1145/3230977.3230993.
[325] Linda Mannila, Fredrik Heintz, Susanne Kjällander and Anna Åkerfeldt. 2018.
Programming in Primary School: Towards a Research-Based Assessment Instrument.
In WiPSCE '20: Proceedings of the 15th Workshop on Primary and Secondary Computing Education. In series: ACM International Conference Proceeding Series #10. ACM Digital Library. ISBN: 9781450387590.
DOI: 10.1145/3421590.3421598.
[324] Fredrik Löfgren, Sofia Thunberg and Sam Thellman. 2018.
LetterMoose: A Handwriting Tutor Robot.
In .
[323] Full text  Daniel de Leng and Fredrik Heintz. 2018.
Partial-State Progression for Stream Reasoning with Metric Temporal Logic.
In SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, pages 633–634. ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE.
Note: Funding Agencies|National Graduate School in Computer Science, Sweden (CUGS)
[322] Mariusz Wzorek, Cyrille Berger, Piotr Rudol and Patrick Doherty. 2018.
Deployment of Ad Hoc Network Nodes Using UAVs for Search and Rescue Missions.
In 2018 6TH INTERNATIONAL ELECTRICAL ENGINEERING CONGRESS (IEECON). In series: International Electrical Engineering Congress #??. IEEE. ISBN: 978-1-5386-2317-6.
DOI: 10.1109/IEECON.2018.8712230.
Note: Funding Agencies|Swedish Research Council CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]
[321] Veronika Petrovych, Sam Thellman and Tom Ziemke. 2018.
Human Interpretation of Goal-Directed Autonomous Car Behavior.
In COGSCI2018 Changing / minds, 40th annual cognitive science society meeting, Madison, Wisconsin, USA, July 25-28, pages 2235–2240. Cognitive Science Society. ISBN: 9780991196784.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[320] Lukasz Bialek, Barbara Dunin-Keplicz and Andrzej Szalas. 2018.
Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments.
In Mirjana Ivanović, Costin Bădică, Jürgen Dix, Zoran Jovanović, Michele Malgeri, MiloÅ¡ Savić, editors, Intelligent Distributed Computing XI, pages 49–60. In series: Studies in Computational Intelligence #737. Springer. ISBN: 9783319663784, 9783319663791.
DOI: 10.1007/978-3-319-66379-1_5.
[319] Full text  Fredrik Präntare and Fredrik Heintz. 2018.
An Anytime Algorithm for Simultaneous Coalition Structure Generation and Assignment.
In Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu and Tran Cao Son, editors, PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, pages 158–174. In series: Lecture Notes in Computer Science #11224. ISBN: 9783030030971, 9783030030988.
DOI: 10.1007/978-3-030-03098-8_10.
[318] Full text  Olov Andersson, Oskar Ljungqvist, Mattias Tiger, Daniel Axehill and Fredrik Heintz. 2018.
Receding-Horizon Lattice-based Motion Planning with Dynamic Obstacle Avoidance.
In 2018 IEEE Conference on Decision and Control (CDC), pages 4467–4474. In series: Conference on Decision and Control (CDC) #2018. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781538613955, 9781538613948, 9781538613962.
DOI: 10.1109/CDC.2018.8618964.
Note: This work was partially supported by FFI/VINNOVA, the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation, the Swedish Foundation for Strategic Research (SSF) project Symbicloud, the ELLIIT Excellence Center at Linköping-Lund for Information Technology, Swedish Research Council (VR) Linnaeus Center CADICS, and the National Graduate School in Computer Science, Sweden (CUGS).
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[317] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2018.
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters.
In Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs Spaan, editors, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), pages 180–189. In series: International Conference on Automated Planning and Scheduling #??. AAAI Press. ISBN: 978-1-57735-797-1.
AAAI Digital Library: http://www.aaai.org/Library/ICAPS/icaps1...
[316] Full text  Mattias Tiger and Fredrik Heintz. 2018.
Gaussian Process Based Motion Pattern Recognition with Sequential Local Models.
In 2018 IEEE Intelligent Vehicles Symposium (IV), pages 1143–1149. In series: IEEE Intelligent Vehicles Symposium #2018. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781538644522, 9781538644515, 9781538644539.
DOI: 10.1109/IVS.2018.8500676.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[315] Full text  Daniel de Leng, Mattias Tiger, Mathias Almquist, Viktor Almquist and Niklas Carlsson. 2018.
Second Screen Journey to the Cup: Twitter Dynamics during the Stanley Cup Playoffs.
In Proceedings of the 2nd Network Traffic Measurement and Analysis Conference (TMA), pages 1–8. ISBN: 978-3-903176-09-6, 978-1-5386-7152-8.
DOI: 10.23919/TMA.2018.8506531.
Note: Funding agencies:  Swedish Research Council (VR); National Graduate School in Computer Science, Sweden (CUGS) Swedish Research Council (VR); National Graduate School in Computer Science, Sweden (CUGS)
[314] Full text  Fredrik Heintz and Linda Mannila. 2018.
Computational Thinking for All - An Experience Report on Scaling up Teaching Computational Thinking to All Students in a Major City in Sweden.
In SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE), pages 137–142. Association for Computing Machinery (ACM). ISBN: 978-1-4503-5103-4.
DOI: 10.1145/3159450.3159586.
2017
[313] Lukasz Bialek, Barbara Dunin-Keplicz and Andrzej Szalas. 2017.
Rule-Based Reasoning with Belief Structures.
In FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017, pages 229–239. In series: Lecture Notes in Artificial Intelligence #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 978-3-319-60438-1, 978-3-319-60437-4.
DOI: 10.1007/978-3-319-60438-1_23.
Note: Funding Agencies|Polish National Science Centre grant [2015/19/B/ST6/02589]
[312] Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Keplicz and Andrzej Szalas. 2017.
Heterogeneous Approximate Reasoning with Graded Truth Values.
In ROUGH SETS, pages 61–82. In series: Lecture Notes in Artificial Intelligence #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 978-3-319-60837-2, 978-3-319-60836-5.
DOI: 10.1007/978-3-319-60837-2_6.
Note: Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]
[311] Full text  Daniel de Leng and Fredrik Heintz. 2017.
Towards Adaptive Semantic Subscriptions for Stream Reasoning in the Robot Operating System.
In 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), pages 5445–5452. In series: IEEE International Conference on Intelligent Robots and Systems #??. IEEE. ISBN: 978-1-5386-2682-5.
DOI: 10.1109/IROS.2017.8206440.
Note: Funding Agencies|National Graduate School in Computer Science, Sweden (CUGS); Swedish Aeronautics Research Council [NFFP6]; Swedish Foundation for Strategic Research (SSF) project CUAS; Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT Excellence Center at Linkoping-Lund for Information Technology
[310] Full text  Mariusz Wzorek, Cyrille Berger and Patrick Doherty. 2017.
A Framework for Safe Navigation of Unmanned Aerial Vehicles in Unknown Environments.
In 2017 25TH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING (ICSENG), pages 11–20. IEEE. ISBN: 978-1-5386-0610-0.
DOI: 10.1109/ICSEng.2017.58.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]
[309] Full text  Piotr Rudol and Patrick Doherty. 2017.
Bridging Reactive and Control Architectural Layers for Cooperative Missions Using VTOL Platforms.
In 2017 25TH INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING (ICSENG), pages 21–32. IEEE. ISBN: 978-1-5386-0610-0.
DOI: 10.1109/ICSEng.2017.59.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research (SymbiKcloud Project)
[308] Timo Hinzmann, Thomas Stastny, Gianpaolo Conte, Patrick Doherty, Piotr Rudol, Mariusz Wzorek, Enric Galceran, Roland Siegwart and Igor Gilitschenski. 2017.
Collaborative 3D Reconstruction Using Heterogeneous UAVs: System and Experiments.
In 2016 INTERNATIONAL SYMPOSIUM ON EXPERIMENTAL ROBOTICS, pages 43–56. In series: Springer Proceedings in Advanced Robotics #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 978-3-319-50115-4, 978-3-319-50114-7.
DOI: 10.1007/978-3-319-50115-4_5.
Note: Funding Agencies|European Commissions Seventh Framework Programme (FP7) [285417, 600958]
[307] Full text  Fredrik Präntare, Ingemar Ragnemalm and Fredrik Heintz. 2017.
An Algorithm for Simultaneous Coalition Structure Generation and Task Assignment.
In Bo An, Ana Bazzan, João Leite, Serena Villata and Leendert van der Torre, editors, PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 ? November 3, 2017, Proceedings, pages 514–522. In series: Lecture Notes in Computer Science #10621. Springer. ISBN: 9783319691305, 9783319691312.
DOI: 10.1007/978-3-319-69131-2_34.
[306] Full text  Fredrik Heintz, Linda Mannila, Lars-Åke Nordén, Peter Parnes and Regnell Björn. 2017.
Introducing Programming and Digital Competence in Swedish K?9 Education.
In Valentina DagienÄ— and Arto Hellas, editors, Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspective (ISSEP), Helsinki, Finland, November 13-15, 2017, pages 117–128. In series: Lecture Notes in Computer Science #10696. Springer. ISBN: 9783319714820, 9783319714837.
DOI: 10.1007/978-3-319-71483-7_10.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[305] Fredrik Heintz and Fredrik Löfgren. 2017.
Linköping Humanoids: Application RoboCup 2017 Standard Platform League.
[304] Full text  Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte and Patrick Doherty. 2017.
LinkBoard: Advanced Flight Control System for Micro Unmanned Aerial Vehicles.
In 2017 2ND INTERNATIONAL CONFERENCE ON CONTROL AND ROBOTICS ENGINEERING (ICCRE2017). IEEE. ISBN: 978-1-5090-3774-2.
DOI: 10.1109/ICCRE.2017.7935051.
Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research [RIT 15-0097]
[303] Full text  Olov Andersson, Mariusz Wzorek and Patrick Doherty. 2017.
Deep Learning Quadcopter Control via Risk-Aware Active Learning.
In Satinder Singh and Shaul Markovitch, editors, Proceedings of The Thirty-first AAAI Conference on Artificial Intelligence (AAAI), pages 3812–3818. In series: Proceedings of the AAAI Conference on Artificial Intelligence #5. AAAI Press. ISBN: 978-1-57735-784-1.
2016
[302] Fredrik Heintz and Fredrik Löfgren. 2016.
Linköping Humanoids: Application RoboCup 2016 Standard Platform League.
In , pages 1–2.
Qualification Video for RoboCup Standard Platform League 2016: https://www.youtube.com/watch?v=Og8Azj2Y...
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[301] Gustav Häger, Goutam Bhat, Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Piotr Rudol and Patrick Doherty. 2016.
Combining Visual Tracking and Person Detection for Long Term Tracking on a UAV.
In Proceedings of the 12th International Symposium on Advances in Visual Computing. In series: Lecture Notes in Computer Science #??. Springer. ISBN: 978-3-319-50834-4, 978-3-319-50835-1.
DOI: 10.1007/978-3-319-50835-1_50.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[300] Patrick Doherty and Andrzej Szalas. 2016.
An Entailment Procedure for Kleene Answer Set Programs.
In Sombattheera C., Stolzenburg F., Lin F., Nayak A., editors, Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2016., pages 24–37. In series: Lecture Notes in Computer Science #10053. Springer. ISBN: 978-3-319-49396-1, 978-3-319-49397-8.
DOI: 10.1007/978-3-319-49397-8_3.
[299] Full text  Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2016.
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs.
In Michael, Loizos; Kakas, Antonis, editors, Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, pages 536–542. In series: Lecture Notes in Computer Science #10021. Springer Publishing Company. ISBN: 978-3-319-48757-1, 978-3-319-48758-8.
DOI: 10.1007/978-3-319-48758-8_36.
[298] Full text  Fredrik Heintz, Linda Mannila and Tommy Färnqvist. 2016.
A Review of Models for Introducing Computational Thinking, Computer Science and Computing in K-12 Education.
In Proceedings of the 46th Frontiers in Education (FIE). In series: Frontiers in Education Conference #??. IEEE. ISBN: 978-1-5090-1790-4, 978-1-5090-1791-1.
DOI: 10.1109/FIE.2016.7757410.
[297] Full text  Piotr Rudol and Patrick Doherty. 2016.
Bridging the mission-control gap: A flight command layer for mediating flight behaviours and continuous control.
In 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), pages 304–311. In series: 2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR) #??. Institute of Electrical and Electronics Engineers (IEEE). ISBN: 9781509043491, 9781509043507.
DOI: 10.1109/SSRR.2016.7784320.
[296] Full text  Mattias Tiger and Fredrik Heintz. 2016.
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models.
In 23nd International Symposium on Temporal Representation and Reasoning (TIME), 2016. IEEE Computer Society.
Note: Presented at the 23nd International Symposium on Temporal Representation and Reasoning (TIME) at the Technical University of Denmark (DTU), Denmark, the 19th October 2016.
[295] Full text  Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty and Alexander Eriksson. 2016.
Area Coverage with Heterogeneous UAVs using Scan Patterns.
In 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings. In series: 2016 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR) #??. IEEE Robotics and Automation Society. ISBN: 978-1-5090-4349-1.
DOI: 10.1109/SSRR.2016.7784325.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[294] Full text  Mattias Tiger and Fredrik Heintz. 2016.
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models.
In 23nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, pages 196–205. IEEE Computer Society. ISBN: 978-1-5090-3825-1.
DOI: 10.1109/TIME.2016.28.
Note: Presented at the 23nd International Symposium on Temporal Representation and Reasoning (TIME) at the Technical University of Denmark (DTU), Denmark, the 19th October 2016.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[293] Jose Renato Garcia Braga, Gianpaolo Conte, Patrick Doherty, Haroldo Fraga Campos Velho and Elcio Hideiti Shiguemori. 2016.
An Image Matching System for Autonomous UAV Navigation Based on Neural Network.
In 14th International Conference on Control, Automation, Robotics and Vision (ICARCV 2016). In series: International Conference on Control Automation Robotics and Vision #??. ISBN: 978-1-5090-3549-6, 978-1-5090-3550-2.
DOI: 10.1109/ICARCV.2016.7838775.
Note: Funding agencies:This work was carried out with support from CNPq - National Counsel of Technological and Scientific Development - Brazil. This work is partially supported by the Swedish Research Council (VR) Linnaeus Center CADICS, ELLIIT, and the Swedish Foundation for Strategic Research (CUAS Project, SymbiKCloud Project).
[292] Full text  Jose Renato Garcia Braga, Gianpaolo Conte, Patrick Doherty, Haroldo Fraga Campos Velho and Elcio Hideiti Shiguemori. 2016.
Use of Artificial Neural Networks for Automatic Categorical Change Detection in Satellite Imagery.
In Proceedings of the 4th Conference of Computational Interdisciplinary Sciences (CCIS 2016). Pan American Association of Computational Interdisciplinary.
[291] Full text  Daniel de Leng and Fredrik Heintz. 2016.
DyKnow: A Dynamically Reconfigurable Stream Reasoning Framework as an Extension to the Robot Operating System.
In Proceedings of the Fifth IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 55–60. IEEE conference proceedings. ISBN: 978-1-5090-4616-4, 978-1-5090-4617-1.
DOI: 10.1109/SIMPAR.2016.7862375.
Note: Funding agencies: National Graduate School in Computer Science, Sweden (CUGS); Swedish Foundation for Strategic Research (SSF) project CUAS; Swedish Research Council (VR) Linnaeus Center CADICS; ELLIIT Excellence Center at Linkoping- Lund for Information Technology; Swedis
[290] Serge Thill, Alberto Montebelli and Tom Ziemke. 2016.
Workshop on Intention Recognition in HRI.
In 2016 11TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION (HRI), pages 585–586. In series: ACM/IEEE International Conference on Human-Robot Interaction #??. IEEE. ISBN: 978-1-4673-8370-7.
DOI: 10.1109/HRI.2016.7451868.
[289] Full text  Cyrille Berger, Piotr Rudol, Mariusz Wzorek and Alexander Kleiner. 2016.
Evaluation of Reactive Obstacle Avoidance Algorithms for a Quadcopter.
In Proceedings of the 14th International Conference on Control, Automation, Robotics and Vision 2016 (ICARCV). In series: International Conference on Control Automation Robotics and Vision #??. IEEE conference proceedings. ISBN: 9781509035496, 9781509047574, 9781509035502.
DOI: 10.1109/ICARCV.2016.7838803.
Note: Funding agencies:This work is partially supported by the Swedish Research Council (VR) Linnaeus Center CADICS, the ELLIIT network organization for Information and Communication Technology, and the Swedish Foundation for Strategic Research (CUAS Project, SymbiKCIoud Project).
[288] Full text  Patrick Doherty, Jonas Kvarnström, Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte, Cyrille Berger, Timo Hinzmann and Thomas Stastny. 2016.
A Collaborative Framework for 3D Mapping using Unmanned Aerial Vehicles.
In Baldoni, M., Chopra, A.K., Son, T.C., Hirayama, K., Torroni, P., editors, PRIMA 2016: Principles and Practice of Multi-Agent Systems, pages 110–130. In series: Lecture Notes in Computer Science #9862. Springer Publishing Company. ISBN: 978-3-319-44831-2.
DOI: 10.1007/978-3-319-44832-9_7.
Note: Accepted for publication.
[287] Full text  Olov Andersson, Mariusz Wzorek, Piotr Rudol and Patrick Doherty. 2016.
Model-Predictive Control with Stochastic Collision Avoidance using Bayesian Policy Optimization.
In IEEE International Conference on Robotics and Automation (ICRA), 2016, pages 4597–4604. In series: Proceedings of IEEE International Conference on Robotics and Automation #??. Institute of Electrical and Electronics Engineers (IEEE).
DOI: 10.1109/ICRA.2016.7487661.
[286] Full text  Daniel de Leng and Fredrik Heintz. 2016.
Qualitative Spatio-Temporal Stream Reasoning With Unobservable Intertemporal Spatial Relations Using Landmarks.
In Dale Schuurmans, Dale Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), pages 957–963. In series: Proceedings of the AAAI Conference on Artificial Intelligence #??. AAAI Press. ISBN: 978-1-57735-762-9.
Link to full text: http://www.aaai.org/ocs/index.php/AAAI/A...
[285] Full text  Tommy Färnqvist, Fredrik Heintz, Patrick Lambrix, Linda Mannila and Chunyan Wang. 2016.
Supporting Active Learning by Introducing an Interactive Teaching Tool in a Data Structures and Algorithms Course.
In Proceedings of the 47th ACM Technical Symposium on Computer Science Education (SIGCSE 2016), pages 663–668. ACM Publications. ISBN: 978-1-4503-3685-7.
DOI: 10.1145/2839509.2844653.
2015
[284] Fredrik Löfgren, Jon Dybeck and Fredrik Heintz. 2015.
Qualification document: RoboCup 2015 Standard Platform League.
In , pages 1–2.
Qualification Video for RoboCup Standard Platform League 2015: https://www.youtube.com/watch?v=YNVzj6VL...
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[283] Full text  Tommy Färnqvist, Fredrik Heintz, Patrick Lambrix, Linda Mannila and Chunyan Wang. 2015.
Supporting Active Learning Using an Interactive Teaching Tool in a Data Structures and Algorithms Course.
In Proceedings of 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng), pages 76–79. In series: Technical report / Department of Information Technology, Uppsala University #2016-002.
Fulltext: http://utvecklingskonferens.it.uu.se/fil...
[282] Full text  Michaël Grimsberg, Fredrik Heintz, Viggo Kann, Inger Erlander Klein and Lars Öhrström. 2015.
Vem styr egentligen grundutbildningen?.
In Proceedings of 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng). In series: Technical report / Department of Information Technology, Uppsala University #2016-002.
[281] Fredrik Heintz, Aseel Berglund, Björn Hedin and Viggo Kann. 2015.
En jämförelse mellan programsamanhållande kurser vid KTH och LiU.
In Proceedings of 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng). In series: Technical report / Department of Information Technology, Uppsala University #2016-002.
[280] Fredrik Heintz, Tommy Färnqvist and Jesper Thorén. 2015.
Programutvecklingsstrategier för att öka kopplingen mellan programmering och matematik.
In Proceedings of 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng). In series: Technical report / Department of Information Technology, Uppsala University #2016-002.
[279] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2015.
Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis.
In Béatrice Duval; Jaap van den Herik; Stephane Loiseau; Joaquim Filipe, editor, Agents and Artificial Intelligence: 6th International Conference, ICAART 2014, Angers, France, March 6?8, 2014, Revised Selected Papers, pages 243–261. In series: Lecture Notes in Computer Science #8946. Springer. ISBN: 978-3-319-25209-4, 978-3-319-25210-0.
DOI: 10.1007/978-3-319-25210-0_15.
[278] Full text  Mattias Tiger and Fredrik Heintz. 2015.
Towards Unsupervised Learning, Classification and Prediction of Activities in a Stream-Based Framework.
In Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence (SCAI), pages 147–156. In series: Frontiers in Artificial Intelligence and Applications #278. IOS Press. ISBN: 978-1-61499-588-3.
DOI: 10.3233/978-1-61499-589-0-147.
länk till artikeln: https://www.ida.liu.se/divisions/aiics/p...
[277] Full text  Daniel de Leng and Fredrik Heintz. 2015.
Ontology-Based Introspection in Support of Stream Reasoning.
In S. Nowaczyk, editor, Thirteenth scandinavian conference on artificial intelligence (SCAI), pages 78–87. IOS Press. ISBN: 9781614995883, 9781614995890.
Link to publication: https://www.ida.liu.se/divisions/aiics/p...
[276] Full text  Daniel de Leng and Fredrik Heintz. 2015.
Ontology-Based Introspection in Support of Stream Reasoning.
In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo and Oliver Kutz Daniele Porello15, editors, Proceedings of the Joint Ontology Workshops (JOWO 2015), Buenos Aires, Argentina, July 25-27, 2015: The Joint Ontology Workshops - Episode 1, pages 1–8. In series: CEUR Workshop Proceedings #??. Rheinisch-Westfaelische Technische Hochschule Aachen * Lehrstuhl Informatik V.
Note: Workshops held at the 24th International Joint Conference on Artificial Intelligence - IJCAI 2015, Buenos Aires, Argentina, July 25-27, 2015
Link to publication: http://ceur-ws.org/Vol-1517/JOWO-15_FOfA...
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[275] Full text  Fredrik Heintz, Linda Mannila, Karin Nygårds, Peter Parnes and Björn Regnell. 2015.
Computing at School in Sweden ? Experiences fromIntroducing Computer Science within Existing Subjects.
In Proceeding of the 8th International Conference on Informatics in Schools:Situation, Evolution, and Perspective (ISSEP). In series: Lecture Notes in Computer Science #9378. Springer. ISBN: 978-3-319-25395-4.
[274] Full text  Mattias Tiger and Fredrik Heintz. 2015.
Online Sparse Gaussian Process Regression for Trajectory Modeling.
In 18th International Conference on Information Fusion (Fusion), 2015, pages 782–791. IEEE. ISBN: 9780982443866, 9780982443873.
Publisher's full text: https://ieeexplore.ieee.org/document/726...
[273] Full text  Martin Danelljan, Fahad Shahbaz Khan, Michael Felsberg, Karl Granström, Fredrik Heintz, Piotr Rudol, Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 2015.
A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems.
In Lourdes Agapito, Michael M. Bronstein and Carsten Rother, editors, COMPUTER VISION - ECCV 2014 WORKSHOPS, PT I, pages 223–237. In series: Lecture Notes in Computer Science #8925. Springer Publishing Company. ISBN: 978-3-319-16177-8, 978-3-319-16178-5.
DOI: 10.1007/978-3-319-16178-5_15.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[272] Full text  Olov Andersson, Fredrik Heintz and Patrick Doherty. 2015.
Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization.
In Blai Bonet and Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI), pages 2497–2503. AAAI Press. ISBN: 978-1-57735-698-1.
fulltext:print: http://liu.diva-portal.org/smash/get/div...
2014
[271] Lukasz Bialek and Andrzej Szalas. 2014.
Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study.
In 2014 IEEE/WIC/ACM International Joint Conferences on  (Volume:3 ) Web Intelligence (WI) and Intelligent Agent Technologies (IAT),, pages 325–332. IEEE. ISBN: 978-1-4799-4143-8.
DOI: 10.1109/WI-IAT.2014.184.
[270] Barbara Dunin-Keplicz and Andrzej Szalas. 2014.
Indeterministic Belief Structures.
In Agent and Multi-Agent Systems: Technologies and Applications: Proceedings of the 8th International Conference KES-AMSTA 2014, Chania, Greece, June 2014, pages 57–66. In series: Advances in Intelligent Systems and Computing #296. Springer International Publishing. ISBN: 978-3-319-07649-2, 978-3-319-07650-8.
DOI: 10.1007/978-3-319-07650-8_7.
[269] Barbara Dunin-Keplicz, Andrzej Szalas and Rineke Verbrugge. 2014.
Tractable Reasoning about Group Beliefs.
In ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2014, pages 328–350. In series: Lecture Notes in Computer Science #8758. SPRINGER INT PUBLISHING AG. ISBN: 978-3-319-14484-9, 978-3-319-14483-2.
DOI: 10.1007/978-3-319-14484-9_17.
[268] Full text  Aseel Berglund and Fredrik Heintz. 2014.
Integrating Soft Skills into Engineering Education for Increased Student Throughput and more Professional Engineers.
In Proceedings of LTHs 8:e Pedagogiska Inspirationskonferens (PIK). Lunds university.
Link to publication: http://www.lth.se/fileadmin/lth/genombro...
[267] Full text  Alexander Bock, Alexander Kleiner, Jonas Lundberg and Timo Ropinski. 2014.
Supporting Urban Search & Rescue Mission Planning through Visualization-Based Analysis.
In Proceedings of the Vision, Modeling, and Visualization Conference 2014. Eurographics - European Association for Computer Graphics. ISBN: 978-3-905674-74-3.
DOI: 10.2312/vmv.20141275.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[266] S.T. Cao, L.A. Nguyen and Andrzej Szalas. 2014.
The web ontology rule language OWL 2 RL+ and its extensions.
In Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, editors, Transactions on Computational Collective Intelligence XIII, pages 152–175. In series: Lecture Notes in Computer Science #8342. Springer Verlag (Germany). ISBN: 978-3-642-54454-5.
DOI: 10.1007/978-3-642-54455-2_7.
[265] Andrzej Szalas. 2014.
Symbolic Explanations of Generalized Fuzzy Reasoning.
In SMART DIGITAL FUTURES 2014, pages 7–16. In series: Frontiers in Artificial Intelligence and Applications #??. IOS Press. ISBN: 978-1-61499-405-3; 978-1-61499-404-6.
DOI: 10.3233/978-1-61499-405-3-7.
[264] Full text  Cyrille Berger. 2014.
Strokes detection for skeletonisation of characters shapes.
In George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven M. Drucker, Chandra Kambhamettu, Maha El Choubassi, Zhigang Deng, Mark Carlson, editors, Advances in Visual Computing: 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part II, pages 510–520. In series: Lecture Notes in Computer Science #8888. Springer. ISBN: 978-3-319-14364-4, 978-3-319-14363-7.
DOI: 10.1007/978-3-319-14364-4_49.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[263] Full text  Cyrille Berger. 2014.
Colour perception graph for characters segmentation.
In George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ryan McMahan, Jason Jerald, Hui Zhang, Steven M. Drucker, Chandra Kambhamettu, Maha El Choubassi, Zhigang Deng, Mark Carlson, editors, Advances in Visual Computing: 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, pages 598–608. In series: Lecture Notes in Computer Science #8888. Springer. ISBN: 978-3-319-14364-4, 978-3-319-14363-7.
DOI: 10.1007/978-3-319-14364-4_58.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[262] L.A. Nguyen, T.-B.-L. Nguyen and Andrzej Szalas. 2014.
On horn knowledge bases in regular description logic with inverse.
In KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, pages 37–49. In series: Advances in Intelligent Systems and Computing #Vol 244. Springer Berlin/Heidelberg. ISBN: 9783319027401.
DOI: 10.1007/978-3-319-02741-8_6.
[261] Full text  Mattias Tiger and Fredrik Heintz. 2014.
Towards Learning and Classifying Spatio-Temporal Activities in a Stream Processing Framework.
In Ulle Endriss and João Leite, editors, STAIRS 2014: Proceedings of the 7th European Starting AI Researcher Symposium, pages 280–289. In series: Frontiers in Artificial Intelligence and Applications #264. IOS Press. ISBN: 978-1-61499-420-6, 978-1-61499-421-3.
DOI: 10.3233/978-1-61499-421-3-280.
Fulltext: https://doi.org/10.3233/978-1-61499-421-...
Ebook: STAIRS 2014: http://ebooks.iospress.nl/volume/stairs-...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[260] 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.
In Butenko, S., Pasiliao, E.L., Shylo, V., editors, Examining Robustness and Vulnerability of Networked Systems, pages 26–50. In series: NATO Science for Peace and Security Series - D: Information and Communication Security #37. IOS Press. ISBN: 978-1-61499-390-2, 978-1-61499-391-9.
DOI: 10.3233/978-1-61499-391-9-26.
Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-1-6...
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[259] Full text  Fredrik Heintz and Daniel de Leng. 2014.
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information.
In Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, editors, Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14), August 18-22, 2014, Prague, Czech Republic, pages 429–434. In series: Frontiers in Artificial Intelligence and Applications #263. IOS Press. ISBN: 978-1-61499-418-3, 978-1-61499-419-0.
DOI: 10.3233/978-1-61499-419-0-429.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[258] Full text  Daniel de Leng and Fredrik Heintz. 2014.
Towards On-Demand Semantic Event Processing for Stream Reasoning.
In 17th International Conference on Information Fusion. ISBN: 9788490123553.
[257] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Incremental Dynamic Controllability in Cubic Worst-Case Time.
In Cesta, A; Combi, C; Laroussinie, F, editors, Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME), pages 17–26. In series: International Workshop on Temporal Representation and Reasoning. Proceedings #??. IEEE Computer Society Digital Library. ISBN: 978-1-4799-4227-5.
DOI: 10.1109/TIME.2014.13.
[256] Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Efficient IDC: A Faster Incremental Dynamic Controllability Algorithm.
In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pages 199–207. AAAI Press. ISBN: 978-1-57735-660-8.
[255] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2014.
Classical Dynamic Controllability Revisited: A Tighter Bound on the Classical Algorithm.
In Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART), pages 130–141. ISBN: 978-989-758-015-4.
DOI: 10.5220/0004815801300141.
[254] Full text  Fredrik Heintz and Inger Erlander Klein. 2014.
The Design of Sweden's First 5-year Computer Science and Software Engineering Program.
In Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE 2014), pages 199–204. ACM Press. ISBN: 978-1-4503-2605-6.
DOI: 10.1145/2538862.2538925.
2013
[253] Linh Anh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szalas. 2013.
HornDL: An Expressive Horn Description Logic with PTime Data Complexity.
In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems, pages 259–264. In series: Lecture Notes in Computer Science #7994. Springer Berlin/Heidelberg. ISBN: 978-3-642-39665-6, 978-3-642-39666-3.
DOI: 10.1007/978-3-642-39666-3_25.
[252] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2013.
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.
In Costin BÇŽdicÇŽ, Ngoc Thanh Nguyen, Marius Brezovan, editors, Computational Collective Intelligence. Technologies and Applications, pages 143–153. In series: Lecture Notes in Computer Science #8083. Springer Berlin/Heidelberg. ISBN: 978-3-642-40494-8, 978-3-642-40495-5.
DOI: 10.1007/978-3-642-40495-5_15.
[251] Linh Anh Nguyen and Andrzej Szalas. 2013.
On the Horn Fragments of Serial Regular Grammar Logics with Converse.
In Dariusz Barbucha, Manh Thanh Le, Robert J. Howlett, Lakhmi C. Jain, editors, Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), pages 225–234. In series: Frontiers in Artificial Intelligence and Applications #252. IOS Press. ISBN: 978-1-61499-253-0.
DOI: 10.3233/978-1-61499-254-7-225.
[250] Jan Maluszynski and Andrzej Szalas. 2013.
Partiality and Inconsistency in Agents' Belief Bases.
In Dariusz Barbucha, Manh Thanh Le, Robert J. Howlett, Lakhmi C. Jain, editors, Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), pages 3–17. In series: Frontiers in Artificial Intelligence and Applications #252. IOS Press. ISBN: 978-1-61499-253-0.
DOI: 10.3233/978-1-61499-254-7-3.
[249] Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas and Rineke Verbrugge. 2013.
Perceiving Speech Acts under Incomplete and Inconsistent Information.
In Dariusz Barbucha, Manh Thanh Le, Robert J. Howlett, Lakhmi C. Jain, editors, Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), pages 255–264. In series: Frontiers in Artificial Intelligence and Applications #252. IOS Press. ISBN: 978-1-61499-253-0.
DOI: 10.3233/978-1-61499-254-7-255.
[248] Full text  Patrick Doherty, Fredrik Heintz and Jonas Kvarnström. 2013.
Robotics, Temporal Logic and Stream Reasoning.
In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013.
[247] Fredrik Heintz and Inger Erlander Klein. 2013.
Civilingenjör i Mjukvaruteknik vid Linköpings universitet: mål, design och erfarenheter.
In S. Vikström, R. Andersson, F. Georgsson, S. Gunnarsson, J. Malmqvist, S. PÃ¥lsson och D. Raudberget, editors, Proceedings of 4:de Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng). In series: UMINF #13:21.
[246] Fredrik Heintz and Tommy Färnqvist. 2013.
Återkoppling genom automaträttning.
In Proceedings of 4:de Utvecklingskonferensen för Sveriges ingenjörsutbildningar (UtvSvIng).
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[245] Full text  Robin Murphy and Alexander Kleiner. 2013.
A Community-Driven Roadmap for the Adoption of Safety Security and Rescue Robots.
In Safety, Security, and Rescue Robotics (SSRR), 2013 IEEE International Symposium on, pages 1–5. IEEE conference proceedings. ISBN: 978-1-4799-0879-0.
DOI: 10.1109/SSRR.2013.6719375.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[244] Full text  Christian Dornhege, Alexander Kleiner and Andreas Kolling. 2013.
Coverage Search in 3D.
In Safety, Security, and Rescue Robotics (SSRR), 2013 IEEE International Symposium on, pages 1–8. IEEE. ISBN: 978-1-4799-0879-0.
DOI: 10.1109/SSRR.2013.6719340.
Note: Accepted for Publication.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[243] Full text  Fredrik Heintz. 2013.
Semantically Grounded Stream Reasoning Integrated with ROS.
In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 5935–5942. In series: IEEE International Conference on Intelligent Robots and Systems. Proceedings #??. IEEE conference proceedings. ISBN: 978-146736358-7.
DOI: 10.1109/IROS.2013.6697217.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[242] Full text  Gianpaolo Conte, Alexander Kleiner, Piotr Rudol, Karol Korwel, Mariusz Wzorek and Patrick Doherty. 2013.
Performance evaluation of a light weight multi-echo LIDAR for unmanned rotorcraft applications.
In International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XL-1/W2. In series: International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences #??. Copernicus Gesellschaft MBH.
[241] Full text  Andreas Kolling, Alexander Kleiner and Piotr Rudol. 2013.
Fast Guaranteed Search With Unmanned Aerial Vehicles.
In Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013), pages 6013–6018. In series: IEEE International Conference on Intelligent Robots and Systems. Proceedings #??. IEEE.
DOI: 10.1109/IROS.2013.6697229.
[240] Full text  Karen Petersen, Alexander Kleiner and Oskar von Stryk. 2013.
Fast Task-Sequence Allocation for Heterogeneous Robot Teams with a Human in the Loop.
In Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013), pages 1648–1655. In series: IEEE International Conference on Intelligent Robots and Systems. Proceedings #??. IEEE.
DOI: 10.1109/IROS.2013.6696570.
[239] Full text  Fredrik Heintz and Daniel de Leng. 2013.
Semantic Information Integration with Transformations for Stream Reasoning.
In 16th International Conference on Information Fusion, pages 445–452. IEEE. ISBN: 978-605-86311-1-3.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[238] Full text  Mikael Nilsson. 2013.
On the Complexity of Finding Spanner Paths.
In Sandor P. Fekete, editor, Booklet of Abstracts, The European Workshop on Computational Geometry (EuroCG), pages 77–80.
Booklet of Abstracts: http://www.ibr.cs.tu-bs.de/alg/eurocg13/...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[237] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2013.
Exploiting Fully Observable and Deterministic Structures in Goal POMDPs.
In Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi, Simone Fratini, editors, Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS), pages 242–250. AAAI Press. ISBN: 978-1-57735-609-7.
Link to full text: http://www.aaai.org/ocs/index.php/ICAPS/...
[236] Full text  Mikael Nilsson, Jonas Kvarnström and Patrick Doherty. 2013.
Incremental Dynamic Controllability Revisited.
In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-609-7.
[235] Full text  Andreas Kolling and Alexander Kleiner. 2013.
Multi-UAV Trajectory Planning for Guaranteed Search.
In Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013), pages 79–86. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). ISBN: 978-1-4503-1993-5.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[234] Full text  Alexander Kleiner, A. Farinelli, S. Ramchurn, B. Shi, F. Maffioletti and R. Reffato. 2013.
RMASBench: Benchmarking Dynamic Multi-Agent Coordination in Urban Search and Rescue.
In Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013), pages 1195–1196. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). ISBN: 978-1-4503-1993-5.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[233] Full text  Alexander Kleiner and Andreas Kolling. 2013.
Guaranteed Search With Large Teams of Unmanned Aerial Vehicles.
In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages 2977–2983. In series: Robotics and Automation (ICRA), 2013 IEEE International Conference on #??. IEEE conference proceedings. ISBN: 978-1-4673-5641-1.
DOI: 10.1109/ICRA.2013.6630990.
[232] Barbara Dunin-Keplicz and Andrzej Szalas. 2013.
Distributed Paraconsistent Belief Fusion.
In Giancarlo Fortino , Costin Badica , Michele Malgeri and Rainer Unland, editors, Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012, pages 59–69. In series: Studies in Computational Intelligence #446. Springer Berlin/Heidelberg. ISBN: 978-3-642-32523-6, 978-3-642-32524-3.
DOI: 10.1007/978-3-642-32524-3_9.
find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13601893
2012
[231] Patrick Doherty, Fredrik Heintz and David Landén. 2012.
A Distributed Task Specification Language for Mixed-Initiative Delegation.
In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 42–57. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, 978-3-642-25920-3.
DOI: 10.1007/978-3-642-25920-3_4.
[230] David Landén, Fredrik Heintz and Patrick Doherty. 2012.
Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study.
In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 288–303. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, 978-3-642-25920-3.
DOI: 10.1007/978-3-642-25920-3_20.
[229] Full text  Cyrille Berger. 2012.
Weak Constraints Network Optimiser.
In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pages 1270–1277. IEEE.
DOI: 10.1109/ICRA.2012.6225060.
[228] Full text  Gerald Steinbauer and Alexander Kleiner. 2012.
Towards CSP-based mission dispatching in C2/C4I systems.
In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages 1–6. IEEE. ISBN: 978-1-4799-0164-7, 978-1-4799-0163-0, 978-1-4799-0165-4.
DOI: 10.1109/SSRR.2012.6523875.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
[227] L. Marconi, C. Melchiorri, M. Beetz, D. Pangercic, R. Siegwart, S. Leutenegger, R. Carloni, S. Stramigioli, H. Bruyninckx, Patrick Doherty, Alexander Kleiner, V. Lippiello, A. Finzi, B. Siciliano, A. Sala and N. Tomatis. 2012.
The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments.
In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages 1–4. IEEE. ISBN: 978-1-4799-0164-7, 978-1-4799-0163-0, 978-1-4799-0165-4.
DOI: 10.1109/SSRR.2012.6523905.
[226] Full text  Cyrille Berger. 2012.
Toward rich geometric map for SLAM: Online Detection of Planes in 2D LIDAR.
In Proceedings of the International Workshop on Perception for Mobile Robots Autonomy (PEMRA).
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[225] Ha Quang-Thuy, Hoang Thi-Lan-Giao, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas and Tran Thanh-Luong. 2012.
Concept Learning for Description Logic-based Information Systems.
In KSE 2012 - International Conference on Knowledge and Systems Engineering, pages 65–73. IEEE Computer Society.
DOI: 10.1109/KSE.2012.23.
[224] Ha Quang-Thuy, Hoang Thi-Lan-Giao, Linh Anh Nguyen, Nguyen Hung-Son, Andrzej Szalas and Tran Thanh-Luong. 2012.
A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics.
In SoICT 2012 - 3rd International Symposium on Information and Communication Technology, pages 241–249. ACM Press.
DOI: 10.1145/2350716.2350753.
[223] Full text  Fredrik Heintz and Tommy Färnqvist. 2012.
Pedagogical Experiences of Competitive Elements in an Algorithms Course.
In Proceedings of LTHs 7:e Pedagogiska Inspirationskonferens (PIK).
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[222] Full text  Patrick Doherty and Fredrik Heintz. 2012.
Delegation-Based Collaboration.
In Proceedings of the 5th International Conference on Cognitive Systems (CogSys).
[221] Barbara Dunin-Keplicz and Andrzej Szalas. 2012.
Epistemic Profiles and Belief Structures.
In Gordan Jezic, Mario Kusek, Ngoc-Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings, pages 360–369. In series: Lecture Notes in Computer Science #7327. Springer Berlin/Heidelberg. ISBN: 978-3-642-30946-5, 978-3-642-30947-2.
DOI: 10.1007/978-3-642-30947-2_40.
find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13481324
find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Agent+a...
[220] Full text  Fredrik Heintz and Zlatan Dragisic. 2012.
Semantic Information Integration for Stream Reasoning.
In Proceedings of the 15th International Conference on Information Fusion (FUSION). Linköping University Electronic Press.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[219] Full text  Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2012.
Temporal Composite Actions with Constraints.
In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488. AAAI Press. ISBN: 978-1-57735-560-1, 978-1-57735-561-8.
Link: http://www.aaai.org/ocs/index.php/KR/KR1...
2011
[218] Full text  Gianpaolo Conte and Patrick Doherty. 2011.
A Visual Navigation System for UAS Based on Geo-referenced Imagery.
In International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol. XXXVIII-1/C22Proceedings of the International Conference on Unmanned Aerial Vehicle in Geomatics, Zurich, Switzerland, September 14-16, 2011. In series: International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences #??.
[217] Full text  Jonas Kvarnström. 2011.
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.
In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS), pages 138–145. AAAI Press. ISBN: 978-1-57735-503-8, 978-1-57735-504-5.
Fulltext: http://www.aaai.org/ocs/index.php/ICAPS/...
[216] Full text  Patrick Doherty, Fredrik Heintz and David Landén. 2011.
A Delegation-Based Collaborative Robotic Framework.
In Christian Guttmann, editor, Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[215] Full text  Patrick Doherty and Fredrik Heintz. 2011.
A Delegation-Based Cooperative Robotic Framework.
In Proceedings of the IEEE International Conference on Robotics and Biomimetic, pages 2955–2962. IEEE conference proceedings. ISBN: 978-1-4577-2136-6.
DOI: 10.1109/ROBIO.2011.6181755.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[214] Jan Maluszynski and Andrzej Szalas. 2011.
Living with Inconsistency and Taming Nonmonotonicity.
In O. de Moor, G. Gottlob, T. Furche, A. Sellers, editors, Datalog Reloaded, pages 334–398. In series: Lecture Notes in Computer Science #6702. Springer Berlin/Heidelberg. ISBN: 978-3-642-24205-2.
DOI: 10.1007/978-3-642-24206-9_22.
[213] Son Thanh Cao, Linh Anh Nguyen and Andrzej Szalas. 2011.
WORL: A Web Ontology Rule Language.
In Proceedings of the 3rd International Conference on Knowledge and Systems Engineering (KSE), pages 32–39. IEEE. ISBN: 978-1-4577-1848-9.
DOI: 10.1109/KSE.2011.14.
[212] Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 2011.
Tractable model checking for fragments of higher-order coalition logic.
In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, pages 743–750. AAAI Press. ISBN: 0-9826571-6-1, 978-0-9826571-6-4.
Link: http://dl.acm.org/citation.cfm?id=203172...
[211] Son Thanh Cao, Anh Linh Nguyen and Andrzej Szalas. 2011.
On the Web Ontology Rule Language OWL 2 RL.
In Piotr Jedrzejowicz, Ngoc Thanh Nguyen and Kiem Hoang, editors, Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications (ICCCI), pages 254–264. In series: Lecture Notes in Computer Science #6922. Springer Berlin/Heidelberg. ISBN: 978-3-642-23934-2.
DOI: 10.1007/978-3-642-23935-9_25.
[210] Full text  Patrick Doherty, Tomasz Michalak, Jacek Sroka and Andrzej Szalas. 2011.
Contextual Coalitional Games.
In Mohua Banerjee, Anil Seth, editors, Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA), pages 65–78. In series: Lecture Notes in Artificial Intelligence #6521. Springer Berlin/Heidelberg.
DOI: 10.1007/978-3-642-18026-2_7.
2010
[209] Barbara Dunin-Keplicz, Anh Linh Nguyen and Andrzej Szalas. 2010.
Graded Beliefs, Goals and Intentions.
In Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS), pages 1–15. AAAI Press.
[208] Cyrille Berger and Simon Lacroix. 2010.
DSeg: Détection directe de segments dans une image.
In 17ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA).
[207] Anh Linh Nguyen and Andrzej Szalas. 2010.
Three-Valued Paraconsistent Reasoning for Semantic Web Agents.
In Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems ? Technologies and Applications (KES-AMSTA), pages 152–162. In series: Lecture Notes in Artificial Intelligence #6070. Springer. ISBN: 978-3-642-13479-1.
DOI: 10.1007/978-3-642-13480-7_17.
[206] Full text  Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson. 2010.
Research with Collaborative Unmanned Aircraft Systems.
In Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[205] Full text  Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 2010.
Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems.
In Proceedings of the 2010 IEEE International Conference on Robotics and Automation (ICRA), pages 1913–1920. In series: Proceedings - IEEE International Conference on Robotics and Automation #2010. IEEE conference proceedings. ISBN: 978-1-4244-5038-1.
DOI: 10.1109/ROBOT.2010.5509203.
[204] Full text  Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 2010.
Choosing Path Replanning Strategies for Unmanned Aircraft Systems.
In Ronen Brafman, Héctor Geffner, Jörg Hoffmann, Henry Kautz, editors, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), pages 193–200. AAAI Press. ISBN: 978-1-57735-449-9.
[203] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Reasoning in DyKnow.
In Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik.
[202] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Middleware Support for Embedded Reasoning.
In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER). AAAI Press. ISBN: 978-157735458-1.
[201] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010.
Stream-Based Reasoning Support for Autonomous Systems.
In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8.
DOI: 10.3233/978-1-60750-606-5-183.
[200] Full text  Fredrik Heintz and Patrick Doherty. 2010.
Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs.
In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1063–1069. IEEE conference proceedings. ISBN: 978-1-4244-7814-9.
DOI: 10.1109/ICARCV.2010.5707967.
[199] Full text  Jonas Kvarnström and Patrick Doherty. 2010.
Automated Planning for Collaborative UAV Systems.
In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1078–1085. IEEE conference proceedings. ISBN: 978-1-4244-7813-2, 978-1-4244-7814-9.
DOI: 10.1109/ICARCV.2010.5707969.
IEEE Explore: http://ieeexplore.ieee.org/xpls/abs_all....
[198] Full text  Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg. 2010.
Generating UAV Communication Networks for Monitoring and Surveillance.
In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), pages 1070–1077. IEEE conference proceedings. ISBN: 978-1-4244-7814-9.
DOI: 10.1109/ICARCV.2010.5707968.
[197] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2010.
Iterative Bounding LAO*.
In Helder Coelho, Rudi Studer and Mike Wooldridge, editors, ECAI 2010: 19th European Conference on Artificial Intelligence - Volume 215 Frontiers in Artificial Intelligence and Applications, pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8, 978-1-60750-606-5.
DOI: 10.3233/978-1-60750-606-5-341.
[196] Full text  Jonas Kvarnström. 2010.
Planning for Loosely Coupled Agents using Partial Order Forward-Chaining.
In Roland Bol, editor, The Swedish AI Society Workshop 2010, SAIS 2010, pages 45–54. In series: Linköping Electronic Conference Proceedings #48. Linköping University Electronic Press, Linköpings universitet.
Fulltext: http://www.ep.liu.se/ecp/048/009/ecp1048...
[195] Patrick Doherty and Andrzej Szalas. 2010.
On the Correctness of Rough-Set Based Approximate Reasoning.
In M. Szczuka, M. Kryszkiewicz, S. Ramanna, R. Jensen, Q. Hu, editors, Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 327–336. In series: Lecture Notes in Computer Science #6086. Springer. ISBN: 978-3-642-13528-6.
DOI: 10.1007/978-3-642-13529-3_35.
[194] Full text  Oleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström and Per-Magnus Olsson. 2010.
Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks.
In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7.
find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/12536749
Link to publication: http://www.roboticsproceedings.org/rss05...
2009
[193] Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 2009.
Fusing Approximate Knowledge from Distributed Sources.
In Proceedings of the 3rd International Symposium on Intelligent Distributed Computing (IDC), pages 75–86. In series: Studies in Computational Intelligence #237. Springer Berlin/Heidelberg. ISBN: 978-3-642-03213-4, 978-3-642-26930-1.
DOI: 10.1007/978-3-642-03214-1_8.
[192] Linh Anh Nguyen and Andrzej Szalas. 2009.
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*.
In Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS&P), pages 431–442.
[191] Linh Anh Nguyen and Andrzej Szalas. 2009.
An Optimal Tableau Decision Procedure for Converse-PDL.
In Proceedings of the 1st International Conference on Knowlegde and Systems Engineering (KSE), pages 207–214. IEEE Computer Society. ISBN: 978-1-4244-5086-2.
DOI: 10.1109/KSE.2009.12.
[190] Full text  Teresa Vidal-Calleja, Cyrille Berger, Joan Solà and Simon Lacroix. 2009.
Environment Modeling for Cooperative Aerial/Ground Robotic Systems.
In Proceedings of the 14th International Symposium on Robotics Research (ISRR), pages 681–696. In series: Springer Tracts in Advanced Robotics #70. Springer. ISBN: 978-3-642-19456-6.
DOI: 10.1007/978-3-642-19457-3_40.
[189] Full text  Teresa Vidal-Calleja, Cyrille Berger and Simon Lacroix. 2009.
Event-driven loop closure in multi-robot mapping.
In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 1535–1540. IEEE conference proceedings. ISBN: 978-1-4244-3803-7.
DOI: 10.1109/IROS.2009.5354335.
[188] Full text  Anna Pernestål, Håkan Warnquist and Mattias Nyberg. 2009.
Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System.
In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), pages 251–256. ISBN: 978-390266144-9.
DOI: 10.3182/20090610-3-IT-4004.00048.
[187] Full text  Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 2009.
Planning as Heuristic Search for Incremental Fault Diagnosis and Repair.
In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS).
[186] Full text  Håkan Warnquist, Anna Pernestål and Mattias Nyberg. 2009.
Anytime Near-Optimal Troubleshooting Applied to a Auxiliary Truck Braking System.
In Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pages 1306–1311. ISBN: 978-3-902661-46-3.
DOI: 10.3182/20090630-4-ES-2003.00212.
[185] Full text  Martin Magnusson, David Landén and Patrick Doherty. 2009.
Logical Agents that Plan, Execute, and Monitor Communication.
In Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2).
[184] Full text  Martin Magnusson and Patrick Doherty. 2009.
Planning Speech Acts in a Logic of Action and Change.
In Fredrik Heintz and Jonas Kvarnström, editors, The Swedish AI Society Workshop 2009, SAIS 2009, pages 39–48. In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet.
Fulltext: http://www.ep.liu.se/ecp/035/008/ecp0935...
[183] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009.
Stream Reasoning in DyKnow: A Knowledge Processing Middleware System.
In Proceedings of the Stream Reasoning Workshop. In series: CEUR Workshop Proceedings #466. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.
[182] Andrzej Szalas and Linh Anh Nguyen. 2009.
EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC.
In Ngoc Thanh; Kowalczyk, Ryszard; Chen, Shyi-Ming, editors, Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems (ICCCI), pages 437–448. In series: Lecture Notes in Artificial Intelligence #5796. Springer. ISBN: 978-3-642-04440-3, 978-3-642-04441-0.
DOI: 10.1007/978-3-642-04441-0_38.
[181] Full text  Martin Magnusson, Jonas Kvarnström and Patrick Doherty. 2009.
Abductive Reasoning with Filtered Circumscription.
In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC). UTSePress. ISBN: 978-0-9802840-7-2.
[180] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2009.
A Stream-Based Hierarchical Anchoring Framework.
In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE conference proceedings. ISBN: 978-1-4244-3803-7.
DOI: 10.1109/IROS.2009.5354372.
IEEE Xplore: http://ieeexplore.ieee.org/stamp/stamp.j...
[179] M. Wiggberg and Peter Dalenius. 2009.
Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007.
In Proceedings of the 1st International Conference on Computer Supported Education (CSEDU), pages 5–12. ISBN: 978-989-8111-82-1.
[178] Linh Anh Nguyen and Andrzej Szalas. 2009.
A tableau calculus for regular grammar logics with converse.
In Proceedings of the 22nd International Conference on Automated Deduction (CADE), pages 421–436. In series: Lecture Notes in Artificial Intelligence #5663. Springer. ISBN: 978-364202958-5.
DOI: 10.1007/978-3-642-02959-2_31.
2008
[177] Gianpaolo Conte and Patrick Doherty. 2008.
Use of Geo-referenced Images with Unmanned Aerial Systems.
In Workshop Proceedings of SIMPAR 2008, International Conference on Simulation, Modeling and Programming for Autonomous Robots. Venice(Italy) 2008 November,3-4., pages 444–454. ISBN: 978-88-95872-01-8.
[176] Cyrille Berger and Simon Lacroix. 2008.
Modélisation de l'environnement par facettes planes pour la Cartographie et la Localisation Simultanées par stéréovision.
In Reconnaissance des Formes et Intelligence Artificielle (RFIA).
[175] Full text  Cyrille Berger and Simon Lacroix. 2008.
Using planar facets for stereovision SLAM.
In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS), pages 1606–1611. IEEE conference proceedings. ISBN: 978-1-4244-2057-5.
DOI: 10.1109/IROS.2008.4650986.
[174] Full text  Anders Holmberg and Per-Magnus Olsson. 2008.
Route Planning for Relay UAV.
In Proceedings of the 26th International Congress of the Aeronautical Sciences (ICAS). Optimage Ltd.. ISBN: ISBN 0-9533991-9-2.
[173] Full text  Joe Steinhauer. 2008.
Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames.
In ECAI 2008, pages 821–822. In series: Frontiers in Artificial Intelligence and Applications #178. IOS Press. ISBN: 978-1-58603-891-5.
DOI: 10.3233/978-1-58603-891-5-821.
[172] Full text  Per Nyblom and Patrick Doherty. 2008.
Towards Automatic Model Generation by Optimization.
In Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence (SCAI), pages 114–123. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-58603-867-0, e-978-1-60750-335-4.
Link to publication: http://www.booksonline.iospress.nl/Conte...
[171] Full text  Håkan Warnquist and Mattias Nyberg. 2008.
A Heuristic for Near-Optimal Troubleshooting Using AO*.
In Proceedings of the International Workshop on the Principles of Diagnosis.
[170] Full text  Håkan Warnquist, Mattias Nyberg and Petter Säby. 2008.
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine.
In 10th Scandinavian Conference on Artificial Intelligence, SCAI 2008, pages 68–75. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-58603-867-0, e-978-1-60750-335-4.
Link to paper: http://books.google.se/books?id=eju691VM...
[169] Full text  Gianpaolo Conte and Patrick Doherty. 2008.
An Integrated UAV Navigation System Based on Aerial Image Matching.
In IEEE Aerospace Conference 2008,2008, pages 3142–3151. In series: IEEE Aerospace Conference #??. IEEE. ISBN: 978-1-4244-1487-1, 978-1-4244-1488-8.
DOI: 10.1109/AERO.2008.4526556.
[168] Full text  Gianpaolo Conte, Maria Hempel, Piotr Rudol, David Lundström, Simone Duranti, Mariusz Wzorek and Patrick Doherty. 2008.
High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms.
In Proceedings of the AIAA Guidance, Navigation, and Control Conference (GNC). AIAA. ISBN: 978-1-56347-945-8.
[167] Full text  Piotr Rudol and Patrick Doherty. 2008.
Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery.
In Proceedings of the IEEE Aerospace Conference, pages 1–8. In series: Aerospace Conference Proceedings #2008. IEEE. ISBN: 978-1-4244-1488-8, 978-1-4244-1487-1.
DOI: 10.1109/AERO.2008.4526559.
[166] Full text  Erik Sandewall. 2008.
Artificial Intelligence Needs Open-Access Knowledgebase Contents.
In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), pages 1602–1605. AAAI Press. ISBN: 978-1-57735-368-3, 978-1-57735-367-6.
Note: Senior Members track
[165] Patrick Doherty and Andrzej Szalas. 2008.
Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription.
In Gerhard Brewka, Jérôme Lang, editors, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 560–570. AAAI Press. ISBN: 978-1-57735-384-3.
[164] H.Joe Steinhauer. 2008.
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions.
In Dengel, A.; Berns, K.; Breuel, Th.; Bomarius, F.; Roth-Berghofer, Th.R., editors, Proceedings of the 31st German Conference on Advances in Artificial Intelligence (KI), pages 348–355. In series: Lecture Notes in Computer Science #5243. Springer. ISBN: 978-3-540-85844-7.
DOI: 10.1007/978-3-540-85845-4_43.
[163] Full text  Fredrik Heintz and Patrick Doherty. 2008.
DyKnow Federations: Distributing and Merging Information Among UAVs.
In Proceedings of the 11th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-3-8007-3092-6.
[162] Full text  Martin Magnusson and Patrick Doherty. 2008.
Temporal Action Logic for Question Answering in an Adventure Game.
In Artificial General Intelligence, AGI 2008, pages 236–247. In series: Frontiers in Artificial Intelligence and Applications #15. IOS Press. ISBN: 978-1-58603-833-5.
[161] Full text  Martin Magnusson, David Landén and Patrick Doherty. 2008.
Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System.
In ECAI 2008, pages 933–934. In series: Frontiers in Artificial Intelligence and Applications #178. IOS Press. ISBN: 978-1-58603-891-5.
DOI: 10.3233/978-1-58603-891-5-933.
[160] Full text  Martin Magnusson and Patrick Doherty. 2008.
Deductive Planning with Inductive Loops.
In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 528–534. AAAI Press. ISBN: 978-1-57735-384-3.
[159] Full text  Martin Magnusson and Patrick Doherty. 2008.
Logical Agents for Language and Action.
In 4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008. AAAI Press. ISBN: 978-1-57735-391-1.
[158] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008.
Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing.
In Martin Hulse and Manfred Hild, editors, IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms.
Note: No proceedings, but CD
[157] Full text  Jonas Kvarnström, Fredrik Heintz and Patrick Doherty. 2008.
A Temporal Logic-Based Planning and Execution Monitoring System.
In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-386-7, 978-1-57735-387-4.
[156] Full text  Per-Magnus Olsson and Patrick Doherty. 2008.
The Observer Algorithm For Visibility Approximation.
In 10th Scandinavian Conference on Artificial Intelligence, SCAI 2008, pages 3–11. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-58603-867-0, e-978-1-60750-335-4.
Link to paper: http://books.google.se/books?id=eju691VM...
[155] Rickard Karlsson, Thomas Schön, David Törnqvist, Gianpaolo Conte and Fredrik Gustafsson. 2008.
Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application.
In Proceedings of the 2008 IEEE Aerospace Conference, pages 1–10. ISBN: 978-1-4244-1487-1, 978-1-4244-1488-8.
DOI: 10.1109/AERO.2008.4526442.
Related report: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[154] Full text  Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk. 2008.
Dynamic Test Selection for Reconfigurable Diagnosis.
In Proceedings of the 47th IEEE Conference on Decision and Control, pages 1066–1072. In series: IEEE Conference on Decision and Control. Proceedings #??. IEEE. ISBN: 978-1-4244-3124-3, 978-1-4244-3123-6.
DOI: 10.1109/CDC.2008.4738793.
[153] Full text  Aida Vitoria, Andrzej Szalas and Jan Maluszynski. 2008.
Four-valued Extension of Rough Sets.
In Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology (RSKT), pages 106–114. In series: Lecture Notes in Computer Science #5009. Springer. ISBN: 978-3-540-79720-3.
DOI: 10.1007/978-3-540-79721-0_19.
[152] Jan Maluszynski, Aida Vitoria and Andrzej Szalas. 2008.
Paraconsistent Logic Programs with Four-valued Rough Sets.
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pages 41–51. In series: Lecture Notes in Computer Science #5306. Springer. ISBN: 978-3-540-88423-1, 978-3-540-88425-5.
DOI: 10.1007/978-3-540-88425-5_5.
[151] Rickard Karlsson, Thomas Schön, David Törnqvist, Gianpaolo Conte and Fredrik Gustafsson. 2008.
Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application.
In Proceedings of Reglermöte 2008, pages 313–322.
Related report: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[150] Full text  Fredrik Heintz, Mattias Krysander, Jacob Roll and Erik Frisk. 2008.
FlexDx: A Reconfigurable Diagnosis Framework.
In Proceedings of the 19th International Workshop on Principles of Diagnosis (DX).
[149] Full text  Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte and Patrick Doherty. 2008.
Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration.
In Proceedings of the IEEE Aerospace Conference. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1487-1.
DOI: 10.1109/AERO.2008.4526558.
[148] Full text  Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008.
Knowledge Processing Middleware.
In S. Carpin, I. Noda, E. Pagello, M. Reggiani and O. von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 147–158. In series: Lecture Notes in Computer Science #5325. Springer. ISBN: 978-3-540-89075-1, 978-3-540-89076-8.
DOI: 10.1007/978-3-540-89076-8_17.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
2007
[147] Full text  Simone Duranti and Gianpaolo Conte. 2007.
In-flight Identification of the Augmented Flight Dynamics of the Rmax Unmanned Helicopter.
In 17th IFAC Symposium on Automatic Control in Aerospace. International Federation of Automatic Control.
DOI: 10.3182/20070625-5-FR-2916.00038.
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[146] Barbara Dunin-Keplicz and Andrzej Szalas. 2007.
Towards Approximate BGI Systems.
In Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pages 277–287. In series: Lecture Notes in Artificial Intelligence #4696. Springer Berlin/Heidelberg. ISBN: 9783540752530.
DOI: 10.1007/978-3-540-75254-7_28.
[145] Full text  Karolina Eliasson. 2007.
Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System.
In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence.
[144] Full text  Per Nyblom. 2007.
Dynamic Planning Problem Generation in a UAV Domain.
In 6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 | Part# 1, pages 258–263. In series: IFAC Proceedings series #??. Elsevier. ISBN: 978-3-902661-65-4.
DOI: 10.3182/20070903-3-FR-2921.00045.
[143] David Lawrence, Erik Sandewall and Peter Berkesand. 2007.
A Swedish Journal Publication Service.
In Högskolor och samhälle i samverkan (HSS).
[142] Full text  Simone Duranti, Gianpaolo Conte, David Lundström, Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 2007.
LinkMAV, a prototype rotary wing micro aerial vehicle.
In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier.
[141] Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 2007.
Dynamics of approximate information fusion.
In Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP), pages 668–677. In series: Lecture Notes in Artificial Intelligence #4585. Springer Berlin/Heidelberg. ISBN: 978-3-540-73450-5.
DOI: 10.1007/978-3-540-73451-2_70.
[140] Patrick Doherty and John-Jules Meyer. 2007.
Towards a delegation framework for aerial robotic mission scenarios.
In Proceedings of the 11th International Workshop on Cooperative Information Agents (CIA), pages 5–26. Springer Berlin/Heidelberg. ISBN: 978-3-540-75118-2.
DOI: 10.1007/978-3-540-75119-9_2.
[139] Full text  Patrick Doherty and Piotr Rudol. 2007.
A UAV search and rescue scenario with human body detection and geolocalization.
In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI). Springer Berlin/Heidelberg. ISBN: 978-3-540-76926-2.
[138] Full text  Luis Mejias, Pascual Campoy, Iván F. Mondragón and Patrick Doherty. 2007.
Stereo visual system for autonomous air vehicle navigation.
In 6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 | Part# 1, pages 203–208. In series: IFAC Proceedings series #??. Elsevier. ISBN: 978-3-902661-65-4.
DOI: 10.3182/20070903-3-FR-2921.00037.
[137] Full text  Fredrik Heintz, Piotr Rudol and Patrick Doherty. 2007.
From Images to Traffic Behavior - A UAV Tracking and Monitoring Application.
In Proceedings of the 10th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-0-662-45804-3, 978-0-662-47830-0.
DOI: 10.1109/ICIF.2007.4408103.
Link: http://www.ida.liu.se/~frehe/publication...
[136] Full text  Fredrik Heintz, Piotr Rudol and Patrick Doherty. 2007.
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.
In Joachim Hertzberg, Michael Beetz and Roman Englert, editors, Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI), pages 460–463. In series: Lecture Notes in Computer Science #4667. Springer. ISBN: 978-3-540-74564-8.
DOI: 10.1007/978-3-540-74565-5_40.
Link: http://www.ida.liu.se/~frehe/publication...
[135] Full text  Martin Magnusson and Patrick Doherty. 2007.
Deductive Planning with Temporal Constraints.
In Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007. AAAI Press. ISBN: 978-1-57735-314-0.
Link: http://www.ucl.ac.uk/commonsense07/paper...
2006
[134] Full text  Alexander Kleiner, Christian Dornhege, Rainer Kümmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, Simone Duranti and David Lundström. 2006.
RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany).
In RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League.
Note: (1st place in the autonomy competition)
fulltext:postprint: http://liu.diva-portal.org/smash/get/div...
[133] Full text  Per Nyblom. 2006.
Dynamic Abstraction for Hierarchical Problem Solving and Execution in Stochastic Dynamic Environments.
In Loris Penserini, Pavlos Peppas, Anna Perini, editors, STAIRS 2006, pages 263–264. In series: Frontiers in Artificial Intelligence and Applications #142. IOS Press. ISBN: 978-1-58603-645-4, e-978-1-60750-190-9.
Link to publication: http://www.booksonline.iospress.nl/Conte...
[132] Full text  Torsten Merz, Simone Duranti and Gianpaolo Conte. 2006.
Autonomous landing of an unmanned helicopter based on vision and inertial sensing.
In Marcelo H. Ang and Oussama Khatib, editors, Proceedings of the 9th International Symposium on Experimental Robotics, pages 343–352. In series: Springer Tracts in Advanced Robotics #21. Springer. ISBN: 978-3-540-28816-9.
DOI: 10.1007/11552246_33.
Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[131] Full text  Andrzej Szalas and Jerzy Tyszkiewicz. 2006.
On the fixpoint theory of equality and its applications.
In Proceedings of the 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA), pages 388–401. In series: Lecture Notes in Computer Science #4136. Springer.
DOI: 10.1007/11828563_26.
[130] Full text  Martin Magnusson and Patrick Doherty. 2006.
Deductive Planning with Temporal Constraints using TAL.
In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR). UWA Press. ISBN: 1-74052-130-7.
DOI: 10.1145/1232425.1232444.
[129] Full text  Mariusz Wzorek, David Landén and Patrick Doherty. 2006.
GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle.
In Proceedings of the 21st Bristol International UAV Systems Conference (UAVS). University of Bristol, Department of Aerospace engineering. ISBN: 0-9552644-0-5.
Note: ISBN: 0-9552644-0-5
[128] Full text  Martin Magnusson. 2006.
Natural Language Understanding using Temporal Action Logic.
In Proceedings of the Workshop on Knowledge and Reasoning for Language Processing (KRAQ). Association for Computational Linguistics.
[127] Full text  H.Joe Steinhauer. 2006.
Qualitative Reconstruction and Update of an Object Constellation.
In Proceedings of the Spatial and Temporal Reasoning Workshop at the 17th European Conference on Artificial Intelligence (ECAI).
[126] Full text  H.Joe Steinhauer. 2006.
Qualitative Communication about Object Scenes.
In Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI).
[125] Full text  Mariusz Wzorek, Gianpaolo Conte, Piotr Rudol, Torsten Merz, Simone Duranti and Patrick Doherty. 2006.
From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle.
In Proceedings of the 21st Bristol UAV Systems Conference (UAVS).
Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[124] Full text  Torsten Merz, Piotr Rudol and Mariusz Wzorek. 2006.
Control System Framework for Autonomous Robots Based on Extended State Machines.
In Proceedings of the International Conference on Autonomic and Autonomous Systems (ICAS).
[123] Full text  Mariusz Wzorek and Patrick Doherty. 2006.
The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning.
In Software Demonstrations at the International Conference on Automated Planning Scheduling (ICAPS-SD), pages 36–37.
[122] Full text  Mariusz Wzorek and Patrick Doherty. 2006.
Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle.
In Derek Long, Stephen F. Smith, Daniel Borrajo, Lee McCluskey, editors, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS), pages 438–441. AAAI Press. ISBN: 978-1-57735-270-9.
[121] Full text  Mariusz Wzorek and Patrick Doherty. 2006.
Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle.
In ICHIT 2006 - International Conference on Hybrid Information Technology,2006.
[120] Björn Hägglund and Anders Haraldsson. 2006.
The Art and Virtue of Symbolic Constraint Propagation.
In CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006.
[119] Ewa Orlowska and Andrzej Szalas. 2006.
Quantifier Elimination in Elementary Set Theory.
In W. MacCaull, I. Duentsch, M. Winter, editors, Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS), pages 237–248. In series: Lecture Notes in Computer Science #3929. Springer Berlin/Heidelberg.
DOI: 10.1007/11734673_19.
2005
[118] Full text  Peter Andersson. 2005.
Hazard: a Framework Towards Connecting Artificial Intelligence and Robotics.
In IJCAI Workshop on Reasoning, Representation and Learning in Computer Games.
[117] Full text  Ewa Madalinska-Bugaj and Witold Lukaszewicz. 2005.
Belief revision revisited.
In Advances in Artificial Intelligence: Proceedings of the 4th Mexican International Conference on Artificial Intelligence (MICAI), pages 31–40. In series: Lecture Notes in Computer Science #3789. Springer.
DOI: 10.1007/11579427_4.
[116] Full text  Patrick Doherty, Andrzej Szalas and Witold Lukaszewicz. 2005.
Similarity, approximations and vagueness.
In Dominik Slezak, Guoyin Wang, Marcin S. Szczuka, Ivo Düntsch, Yiyu Yao, editors, Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC), pages 541–550. In series: Lecture Notes in Artificial Intelligence #3641. Springer. ISBN: 3-540-28653-5.
DOI: 10.1007/11548669_56.
[115] Full text  Fredrik Heintz and Patrick Doherty. 2005.
A knowledge processing middleware framework and its relation to the JDL data fusion model.
In The 8th International Conference on Information Fusion,2005.
[114] Michali Grabowski and Andrzej Szalas. 2005.
A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies.
In Proceedings of the 3rd Atlantic Web Intelligence Conference (AWIC), pages 991–995. In series: Lecture Notes in Computer Science #3528. Springer.
DOI: 10.1007/11495772_29.
[113] Full text  Erik Johan Sandewall. 2005.
Actions as a Basic Software Concept in the Leonardo Computation System.
In IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005.
[112] Full text  Erik Johan Sandewall. 2005.
Integration of Live Video in a System for Natural Language Dialog with a Robot.
In Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial).
[111] Full text  Mariusz Wzorek and Patrick Doherty. 2005.
Reconfigurable path planning for an autonomous unmanned aerial vehicle.
In National Swedish Workshop on Autonomous Systems, SWAR 05,2005.
[110] Full text  Mariusz Wzorek and Patrick Doherty. 2005.
Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle.
In Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG).
[109] Patrick Doherty. 2005.
Knowledge representation and unmanned aerial vehicles.
In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 9–16. IEEE Computer Society. ISBN: 0-7695-2416-8.
DOI: 10.1109/IAT.2005.93.
[108] Full text  Patrik Haslum, Blai Bonet and Hector Geffner. 2005.
New Admissible Heuristics for Domain-Independent Planning.
In Proceedings of the 20th national ´Conference on Artificial Intelligence (AAAI). AAAI Press. ISBN: 1-57735-236-X.
[107] Full text  Fredrik Heintz and Patrick Doherty. 2005.
A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model.
In SWAR 05,2005, pages 50–51.
[106] Full text  Fredrik Heintz and Patrick Doherty. 2005.
A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model.
In 3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005. Mälardalens University.
[105] Peter Andersson. 2005.
Hazard: A Framework Towards Connecting Artificial Intelligence and Robotics.
In Proceedings of the 1st International Workshop on Multi-Agent Robotic Systems (MARS). INSTICC PRESS.
[104] Full text  Per Nyblom. 2005.
Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution.
In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[103] Full text  Martin Magnusson, Patrick Doherty and Andrzej Szalas. 2005.
An Experimental Platform for Approximate Databases.
In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[102] Full text  Per Olof Pettersson and Patrick Doherty. 2005.
Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter.
In Peter Funk, Thorsteinn Rögnvaldsson and Ning Xiong, editors, Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS). Mälardalen University.
[101] Full text  Karolina Eliasson. 2005.
Towards a Robotic Dialogue System with Learning and Planning Capabilities.
In Ingrid Zukerman, Jan Alexandersson , Arne Jönsson, editors, Proceedings of the IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems (KRPDS), pages 1–7.
[100] Full text  Karolina Eliasson. 2005.
Integrating a Discourse Model with a Learning Case-Based Reasoning System.
In Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial).
[99] Full text  Karolina Eliasson. 2005.
An Integrated Discourse Model for a Case-Based Reasoning Dialogue System.
In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[98] Full text  H.Joe Steinhauer. 2005.
Towards a Qualitative Model for Natural Language Communication about Vehicle Traffic.
In IJCAI 2005 Workshop on Spatial and Temporal Reasoning,2005.
[97] Full text  H.Joe Steinhauer. 2005.
A Qualitative Model for Natural Language Communication about Vehicle Traffic.
In Proceedings of the AAAI Spring Symposium on Reasoning with Mental and External Diagrams - Computational Modeling and Spatial Assistance, pages 52–57. AAAI Press. ISBN: 978-1-57735-232-7.
2004
[96] Full text  Fredrik Heintz and Patrick Doherty. 2004.
DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems.
In Proceedings of the Second Joint SAIS/SSLS Workshop.
[95] Full text  Patrik Haslum. 2004.
Patterns in Reactive Programs.
In Patrick Doherty, Gerhard Lakemeyer, Angel P. de Pobil, editors, Proceedings of the 4th International Cognitive Robotics Workshop (COGROB), pages 25–29.
[94] Full text  Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 2004.
Towards a logical analysis of biochemical pathways.
In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA), pages 667–679. In series: Lecture Notes in Computer Science #3229. Springer. ISBN: 978-3-540-23242-1.
DOI: 10.1007/978-3-540-30227-8_55.
[93] Full text  Bourhane Kadmiry and P. Bergsten. 2004.
Robust Fuzzy Gain Scheduled visual-servoing with Sampling Time Uncertainties.
In IEEE International Symposium on Intelligent Control ISIC,2004, pages 239–245. In series: International Symposium on Intelligent Control #2004. ISBN: 0-7803-8635-3.
DOI: 10.1109/ISIC.2004.1387689.
Fulltext: https://doi.org/10.1109/ISIC.2004.138768...
[92] Full text  Bourhane Kadmiry and Dimiter Driankov. 2004.
Takagi-Sugeno Fuzzy Gain Scheduling with Sampling-Time Uncertainties.
In IEEE International Conference on Fuzzy Systems Fuzz-IEEE 2004,2004.
[91] Full text  Patrick Doherty. 2004.
Advanced Research with Autonomous Unmanned Aerial Vehicles.
In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 731–732. AAAI Press. ISBN: 978-1-57735-199-3.
[90] Full text  Per Olof Pettersson and Patrick Doherty. 2004.
Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle.
In ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004, pages 49–55.
[89] H.Joe Steinhauer. 2004.
The Qualitative Description of Traffic Maneuvers.
In ECAI Workshop on Spatial and Temporal Reasoning,2004, pages 141–148.
[88] Full text  Patrick Doherty, Patrik Haslum, Fredrik Heintz, Torsten Merz, Per Nyblom, Tommy Persson and Björn Wingman. 2004.
A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation.
In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS.
[87] Full text  Fredrik Heintz and Patrick Doherty. 2004.
Managing Dynamic Object Structures using Hypothesis Generation and Validation.
In AAAI Workshop on Anchoring Symbols to Sensor Data,2004, pages 54–62. AAAI Press.
[86] Full text  Fredrik Heintz and Patrick Doherty. 2004.
DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems.
In Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, Marcin Szczuka, editors, Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems (MSRAS), pages 479–492. In series: Advances in Soft Computing #28. Springer. ISBN: 978-3540232452.
DOI: 10.1007/3-540-32370-8_37.
[85] Torsten Merz. 2004.
Building a System for Autonomous Aerial Robotics Research.
In Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles (IAV). Elsevier. ISBN: 008-044237-4.
[84] Full text  Gianpaolo Conte, Simone Duranti and Torsten Merz. 2004.
Dynamic 3D path following for an autonomous helicopter.
In Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles (IAV). Elsevier. ISBN: 008-044237-4.
Link to Licentiate Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:...
[83] Full text  Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 2004.
Towards a Logical Analysis of Biochemical Reactions (Extended abstract).
In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pages 997–998. IOS Press. ISBN: 1-58603-452-9.
[82] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2004.
Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities.
In Proceedings of the 7th International Conference on Information Fusion, pages 175–182. ISIF. ISBN: 91-7056-115-X.
[81] Full text  Patrick Doherty and Andrzej Szalas. 2004.
On the Correspondence between Approximations and Similarity.
In Shusaku Tsumoto, Roman Slowinski, Jan Komorowski and Jerzy W. Grzymala-Busse, editors, Proceedings of the International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 143–152. In series: Lecture Notes in Computer Science #3066. Springer.
DOI: 10.1007/978-3-540-25929-9_16.
[80] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2004.
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.
In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 459–468. AAAI Press. ISBN: 978-1-57735-199-3.
[79] Full text  Patrik Haslum. 2004.
Improving Heuristics Through Search.
In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI), pages 1031–1032. IOS Press. ISBN: 1-58603-452-9.
2003
[78] Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson and Peter Bunus. 2003.
DrModelica - An Interactive Environment for Learning Modelica and Modeling using MathModelica.
In .
[77] Full text  Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson and Peter Bunus. 2003.
DrModelica - A Web-Based Teaching Environment for Modelica.
In Proceedings of the 44th Conference on Simulation and Modeling (SIMS). Malardalen University. ISBN: 91-631-4716-5.
[76] Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson and Peter Bunus. 2003.
DrModelica - An Interactive Tutoring Environment for Modelica.
In Proceedings of the 3rd International Modelica Conference. Modelica Association.
[75] Full text  Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters. 2003.
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle.
In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 52–63. In series: Lecture Notes in Computer Science #2821. Springer Verlag.
DOI: 10.1007/978-3-540-39451-8_5.
[74] Andrzej Szalas. 2003.
On a logical approach to estimating computational complexity of potentially intractable problems.
In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings of the 14th International Symposium on Fundamentals of Computation Theory (FCT), pages 423–431. In series: Lecture Notes in Computer Science #2751. Springer.
DOI: 10.1007/978-3-540-45077-1_39.
[73] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003.
On mutual understanding among communicating agents.
In B. Dunin-Keplicz and R. Verbrugge, editors, Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), pages 83–97.
[72] Igor S. Pandzic, Jörgen Ahlberg, Mariusz Wzorek, Piotr Rudol and Miran Mosmondor. 2003.
Faces Everywhere: Towards Ubiquitous Production and Delivery of Face Animation.
In MUM 2003. Proceedings of the 2nd International Conference on Mobile and Ubiquitous Multimedia, 10?12 December, 2003, Norrköping, Sweden, pages 49–56. In series: Linköping Electronic Conference Proceedings #11. Linköping University Electronic Press. ISBN: 1-58113-826-1.
Link to original published article: http://www.ep.liu.se/ecp/011/010/ecp0110...
fulltext:print: http://liu.diva-portal.org/smash/get/div...
[71] Full text  Erik Johan Sandewall. 2003.
High-level design of WWW servers in Allegro Common Lisp.
In Proceedings of the International Lisp Conference (ILC).
[70] Full text  Erik Johan Sandewall. 2003.
A software architecture for AI systems based on self-modifying software individuals.
In Proceedings of the International Lisp Conference (ILC).
[69] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003.
Tolerance Spaces and Approximative Representational Structures.
In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 475–489. In series: Lecture Notes in Computer Science #2821. Springer.
DOI: 10.1007/978-3-540-39451-8_35.
[68] Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2003.
Information Granules for Intelligent Knowledge Structures.
In Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron, editors, Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC), pages 405–412. In series: Lecture Notes in Computer Science #2639. Springer. ISBN: 978-3-540-14040-5.
DOI: 10.1007/3-540-39205-X_68.
[67] Full text  Patrik Haslum and Ulrich Scholz. 2003.
Domain Knowledge in Planning: Representation and Use.
In Proceedings of the ICAPS workshop on PDDL, pages 69–78.
2002
[66] Full text  Patrik Haslum. 2002.
Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency.
In Proceedings of the AIPS 2002 workshop on Planning via Model Checking.
[65] Full text  Jonas Kvarnström. 2002.
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner.
In Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS). AAAI Press. ISBN: 0-57735-142-8.
DOI: 10.3233/978-1-60750-606-5-341.
[64] Erik Skarman and AB Saab. 2002.
EEG waves as chaotic self-oscillations.
In International Journal of Psychophysiology, pages 138–138.
[63] Full text  Erik Johan Sandewall. 2002.
Use of cognitive robotics logic in a double helix architecture for autonomous systems.
In Advances in Plan-Based Control of Robotic Agents: Revised Papers from the International Seminar at Dagstuhl Castle, pages 226–248. In series: Lecture Notes in Computer Science #2466. Springer.
DOI: 10.1007/3-540-37724-7_14.
[62] Andrzej Szalas. 2002.
Second-order quantifier elimination in modal contexts.
In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), pages 223–232. In series: Lecture Notes in Computer Science #2424. Springer. ISBN: 978-354044190-8.
DOI: 10.1007/3-540-45757-7_19.
[61] Full text  Klas Nordberg, Patrick Doherty, Gunnar Farnebäck, Per-Erik Forssén, Gösta Granlund, Anders Moe and Johan Wiklund. 2002.
Vision for a UAV helicopter.
In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland.
[60] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2002.
CAKE: A computer aided knowledge engineering technique.
In Frank van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence,2002, pages 220–224. IOS Press.
[59] Full text  Per Andersson, Krzysztof Kuchcinski, Klas Nordberg and Patrick Doherty. 2002.
Integrating a computational model and a run time system for image processing on a UAV.
In Euromicro Symposium on Digital System Design (DSD), pages 102–109.
DOI: 10.1109/DSD.2002.1115357.
2001
[58] Full text  Joakim Gustafsson. 2001.
Object-oriented Reasoning about Action and Change.
In H.H. Lund, B. Mayoh, J. Perram, editors, Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence (SCAI), pages 53–64. In series: Frontiers in Artificial Intelligence and Applications #66. IOS Press. ISBN: 1-58603-161-9.
[57] Full text  Bourhane Kadmiry, Rainer Palm and Dimiter Driankov. 2001.
Autonomous Helicopter Control Using Gradient Descent Optimization Method.
In Proceedings of the Asian Conference on Robotic & Automation (ACRA).
[56] Full text  Bourhane Kadmiry, Pontus Bergsten and Dimiter Driankov. 2001.
Autonomous Helicopter Control Using Fuzzy-Gain Scheduling.
In Proceedings of the IEEE International Conference on Robotic & Automation (ICRA), pages 2980–2985. IEEE. ISBN: 0-7803-6576-3.
DOI: 10.1109/ROBOT.2001.933074.
[55] Full text  Bourhane Kadmiry and Dimiter Driankov. 2001.
Fuzzy Control of an Autonomous Helicopter.
In Proceedings of the 9th IEEE International Fuzzy Systems Association (IFSA) World Congress, pages 2797–2802. IEEE Computer Society. ISBN: 0-7803-7078-3.
DOI: 10.1109/NAFIPS.2001.943669.
[54] Full text  Bourhane Kadmiry and Dimiter Driankov. 2001.
Autonomous Helicopter Control using Linguistic and Model-Based Fuzzy Control.
In Proceedings of the IEEE International Symposium on Intelligent Control (CCA/ISIC), pages 348–352. IEEE. ISBN: 0-7803-6722-7.
DOI: 10.1109/ISIC.2001.971534.
[53] Full text  Fredrik Heintz, Johan Kummeneje and Paul Scerri. 2001.
Using Simulated RoboCup to Teach AI in Undergraduate Education.
In Proceedings of the 7th Scandinavian Conference on Artificial Intelligence (SCAI), pages 13–21. In series: Frontiers in Artificial Intelligence and Applications #66. IOS Press. ISBN: 1-58603-161-9.
[52] Full text  Fredrik Heintz and Patrick Doherty. 2001.
Chronicle Recognition in the WITAS UAV Project: A Preliminary Report.
In Proceedings of the Swedish AI Society Workshop.
[51] Full text  Patrik Haslum. 2001.
Models for Prediction.
In Proceedings of the IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (PRO-2).
[50] Full text  Patrik Haslum and Héctor Geffner. 2001.
Heuristic Planning with Time and Resources.
In Proceedings of the 6th European Conference on Planning (ECP).
[49] Full text  Joakim Gustafsson and Jonas Kvarnström. 2001.
Elaboration Tolerance through Object-Orientation.
In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense).
[48] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2001.
Computing strongest necessary and weakest sufficient conditions of first-order formulas.
In 17th International Joint Conference on Artificial Intelligence,2001, pages 145–151. Morgan Kaufmann Publishers Inc.. ISBN: 1-55860-812-5, 978-1-558-60812-2.
2000
[47] Jaroslaw Kachniarz and Andrzej Szalas. 2000.
Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language.
In Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy, pages 101–115. WSIiE, Olsztyn, Poland.
[46] Jaroslaw Kachniarz and Andrzej Szalas. 2000.
On Rule-Based Approach to the Construction of Logical Transformers.
In Proceedings of the 1st International Workshop on Rule-Based Programming (RULE), pages 57–71. Springer Physica-Verlag.
[45] Marcus Bjäreland and George Fodor. 2000.
Execution monitoring of industrial process controllers: an application of Ontological Control.
In Prooceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS '00). ISBN: 0080432506.
Link: https://getinfo.de/app/Execution-Monitor...
[44] Full text  Mutsumi Nakamura, Chitta Baral and Marcus Bjäreland. 2000.
Maintainability: a weaker stabilizability-like notion for high level control of agents.
In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI), pages 62–66. AAAI Press. ISBN: 978-0-262-51112-4, 978-1-57735-272-3.
Link: http://swepub.kb.se/bib/swepub:oai:DiVA....
[43] Fredrik Heintz, Johan Kummeneje and Paul Scerri. 2000.
Simulated RoboCup in University Undergraduate Education.
In Proceedings of the Fourth Internation Workshop on RoboCup, pages 309–314. In series: Lecture Notes in Computer Science #2019. Springer Berlin/Heidelberg. ISBN: 978-3-540-42185-6, 978-3-540-45324-6.
DOI: 10.1007/3-540-45324-5_31.
[42] Full text  Patrik Haslum and Peter Jonsson. 2000.
Planning with Reduced Operator Sets.
In Steve Chien, Subbarao Kambhampati, Craig A. Knoblock, editors, Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pages 150–158. AAAI Press. ISBN: 978-1-57735-111-5.
[41] Full text  Patrik Haslum and Héctor Geffner. 2000.
Admissible Heuristics for Optimal Planning.
In Steve Chien, Subbarao Kambhampati, Craig A. Knoblock, editors, Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pages 140–149. AAAI Press. ISBN: 978-1-57735-111-5.
DOI: 10.1609/aimag.v21i4.1536.
Note: There is an error in the paper: the condition for commutativity of actions (section "Commutativity Pruning") must also include that neither action adds a precondition of the other. Thus, commutativity is not the same as Graphplan-style "non-interference".
Link: http://swepub.kb.se/bib/swepub:oai:DiVA....
[40] Fredrik Heintz. 2000.
FCFoo99.
In Proceedings of RoboCup-99: Robot Soccer World Cup III (RoboCup), pages 563–566. In series: Lecture Notes in Computer Science #1856. Springer London. ISBN: 3-540-41043-0.
Link: http://dl.acm.org/citation.cfm?id=698527
[39] Full text  Jonas Kvarnström, Patrick Doherty and Patrik Haslum. 2000.
Extending TALplanner with concurrency and resources.
In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 501–505. In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 4274903885, 1586030132.
Link: http://swepub.kb.se/bib/swepub:oai:DiVA....
[38] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2000.
Efficient reasoning using the local closed-world assumption.
In Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA), pages 49–58. In series: Lecture Notes in Computer Science #1904. Springer Berlin/Heidelberg. ISBN: 978-3-540-41044-7, 978-3-540-45331-4.
DOI: 10.1007/3-540-45331-8_5.
[37] Full text  Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Johan Sandewall, Klas Nordberg, Erik Skarman and Johan Wiklund. 2000.
The WITAS unmanned aerial vehicle project.
In Werner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 747–755. IOS Press. ISBN: 1-58603-013-2, 4-274-90388-5.
Link: http://www2.cvl.isy.liu.se/ScOut/Publica...
[36] Full text  Gösta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman and Erik Sandewall. 2000.
WITAS: An Intelligent Autonomous Aircraft Using Active Vision.
In Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV). Euro UVS.
fulltext:preprint: http://liu.diva-portal.org/smash/get/div...
1999
[35] Andreas Nonnengart, Hans-Jürgen Ohlbach and Andrzej Szalas. 1999.
Elimination of Predicate Quantifiers.
In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159–181. Kluwer Academic Publishers.
[34] Full text  Patrik Haslum. 1999.
Model Checking by Random Walk.
In Proceedings of the ECSEL Workshop (CCSSE).
[33] Full text  Marcus Bjäreland and Peter Jonsson. 1999.
Exploiting bipartiteness to identify yet another tractable subclass of CSP.
In Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP), pages 118–128. In series: Lecture Notes in Computer Science #1713. Springer.
DOI: 10.1007/978-3-540-48085-3_9.
[32] Full text  Patrik Haslum and Peter Jonsson. 1999.
Some results on the complexity of planning with incomplete information.
In Proceedings of the 5th European Conference on Planning (ECP), pages 308–318. In series: Lecture Notes in Computer Science #1809. Springer.
DOI: 10.1007/10720246_24.
[31] Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj. 1999.
Computing MPMA updates using dijkstra's semantics.
In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer.
[30] Full text  Patrick Doherty and Jonas Kvarnström. 1999.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
In Clare Dixon, Michael Fisher, editors, 6th International Workshop on Temporal Representation and Reasoning (TIME-99). IEEE Computer Society. ISBN: 0-7695-0173-7.
[29] John-Jules Meyer and Patrick Doherty. 1999.
Preferential action semantics (preliminary report).
In Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers, pages 187–201. In series: Lecture Notes in Artificial Intelligence #1760. Springer. ISBN: 3-540-67027-0.
DOI: 10.1007/3-540-46581-2_13.
Note: Preliminary report
[28] Full text  Silvia Coradeschi, Lars Karlsson and Klas Nordberg. 1999.
Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance.
In Proceedings of the International Conference on Vision Systems '99: Grand Canary.
1998
[27] Måns Engman, Tommy Persson and Peter Fritzson. 1998.
Generating Parallel Graphics Code from Symbolic-algebra Specifications.
In .
[26] Lars Karlsson, Joakim Gustafsson and Patrick Doherty. 1998.
Delayed effects of actions.
In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), pages 542–546. John Wiley & Sons. ISBN: 978-0471984313.
[25] Full text  Patrick Doherty, Witold Lukaszewicz and Ewa Madalinska-Bugaj. 1998.
The PMA and relativizing change for action update.
In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 258–269. Morgan Kaufmann Publishers.
[24] Full text  Patrick Doherty and Jonas Kvarnström. 1998.
Tackling the qualification problem using fluent dependency constraints.
In Lina Khatib, Robert Morris, editors, Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98). IEEE Computer Society. ISBN: 0-8186-8473-9.
Note: Preliminary report
1997
[23] Full text  Thomas Drakengren and Marcus Bjäreland. 1997.
Reasoning about Action in Polynomial Time.
In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI).
[22] Full text  Marcus Bjäreland and Lars Karlsson. 1997.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism.
In Proceedings of the 15th International Joint Conference on Artficial Intelligence (IJCAI).
[21] Silvia Coradeschi, Klas Nordberg and Lars Karlsson. 1997.
Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance.
In Knowledge Based Computer Vision, Seminar-Report 196: Schloss Dagstuhl, Germany.
1996
[20] Tommy Persson and Peter Fritzson. 1996.
Parallel implementation of image reconstruction for the CARABAS long-wave penetrating radar.
In Heather Liddel, lAdrian Colbrook, Bob Hertzberger, Peter Sloot, editors, High-Performance Computing and Networking, pages 327–332. In series: Lecture Notes in Computer Science #1067. Springer Berlin/Heidelberg. ISBN: 978-3-540-61142-4, 978-3-540-49955-8.
DOI: 10.1007/3-540-61142-8_566.
Fulltext: https://doi.org/10.1007/3-540-61142-8_56...
[19] Full text  Joakim Gustafsson and Patrick Doherty. 1996.
Embracing occlusion in specifying the indirect effects of actions.
In Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro, editors, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pages 87–98. Morgan Kaufmann Publishers. ISBN: 1-55860-421-9.
[18] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
Explaining explanation closure.
In Zbigniew W. Ras, Maciek Michalewicz, editors, Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996, pages 521–530. In series: Lecture Notes in Computer Science #1079. Springer Berlin/Heidelberg. ISBN: 3-540-61286-6.
DOI: 10.1007/3-540-61286-6_176.
[17] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
General domain circumscription and its first-order reduction.
In Dov Gabbay, Hans Olbach, editors, Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning (FAPR), pages 93–109. In series: Lecture Notes in Computer Science #1085. Springer Berlin/Heidelberg. ISBN: 978-3-540-61313-8.
DOI: 10.1007/3-540-61313-7_65.
1995
[16] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1995.
Computing circumscription revisited.
In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), pages 1502–1508. ISBN: 978-1558603639.
Note: Volume 2. Preliminary report
[15] Patrick Doherty and P. Peppas. 1995.
A comparison between two approaches to ramification: PMON(R) and AR0.
In 8th Australian Joint Conference on Artificial Intelligence,1995.
Note: World Scientific
1994
[14] Andrzej Szalas. 1994.
Genetic Algorithms for Decision Problems.
In Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR), pages 383–390. World Scientific. ISBN: 981-02-1877-X.
[13] Patrick Doherty and Witold Lukaszewicz. 1994.
Circumscribing features and fluents. A fluent logic for reasoning about action and change.
In 8th International Symposium on Methodologies for Intelligent Systems,1994. Springer Verlag.
[12] Patrick Doherty. 1994.
Reasoning about action and change using occlusion.
In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons.
1992
[11] Patrick Doherty and Witold Lukaszewicz. 1992.
Defaults as first-class citizens.
In Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), pages 146–154. In series: Proceedings of the International Symposium on Multiple Valued Logic #??. IEEE Computer Society. ISBN: 0-8186-2680-1.
[10] Patrick Doherty and Witold Lukaszewicz. 1992.
FONML3 - A first-order non-monotonic logic with explicit defaults.
In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons.
[9] Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 1992.
Fuzzy if-then-unless rules and their implementation.
In International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992. Springer.
[8] Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992.
Partial logics and partial preferences.
In International Conference on Economics/Management and Information Technology,1992.
1991
[7] Patrick Doherty and Dimiter Driankov. 1991.
A non-monotonic fuzzy logic.
In International Fuzzy Systems Association, Fourth World Congress,1991.
[6] Patrick Doherty. 1991.
A constraint-based approach to proof procedures for multi-valued logics.
In Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI). Springer.
1990
[5] Patrick Doherty. 1990.
NME - A three-valued non-monotonic formalism.
In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS).
Note: Preliminary report
[4] Patrick Doherty. 1990.
NM3 - A three-valued cumulative non-monotonic formalism.
In Jan van Eijck, editor, Logics in AI, European Workshop (JELIA), pages 196–211. In series: Lecture Notes in Artificial Intelligence #478. Springer Berlin/Heidelberg. ISBN: 978-3-540-53686-4.
DOI: 10.1007/BFb0018442.
1989
[3] Patrick Doherty. 1989.
A correspondence between inheritance hierarchies and a logic of preferential entailment.
In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras, editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS). University of North Carolina Press.
[2] Patrick Doherty. 1989.
A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment.
In Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence (SCAI). IOS Press.
1987
[1] R. J. Cunningham, Andreas Nonnengart and Andrzej Szalas. 1987.
A Compositional Method for the Design and Proof of Asynchronous Processes.
In Proceedings of the 4th Annual ESPRIT Conference (ESPRIT), pages 566–580. North-Holland. ISBN: 0-444-70333-0.

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