Recent Publications
| Show abstracts (where available) BibTeX entries | ||
| 2025 | ||
| [241] |
.
2025. Techniques for measuring the inferential strength of forgetting policies. Journal of logic and computation (Print), 35(3):??–??. OXFORD UNIV PRESS. DOI: 10.1093/logcom/exaf023. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham University, Thailand Fulltext: https://doi.org/10.1093/logcom/exaf023 |
|
| [240] |
.
2025. Fusing Object Detections to Obtain Geolocated Salient Points Using Aerial Images. In Sombattheera, Chattrakul and Weng, Paul and Pang, Jun, editors, Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2024. Lecture Notes in Computer Science. Springer Nature Singapore, pages 155–166. In series: Lecture notes in artificial intelligence #15432. Springer Nature. ISBN: 978-981-96-0695-5. DOI: 10.1007/978-981-96-0695-5_13. Note: Funding Agencies| ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09), the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, and Sweden’s Innovation Agency Vinnova (Projects: 2022-00086, 2023-01035, 2024-01322, 2024-01775). The 3rd author is also supported by a research grant from Mahasarakham University, Thailand. Link: https://link.springer.com/chapter/10.100... |
|
| [239] |
.
2025. An Autonomous Search System for Maritime Applications. In Sombattheera, Chattrakul and Weng, Paul and Pang, Jun, editors, Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2024. Lecture Notes in Computer Science. Springer Nature Singapore, pages 360–372. In series: Lecture notes in artificial intelligence #15432. Springer Nature. ISBN: 978-981-96-0695-5. DOI: 10.1007/978-981-96-0695-5_29. Note: Funding Agencies| ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09), the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, and Sweden’s Innovation Agency Vinnova (Projects: 2022-00086, 2023-01035, 2024-01322/01775). The Brazilian co-authors have been supported by IANA Technology and funded by FINEP (Financiadora de Estudos e Projetos) and EMBRAPII (Empresa Brasileira de Pesquisa e Inovacao Industrial). Link: https://link.springer.com/chapter/10.100... |
|
| 2024 | ||
| [238] |
.
2024. A Summary of the RGS⊕: an RDF Graph Synchronization System for Collaborative Robotics. |
|
| [237] |
.
2024. Leveraging active queries in collaborative robotic mission planning. INTELLIGENCE & ROBOTICS, 4(1):87–106. OAE PUBLISHING INC. DOI: 10.20517/ir.2024.06. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
|
| [236] |
.
2024. 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] |
|
| [235] |
.
2024. Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. Artificial Intelligence, 326(??):??–??. ELSEVIER. DOI: 10.1016/j.artint.2023.104036. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018] Fulltext: https://doi.org/10.1016/j.artint.2023.10... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
|
| 2023 | ||
| [234] |
.
2023. RGS⊕: RDF graph synchronization for collaborative robotics. Autonomous Agents and Multi-Agent Systems, 37(2):??–??. SPRINGER. DOI: 10.1007/s10458-023-09629-2. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden [RIT15-0097]; Swedish Foundation for Strategic Research SSF (Smart Systems Project) [B09]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation fulltext:print: https://liu.diva-portal.org/smash/get/di... |
|
| 2022 | ||
| [233] |
.
2022. A landscape and implementation framework for probabilistic rough sets using PROBLOG. Information Sciences, 593(??):546–576. Elsevier Science Inc. DOI: 10.1016/j.ins.2021.12.062. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF [RIT15-0097]; Guangdong Department of Science and Technology, China [2020A1313030098]; National Science Centre Poland [2017/27/B/ST6/02018] fulltext:print: http://liu.diva-portal.org/smash/get/div... |
|
| 2021 | ||
| [232] |
.
2021. Hastily formed knowledge networks and distributed situation awareness for collaborative robotics. Autonomous Intelligent Systems, 1(1):??–??. Springer. DOI: 10.1007/s43684-021-00016-w. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09) and the Swedish Foundation for Strategic Research SSF (Smart Systems Project RIT15-0097). The first author is also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China in addition to a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160. Fulltext: https://doi.org/10.1007/s43684-021-00016... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
|
| [231] |
.
2021. WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation. Autonomous Intelligent Systems, 1(1):??–??. Springer Singapore. DOI: 10.1007/s43684-021-00009-9. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
|
| [230] |
.
2021. Router and gateway node placement in wireless mesh networks for emergency rescue scenarios. Autonomous Intelligent Systems, 1(1):??–??. Springer. DOI: 10.1007/s43684-021-00012-0. 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;The 3rd author was also supported by an RExperts Program Grant 2020A1313030098 from the Guangdong Department of Science and Technology, China and a Sichuan Province International Science and Technology Innovation Cooperation Project Grant 2020YFH0160. Fulltext: https://doi.org/10.1007/s43684-021-00012... Link: https://link.springer.com/article/10.100... |
|
| [229] |
.
2021. Rough set reasoning using answer set programs. International Journal of Approximate Reasoning, 130(March):126–149. Elsevier. DOI: 10.1016/j.ijar.2020.12.010. Note: Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018] Fulltext: https://doi.org/10.1016/j.ijar.2020.12.0... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
|
| 2020 | ||
| [228] |
.
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-... |
|
| [227] |
.
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 | ||
| [226] |
.
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 |
|
| [225] |
.
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) |
|
| [224] |
.
2019. Deep RL for Autonomous Robots: Limitations and Safety Challenges. In ESANN 2019 - Proceedings, 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, pages 489–495. ESANN. ISBN: 9782875870650. |
|
| 2018 | ||
| [223] |
.
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] |
|
| [222] |
.
2018. Signed Dual Tableaux for Kleene Answer Set Programs. In Golińska-Pilarek J., Zawidzki M., editors, Ewa Orłowska on Relational Methods in Logic and Computer Science, pages 233–252. In series: Outstanding Contributions to Logic #17. Springer. ISBN: 9783319978789, 9783319978796. DOI: 10.1007/978-3-319-97879-6_9. |
|
| [221] |  |
.
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... |
| 2017 | ||
| [220] | |
.
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] |
| [219] | |
.
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) |
| [218] |
.
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] |
|
| [217] | |
.
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] |
| [216] | |
.
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. |
| [215] | |
.
2017. Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. Annals of Operations Research, 249(1):163–174. Springer. DOI: 10.1007/s10479-016-2169-5. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| 2016 | ||
| [214] |
.
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: https://liu.diva-portal.org/smash/get/di... |
|
| [213] |
.
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. |
|
| [212] | |
.
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. |
| [211] | |
.
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. |
| [210] | |
.
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: https://liu.diva-portal.org/smash/get/di... |
| [209] |
.
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). |
|
| [208] | |
.
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. |
| [207] | |
.
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. |
| [206] | |
.
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. |
| [205] | |
.
2016. Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification. Acta Informatica, 53(6-8):723–752. Springer Publishing Company. DOI: 10.1007/s00236-015-0248-8. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| [204] | |
.
2016. A Modeling Framework for Troubleshooting Automotive Systems. Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis. DOI: 10.1080/08839514.2016.1156955. Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| 2015 | ||
| [203] | |
.
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. |
| [202] | |
.
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: https://liu.diva-portal.org/smash/get/di... |
| [201] | |
.
2015. Stability, Supportedness, Minimality and Kleene Answer Set Programs. In Thomas Eiter, Hannes Strass, Mirosław Truszczynski, Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, pages 125–140. In series: Lecture Notes in Computer Science #9060. Springer. ISBN: 978-3-319-14725-3, 978-3-319-14726-0. DOI: 10.1007/978-3-319-14726-0_9. Link to full text: http://www.ida.liu.se/divisions/aiics/pu... fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| [200] | |
.
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: https://liu.diva-portal.org/smash/get/di... |
| 2014 | ||
| [199] | |
.
2014. HDRC3 - A Distributed Hybrid Deliberative/Reactive Architecture for Unmanned Aircraft Systems. In Kimon P. Valavanis, George J. Vachtsevanos, editors, Handbook of Unmanned Aerial Vehicles, pages 849–952. Springer Science+Business Media B.V.. ISBN: 978-90-481-9706-4, 978-90-481-9707-1. DOI: 10.1007/978-90-481-9707-1_118. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/16541662 Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?qt=worldc... |
| [198] |
.
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... |
|
| [197] | |
.
2014. Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles. Technical Report.
In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages. |
| [196] | |
.
2014. Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance. Technical Report.
In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages. |
| [195] | |
.
2014. Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications: [Bewertung eines Lidar-systems mit geringem Gewicht und eines photogrammetrischen Systems für Anwendungen auf einem UAV]. Photogrammetrie - Fernerkundung - Geoinformation, ??(4):287–298. E. Schweizerbart'sche Verlagsbuchhandlung. DOI: 10.1127/1432-8364/2014/0223. Link to article: http://www.ingentaconnect.com/content/sc... |
| [194] | |
.
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. |
| [193] |
.
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. |
|
| [192] | |
.
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. |
| 2013 | ||
| [191] | |
.
2013. Robotics, Temporal Logic and Stream Reasoning. In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013. |
| [190] |
.
2013. Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination. Fundamenta Informaticae, 127(1-4):135–149. IOS Press. DOI: 10.3233/FI-2013-900. Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research|| |
|
| [189] | |
.
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. |
| [188] | |
.
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. |
| [187] | |
.
2013. Stream-Based Hierarchical Anchoring. |
| [186] | |
.
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/... |
| [185] | |
.
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. |
| 2012 | ||
| [184] |
.
2012. On the Logic of Delegation - Relating Theory and Practice. In Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli, editors, The Goals of Cognition: Essays in honour of Cristiano Castelfranchi, pages 467–496. College Publications. ISBN: 978-1848900943. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-184... |
|
| [183] |
.
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. |
|
| [182] |
.
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. |
|
| [181] |
.
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. |
|
| [180] |
.
2012. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Conference Proceedings.
In series: Frontiers in Artificial Intelligence and Applications #242. IOS Press. 1056 pages. ISBN: 978-1-61499-097-0. |
|
| [179] | |
.
2012. Delegation-Based Collaboration. In Proceedings of the 5th International Conference on Cognitive Systems (CogSys). |
| [178] | |
.
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 | ||
| [177] | |
.
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 #??. |
| [176] | |
.
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... |
| [175] | |
.
2011. A Delegation-Based Architecture for Collaborative Robotics. In Danny Weyns and Marie-Pierre Gleizes, editors, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers, pages 205–247. In series: Lecture Notes in Computer Science #6788. Springer Berlin/Heidelberg. ISBN: 978-3-642-22635-9. DOI: 10.1007/978-3-642-22636-6_13. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-3-6... find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/12509689 fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| [174] | |
.
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... |
| [173] |
.
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... |
|
| [172] | |
.
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. |
| [171] |
.
2011. Reports of the AAAI 2011 Spring Symposia. The AI Magazine, 32(3):119–127. AAAI Press. |
|
| 2010 | ||
| [170] | |
.
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. |
| [169] | |
.
2010. Optimal placement of UV-based communications relay nodes. Journal of Global Optimization, 48(4):511–531. Springer. DOI: 10.1007/s10898-010-9526-8. Note: The original publication is available at www.springerlink.com:Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science Business Mediahttp://www.springerlink.com/ fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
| [168] | |
.
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. |
| [167] | |
.
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. |
| [166] | |
.
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. |
| [165] | |
.
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. |
| [164] | |
.
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. |
| [163] | |
.
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. |
| [162] | |
.
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.... |
| [161] | |
.
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. |
| [160] | |
.
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. |
| [159] |
.
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. |
|
| [158] | |
.
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
| [157] | |
.
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
| [156] | |
.
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 | ||
| [155] | |
.
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). |
| [154] |
.
2009. Optimal placement of communications relay nodes. Technical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
|
| [153] | |
.
2009. Temporal Action Logics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5. DOI: 10.1016/S1574-6526(07)03018-0. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... |
| [152] | |
.
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). |
| [151] | |
.
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... |
| [150] | |
.
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
| [149] | |
.
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. |
| [148] | |
.
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. |
| [147] | |
.
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... |
| [146] | |
.
2009. Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation. DOI: 10.1155/2009/387308. |
| 2008 | ||
| [145] |
.
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. |
|
| [144] | |
.
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... |
| [143] | |
.
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. |
| [142] | |
.
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. |
| [141] | |
.
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. |
| [140] |
.
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. |
|
| [139] | |
.
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. |
| [138] | |
.
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. |
| [137] | |
.
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. |
| [136] | |
.
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. |
| [135] | |
.
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. |
| [134] | |
.
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 |
| [133] | |
.
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. |
| [132] | |
.
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... |
| [131] | |
.
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. |
| [130] | |
.
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 | ||
| [129] | |
.
2007. Communication between agents with heterogeneous perceptual capabilities. |
| [128] | |
.
2007. A correspondence framework between three-valued logics and similarity-based approximate reasoning. Fundamenta Informaticae, 75(1-4):179–193. IOS Press. |
| [127] |
.
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
|
| [126] | |
.
2007. LinkMAV, a prototype rotary wing micro aerial vehicle. In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier. |
| [125] |
.
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. |
|
| [124] |
.
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. |
|
| [123] | |
.
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. |
| [122] | |
.
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. |
| [121] | |
.
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... |
| [120] | |
.
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... |
| [119] | |
.
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 | ||
| [118] | |
.
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: https://liu.diva-portal.org/smash/get/di... |
| [117] |
.
2006. A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle. International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780. DOI: 10.1142/S0218001406004867. |
|
| [116] |
.
2006. Probabilistic roadmap based path planning for an autonomous unmanned helicopter. Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press. |
|
| [115] | |
.
2006. A knowledge processing middleware framework and its relation to the JDL data fusion model. Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press. |
| [114] |
.
2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings.
AAAI Press. ISBN: 978-1-57735-281-5. |
|
| [113] | |
.
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. |
| [112] | |
.
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 |
| [111] | |
.
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:... |
| [110] | |
.
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. |
| [109] | |
.
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. |
| [108] | |
.
2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICHIT 2006 - International Conference on Hybrid Information Technology,2006. |
| [107] |
.
2006. Knowledge Representation Techniques.: a rough set approach. Book.
In series: Studies in Fuzziness and Soft Computing #202. Springer. 342 pages. ISBN: 978-3-540-33518-4, 3-540-33518-8. DOI: 10.1007/3-540-33519-6. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... |
|
| [106] | |
.
2006. Approximate Databases: A support tool for approximate reasoning. Journal of applied non-classical logics, 16(1-2):87–118. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.87-117. Note: Special issue on implementation of logics |
| 2005 | ||
| [105] | |
.
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. |
| [104] | |
.
2005. A knowledge processing middleware framework and its relation to the JDL data fusion model. In The 8th International Conference on Information Fusion,2005. |
| [103] | |
.
2005. Reconfigurable path planning for an autonomous unmanned aerial vehicle. In National Swedish Workshop on Autonomous Systems, SWAR 05,2005. |
| [102] | |
.
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). |
| [101] |
.
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. |
|
| [100] | |
.
2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In SWAR 05,2005, pages 50–51. |
| [99] | |
.
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. |
| [98] | |
.
2005. An Experimental Platform for Approximate Databases. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
| [97] | |
.
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. |
| 2004 | ||
| [96] | |
.
2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the Second Joint SAIS/SSLS Workshop. |
| [95] | |
.
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. |
| [94] | |
.
2004. DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press. |
| [93] | |
.
2004. Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. The AI Magazine, 25(2):137–138. AAAI Press. |
| [92] | |
.
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. |
| [91] | |
.
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. |
| [90] | |
.
2004. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS. |
| [89] | |
.
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. |
| [88] | |
.
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. |
| [87] | |
.
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. |
| [86] | |
.
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. |
| [85] | |
.
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. |
| [84] | |
.
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. |
| [83] | |
.
2004. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Andrzej Skowron,Lech Polkowski ,Sankar K Pal, editors, Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 9783540430599. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/14144444 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/title/rough-neur... |
| [82] | |
.
2004. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Andrzej Skowron,Lech Polkowski ,Sankar K Pal, editors, Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer. ISBN: 9783540430599, 3540430598. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/14144444 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?qt=worldc... |
| 2003 | ||
| [81] |
.
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
|
| [80] | |
.
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. |
| [79] |
.
2003. Preface. Fundamenta Informaticae, 57(2-4):i–iii. IOS Press. |
|
| [78] | |
.
2003. Towards a framework for approximate ontologies. Fundamenta Informaticae, 57(2-4):147–165. IOS Press. |
| [77] | |
.
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. |
| [76] |
.
2003. 2003 AAAI Spring Symposium Series. The AI Magazine, 24(3):131–140. AAAI Press. |
|
| [75] | |
.
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. |
| [74] |
.
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. |
|
| 2002 | ||
| [73] |
.
2002. Preferential Action Semantics. In John-Jules Ch Meyer; Jan Treur, editor, Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 7:: Agent-Based Defeasible Control in Dynamic Environments. In series: Handbook of Defeasible Reasoning and Uncertainty Management Systems #7. Kluwer. ISBN: 978-1-4020-0834-4, 14-02-0-0834-1. find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Handboo... |
|
| [72] | |
.
2002. Vision for a UAV helicopter. In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland. |
| [71] | |
.
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. |
| [70] | |
.
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 | ||
| [69] | |
.
2001. Chronicle Recognition in the WITAS UAV Project: A Preliminary Report. In Proceedings of the Swedish AI Society Workshop. |
| [68] | |
.
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
| [67] | |
.
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 | ||
| [66] | |
.
2000. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer. DOI: 10.1023/A:1016619613658. |
| [65] |
.
2000. The PMA and relativizing minimal change for action update. Fundamenta Informaticae, 44(1-2):95–131. IOS Press. |
|
| [64] | |
.
2000. Tackling the qualification problem using fluent dependency constraints. |
| [63] | |
.
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.... |
| [62] | |
.
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. |
| [61] | |
.
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... |
| [60] | |
.
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 | ||
| [59] | |
.
1999. Meta-queries on deductive databases. |
| [58] | |
.
1999. Declarative PTIME queries for relational databases using quantifier elimination. Journal of logic and computation (Print), 9(5):737–758. Oxford University Press. DOI: 10.1093/logcom/9.5.737. |
| [57] |
.
1999. Computing MPMA updates using dijkstra's semantics. In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer. |
|
| [56] | |
.
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. |
| [55] |
.
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 |
|
| 1998 | ||
| [54] |
.
1998. TAL: Temporal Action Logics Language <> Specification and Tutorial. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158 |
|
| [53] | |
.
1998. Delayed Effects of Actions = Direct Effects + Causal Rules. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:1. Linköping University Electronic Press. 9 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477675 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010273 |
| [52] | |
.
1998. Delayed effects of actions = direct effects + causal rules. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #98-001. Linköping University Electronic Press. Link: http://www.ep.liu.se/ea/cis/1998/001/ |
| [51] | |
.
1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306. Link: http://www.ep.liu.se/ej/etai/1998/009/ |
| [50] |
.
1998. General domain circumscription and its effective reductions. |
|
| [49] |
.
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. |
|
| [48] | |
.
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. |
| [47] | |
.
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 | ||
| [46] |
.
1997. PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:20. Linköping University Electronic Press. 47 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477127 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010283 |
|
| [45] |
.
1997. Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611 |
|
| [44] | |
.
1997. Computing circumscription revisited: A reduction algorithm. Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers. DOI: 10.1023/A:1005722130532. |
| 1996 | ||
| [43] | |
.
1996. PMON+: A fluent logic for action and change - formal specification, version 1.0. Technical Report.
In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University. |
| [42] | |
.
1996. Declarative ptime queries to relational databases. Technical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
| [41] | |
.
1996. Preferential action semantics, preliminary report. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
| [40] | |
.
1996. General domain circumscription and its first-order reduction. Technical Report.
In series: LITH-IDA-R #1. Department of Computer and Information Science, Linköping University. |
| [39] |
.
1996. A study in modal embeddings of NML3. In Patrick Doherty, editor, Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information., pages 145–168. CSLI Publications. ISBN: 1-57586-031-7, 1-57586-030-9. |
|
| [38] | |
.
1996. A reduction result for circumscribed semi-horn formulas. |
| [37] | |
.
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. |
| [36] | |
.
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. |
| [35] | |
.
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 | ||
| [34] | |
.
1995. A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae. Technical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
| [33] | |
.
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 |
| [32] |
.
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 | ||
| [31] | |
.
1994. Computing circumscription revisited: A reduction algorithm. Technical Report.
In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Linköping University. |
| [30] |
.
1994. Notes on PMON circumscription. Technical Report.
In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University. |
|
| [29] |
.
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. |
|
| [28] |
.
1994. Circumscribing features and fluents. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings, pages 82–100. In series: Lecture Notes in Computer Science #827. Springer Berlin/Heidelberg. ISBN: 354058241X, 038758241X. DOI: 10.1007/BFb0013982. |
|
| [27] |
.
1994. Reasoning about action and change using occlusion. In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons. |
|
| 1993 | ||
| [26] |
.
1993. Nonmonotonicity, fuzziness, and multi-values. In R. Lowen and M. Roubens, editors, Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Solving.. In series: Volume 12 #12. Kluwer Academic Publishers. ISBN: 0792323246, 9780792323242. |
|
| [25] |
.
1993. Fuzzy if-then-unless rules and their implementation. International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific. DOI: 10.1142/S0218488593000097. |
|
| 1992 | ||
| [24] |
.
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. Technical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
|
| [23] |
.
1992. Fuzzy if-then-unless rules and their implementation. Technical Report.
In series: LITH-IDA-R #21. Department of Computer and Information Science, Linköping University. |
|
| [22] |
.
1992. Partiality, para-consistency and preference modeling: Preliminary version. Technical Report.
In series: LITH-IDA-R #18. Department of Computer and Information Systems, Linköping University. |
|
| [21] |
.
1992. A constraint-based approach to proof procedures for multi-valued logics. Technical Report.
In series: LITH-IDA-R #2. Department of Computer and Information Science, Linköping university, Linköping, Sweden. |
|
| [20] |
.
1992. Distinguishing between facts and default assumptions. In W. van der Hoek, editor, Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.. Ellis Horwood Ltd.. ISBN: 0136251463, 9780136251460. |
|
| [19] |
.
1992. A non-monotonic fuzzy logic. In Lotfi A. Zadeh, Janusz Kacprzyk, editors, Fuzzy Logic for the Management of Uncertainty, pages 171–190. John Wiley & Sons. ISBN: 0-471-54799-9. |
|
| [18] |
.
1992. NML-3 - A non-monotonic logic with explicit defaults. Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier. |
|
| [17] |
.
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. |
|
| [16] |
.
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons. |
|
| [15] |
.
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. |
|
| [14] |
.
1992. Partial logics and partial preferences. In International Conference on Economics/Management and Information Technology,1992. |
|
| 1991 | ||
| [13] |
.
1991. NML3 - A non-monotonic logic with explicit defaults. Technical Report.
In series: Användarrapport #13. Department of Computer and Information Science, Linköping University. |
|
| [12] |
.
1991. A non-monotonic fuzzy logic. In International Fuzzy Systems Association, Fourth World Congress,1991. |
|
| [11] |
.
1991. NML3: a non-monotonic formalism with explicit defaults. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #258. Linköpings tekniska högskola. 290 pages. ISBN: 91-7870-816-8. |
|
| [10] |
.
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 | ||
| [9] |
.
1990. A three-valued approach to non-monotonic reasoning. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #230. Linköping University. 117 pages. ISBN: 9178706726. |
|
| [8] |
.
1990. NM3 - A three-valued non-monotonic formalism. Preliminary report. Technical Report.
In series: LITH-IDA-R #44. Department of Computer and Information Science, Linköping University. |
|
| [7] |
.
1990. A correspondence between inheritance hierarchies and a logic of preferential entailment. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
|
| [6] |
.
1990. NME - A three-valued non-monotonic formalism. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS). Note: Preliminary report |
|
| [5] |
.
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 | ||
| [4] |
.
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. |
|
| [3] |
.
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. |
|
| 1985 | ||
| [2] |
.
1985. A rule interpreter for an emycin-like expert system tool. Technical Report.
In series: Aslab Memo #85-05. Linköpings tekniska högskola. |
|
| 0 | ||
| [1] |
.
0. Polygon Area Decomposition Using a Compactness Metric. Manuscript (preprint).
Note: Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic ResearchSwedish Foundation for Strategic Research [RIT 15-0097]; Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation. arXiv: https://arxiv.org/abs/2110.04043 |
|
