AIICS Publications: All Publications
Show abstracts (where available) BibTeX entries | ||
2024 | ||
[904] |
2024. Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning. In Sara Bernardini, Christian Muise, editors, Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling: Vol. 34 (2024). DOI: 10.1609/icaps.v34i1.31516. Link: https://ojs.aaai.org/index.php/ICAPS/art... |
.
|
[903] |
2024. Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. In COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, pages 497–501. ASSOC COMPUTING MACHINERY. ISBN: 9798400706585. DOI: 10.1145/3663529.3663785. Note: Funding Agencies|Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Software Center Project [30] |
.
|
[902] |
2024. CreoleVal: Multilingual Multitask Benchmarks for Creoles. Transactions of the Association for Computational Linguistics, 12(??):950–978. MIT Press. DOI: 10.1162/tacl_a_00682. Fulltext: https://doi.org/10.1162/tacl_a_00682 |
.
|
[901] |
2024. Last Night in Sweden: A Vision for Resource-Intelligent Stream Reasoning. In PROCEEDINGS OF THE 18TH ACM INTERNATIONAL CONFERENCE ON DISTRIBUTED AND EVENT-BASED SYSTEMS, DEBS 2024, pages 103–109. ASSOC COMPUTING MACHINERY. ISBN: 9798400704437. DOI: 10.1145/3629104.3666035. |
.
|
[900] |
2024. Symmetries and Expressive Requirements for Learning General Policies. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR2024). |
.
|
[899] |
2024. Grasping the Unseen: TA Insights into Teaching Subtle Concepts in Computer Science. In PROCEEDINGS OF THE 2024 CONFERENCE INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, VOL 1, ITICSE 2024, pages 157–163. ASSOC COMPUTING MACHINERY. ISBN: 9798400706004. DOI: 10.1145/3649217.3653601. |
.
|
[898] |
2024. Issues in future autonomous public transport solutions for children with intellectual disabilities. In Gray, C., Ciliotta Chehade, E., Hekkert, P., Forlano, L., Ciuccarelli, P., Lloyd, P., editors, Proceedings of DRS2024 Boston: Resistance, Recovery, Reflection, Reimagination : Design Research Society International Conference. Design Research Society. ISBN: 9781912294626. DOI: 10.21606/drs.2024.758. Note: Funding: Wallenberg AI, Autonomous Systems and Software Program – Humanity and Society Fulltext: https://doi.org/10.21606/drs.2024.758 |
.
|
[897] |
2024. Properties and Challenges of LLM-Generated Explanations. In Su Lin Blodgett, Amanda Cercas Curry, Sunipa Dey, Michael Madaio, Ani Nenkova, Diyi Yang, Ziang Xiao, editors, Proceedings of the Third Workshop on Bridging Human-Computer Interaction and Natural Language Processing. DOI: 10.18653/v1/2024.hcinlp-1.2. Link: https://aclanthology.org/2024.hcinlp-1.2... |
.
|
[896] |
2024. Towards evidence-based practice 2.0: leveraging artificial intelligence in healthcare. |
.
|
[895] |
2024. Autonomous 3D Exploration in Large-Scale Environments with Dynamic Obstacles. In Zhidong Wang, editor, 2024 IEEE International Conference on Robotics and Automation (ICRA), pages 2389–2395. IEEE. ISBN: 9798350384574. DOI: 10.1109/ICRA57147.2024.10610996. fulltext:postprint: https://liu.diva-portal.org/smash/get/di... |
.
|
[894] |
2024. Rejection in Abstract Argumentation: Harder Than Acceptance?. In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24). |
.
|
[893] |
2024. Where is the reflexive ?I? in the Elements of AI?. International Journal of Lifelong Education, ??(??):??–??. ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD. DOI: 10.1080/02601370.2024.2389107. Publication status: Epub ahead of print Note: Funding Agencies|VINNOVA, Sweden's innovation agency grant Fulltext: https://doi.org/10.1080/02601370.2024.23... |
.
|
[892] |
2024. Issues in future autonomous public transport solu-tions for children with intellectual disabilities. Proceedings of DRS, ??(??):??–??. DOI: 10.21606/drs.2024.758. Fulltext: https://doi.org/10.21606/drs.2024.758 |
.
|
[891] |
2024. Implementing the Language Server Protocol for the OpenModelica Modelling Language. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--24/046--SE. Note: |
.
|
[890] |
2024. Evaluating Programming Proficiency of Large Language Models: Assessing Large Language Models? Effectiveness in Function and Class Generation, Code Commenting, Robustness, and Security. Student Thesis.
56 pages. ISRN: LIU-IDA/LITH-EX-A--24/038--SE. |
.
|
[889] |
2024. General Policies, Subgoal Structure, and Planning Width. The journal of artificial intelligence research, 80(??):475–516. AI ACCESS FOUNDATION. DOI: 10.1613/jair.1.15581. Note: Funding Agencies|Alexander von Humboldt Foundation; Federal Ministry for Education and Research of Germany; European Research Council (ERC) [885107, 952215]; Excellence Strategy of the Federal Government; NRW Lander; Knut and Alice Wallenberg (KAW) Foundation |
.
|
[888] |
2024. The Relative Strength of #SAT Proof Systems. In Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT'24). |
.
|
[887] |
2024. Counting Complexity for Reasoning in Abstract Argumentation. Journal of Artificial Intelligence Research, 80(??):805–834. AI ACCESS FOUNDATION. DOI: 10.1613/jair.1.16210. Note: Funding Agencies|Austrian Science Fund (FWF) [J4656]; Swedish government; German Research Fund DFG [ME 4279/1-2, ME 4279/3-1]; Society for Research Funding in Lower Austria (GFF) [ExzF-0004]; Austrian Science Fund (FWF) [J4656] Funding Source: Austrian Science Fund (FWF) |
.
|
[886] |
2024. Strategies for Accurate Context Retrieval in Retrieval-Augmented Generation Systems Across Diverse Datasets. Student Thesis.
56 pages. ISRN: LIU-IDA/LITH-EX-A--24/028--SE. |
.
|
[885] |
2024. Prediction of paperboard properties based on on-line process data and infrared imaging. Student Thesis.
47 pages. ISRN: LIU-IDA/STAT-A--24/009--SE. |
.
|
[884] |
2024. Autonomous 3D Exploration in Large-Scale Environments with Dynamic Obstacles. |
.
|
[883] |
2024. Exploring prompting techniques: An evaluation of prompting techniques for identifying blueprints. Student Thesis.
25 pages. ISRN: LIU-IDA/LITH-EX-G--24/045--SE. |
.
|
[882] |
2024. Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches. The journal of artificial intelligence research, 80(??):171–208. AI ACCESS FOUNDATION. DOI: 10.1613/jair.1.15821. Note: Funding Agencies|ERC Advanced Grant [885107]; EU [952215]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Wallenberg Guest Professor at Linkoping University, Sweden - Swedish Research Council [2022-06725, 2018-05973] |
.
|
[881] |
2024. On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies. In Sara Bernardini and Christian Muise, editors, Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2024). |
.
|
[880] |
2024. In search of artificial intelligence (AI) literacy in teacher education: A scoping review. |
.
|
[879] |
2024. Classifying Driver Behaviour For Predicting Risk For Accidents: A case study of forklift operations. Student Thesis.
78 pages. ISRN: LIU-IDA/LITH-EX-A--24/013--SE. |
.
|
[878] |
2024. On the Parameterized Complexity of the Perfect Phylogeny Problem. In SOFSEM 2024: THEORY AND PRACTICE OF COMPUTER SCIENCE, pages 169–182. In series: Lecture Notes in Computer Science #??. SPRINGER INTERNATIONAL PUBLISHING AG. ISBN: 9783031521126, 9783031521133. DOI: 10.1007/978-3-031-52113-3_12. |
.
|
[877] |
2024. Grounding Stream Reasoning Research. Transactions on Graph Data and Knowledge (TGDK), 2(1):1–47. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. DOI: 10.4230/TGDK.2.1.2. Fulltext: https://doi.org/10.4230/TGDK.2.1.2 |
.
|
[876] |
2024. Bt-GAN: Generating Fair Synthetic Healthdata via Bias-transforming Generative Adversarial Networks. The journal of artificial intelligence research, 79(??):1313–1341. AAAI Press. DOI: 10.1613/jair.1.15317. Note: Funding Agencies|Knut and Alice Wallenberg Foundation; ELLIIT Excellence Center at Linkoeping-Lund for Information Technology; TAILOR-an EU project Fulltext: https://doi.org/10.1613/jair.1.15317 |
.
|
[875] |
2024. On Infinite-Domain CSPs Parameterized by Solution Cost. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2368. Linköping University Electronic Press. 37 pages. ISBN: 9789180754965, 9789180754972. DOI: 10.3384/9789180754972. Note: Funding Agency: Wallenberg AI, Autonomous Systems and Software Program (WASP), funded by the Knut and Alice Wallenberg Foundation Fulltext: https://doi.org/10.3384/9789180754972 preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[874] |
2024. Dividing the Indivisible: Algorithms, Empirical Advances, and Complexity Results for Value-Maximizing Combinatorial Assignment Problems. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2382. Linköping University Electronic Press. 167 pages. ISBN: 9789180756006, 9789180756013. DOI: 10.3384/9789180756013. Note: Funding: MIRAI; the Wallenberg AI, Autonomous Systems and Software Program; and the Knut and Alice Wallenberg Foundation. Fulltext: https://doi.org/10.3384/9789180756013 preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[873] |
2024. The 2023 International Planning Competition. The AI Magazine, ??(??):??–??. AMER ASSOC ARTIFICIAL INTELL. DOI: 10.1002/aaai.12169. Publication status: Epub ahead of print Note: Funding Agencies|Swedish Research Council [2022-06725]; Some of the computations for the Learning track - Swedish Research Council; University Of Edinburgh [EP/P020267/1]; EPSRC [882500]; European Research Council (ERC) under the European Union [FA8702-19-C-0001, W56KGU-18-D-0004, DFARS 252.227-7013]; MITRE Independent Research and Development Program; Natural Sciences and Engineering Research Council of Canada (NSERC) |
.
|
[872] |
2024. Understanding Large Language Models: Towards Rigorous and Targeted Interpretability Using Probing Classifiers and Self-Rationalisation. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2364. Linköping University Electronic Press. 81 pages. ISBN: 9789180754705, 9789180754712. DOI: 10.3384/9789180754712. Fulltext: https://doi.org/10.3384/9789180754712 preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[871] |
2024. The Impact of Language Adapters in Cross-Lingual Transfer for NLU. In Raúl Vázquez, Timothee Mickus, Jörg Tiedemann, Ivan Vulić, Ahmet Ãœstün, editors, Proceedings of the 1st Workshop on Modular and Open Multilingual NLP (MOOMIN 2024), pages 24–43. Association for Computational Linguistics. ISBN: 979-8-89176-084-4. Publisher's full text: https://aclanthology.org/2024.moomin-1.4... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[870] |
2024. A Hypothesis-Driven Framework for the Analysis of Self-Rationalising Models. In Falk N., Papi S., Zhang M., editors, Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop, pages 148–161. ISBN: 9798891760905. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[869] |
2024. IASCAR: Incremental Answer Set Counting by Anytime Refinement. Theory and Practice of Logic Programming, ??(??):??–??. CAMBRIDGE UNIV PRESS. DOI: 10.1017/S1471068424000036. Publication status: Epub ahead of print Note: Funding Agencies|BMBF [01IS20056NAVAS]; ELLIIT - Swedish government; Austrian Science Fund (FWF) [J4656, P32830, Y1329]; GWK; Swedish Research Council [2022-06725] |
.
|
[868] |
2024. Chasing artificial intelligence in shared socioeconomic pathways. One Earth, 7(1):18–22. CELL PRESS. DOI: 10.1016/j.oneear.2023.12.015. Note: Funding Agencies|Mistra Geopolitics research program [2016/11] |
.
|
[867] |
2024. Bridging Language & Data: Optimizing Text-to-SQL Generation in Large Language Models. Student Thesis.
82 pages. ISRN: LIU-IDA/LITH-EX-A--24/004--SE. |
.
|
[866] |
2024. Modeling and shadowing paraconsistent BDI agents. Annals of Mathematics and Artificial Intelligence, 92(??):855–876. SPRINGER. DOI: 10.1007/s10472-023-09902-w. Note: Funding Agencies|Narodowe Centrum Nauki [2015/19/B/ST6/02589]; National Science Centre Poland Fulltext: https://doi.org/10.1007/s10472-023-09902... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[865] |
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... |
.
|
[864] |
2024. Behind the Scenes of Co-designing AI and LA in K-12 Education. Postdigital Science and Education, 6(??):321–341. DOI: 10.1007/s42438-023-00417-5. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
2023 | ||
[863] |
2023. Two Decades of the ACL Anthology: Development, Impact, and Open Challenges. In Proceedings of the 3rd Workshop for Natural Language Processing Open Source Software (NLP-OSS 2023), pages 83–94. Association for Computational Linguistics. DOI: 10.18653/v1/2023.nlposs-1.10. Fulltext: https://doi.org/10.18653/v1/2023.nlposs-... |
.
|
[862] |
2023. Four facets of AI transperency. In Simon Lindgren, editor, Handbook of Critical Studies of Artificial Intelligence, pages 445–455. Edward Elgar Publishing. ISBN: 9781803928562. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/vdtr4zv4scnkrz9... |
.
|
[861] |
2023. Parameterized Complexity Classification for Interval Constraints. In Neeldhara Misra, Magnus Wahlström, editors, 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), pages 11:1–11:19. In series: Leibniz International Proceedings in Informatics (LIPIcs) #285. Schloss Dagstuhl ? Leibniz-Zentrum für Informatik. ISBN: 9783959773058. DOI: 10.4230/LIPIcs.IPEC.2023.11. Note: Funding agency: Partially supported by the Swedish Research Council (VR) under grant 2021-0437 and the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. Fulltext: https://doi.org/10.4230/LIPIcs.IPEC.2023... |
.
|
[860] |
2023. Parameterized Complexity of Equality MinCSP. In Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, Grzegorz Herman, editors, 31st Annual European Symposium on Algorithms (ESA 2023), pages 86:1–86:17. In series: Leibniz International Proceedings in Informatics (LIPIcs) #274. Schloss Dagstuhl ? Leibniz-Zentrum für Informatik. ISBN: 9783959772952. DOI: 10.4230/LIPIcs.ESA.2023.86. Note: Funding agency: Supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. Fulltext: https://doi.org/10.4230/LIPIcs.ESA.2023.... |
.
|
[859] |
2023. Almost Consistent Systems of Linear Equations. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3179–3217. Society for Industrial and Applied Mathematics. ISBN: 9781611977554. DOI: 10.1137/1.9781611977554.ch121. |
.
|
[858] |
2023. Clustering and Anomaly detection using Medical Enterprise system Logs (CAMEL). Student Thesis.
64 pages. ISRN: LIU-IDA/LITH-EX-A--23/040--SE. |
.
|
[857] |
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. |
.
|
[856] |
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. |
.
|
[855] |
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] |
.
|
[854] |
2023. Introducing programming and computational thinking in grades 1?9: Sweden in an international context. In Jonas Hallström, Marc J. de Vries, editors, Programming and computational thinking in technology education: Swedish and international perspectives, pages 60–88. Brill Academic Publishers. ISBN: 9789004687912. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/1jpx587nzql432l... |
.
|
[853] |
2023. DSeg: Direct Line Segments Detection. |
.
|
[852] |
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 |
.
|
[851] |
2023. Text Curation for Clustering of Free-text Survey Responses. Student Thesis.
54 pages. ISRN: LIU-IDA/LITH-EX-A--23/108—SE. |
.
|
[850] |
2023. Fair Latent Deep Generative Models (FLDGMs) for Syntax-Agnostic and Fair Synthetic Data Generation. |
.
|
[849] |
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 |
.
|
[848] |
2023. How to Estimate Local Performance using Machine learning Engineering (HELP ME): from log files to support guidance. Student Thesis.
41 pages. ISRN: LIU-IDA/LITH-EX-A--23/112--SE. |
.
|
[847] |
2023. Multi-agent route planning for uncrewed aircraft systems operating in U-space airspace. Student Thesis.
47 pages. ISRN: LIU-IDA/LITH-EX-A--23/104--SE. |
.
|
[846] |
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 |
.
|
[845] |
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. |
.
|
[844] |
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. |
.
|
[843] |
2023. Reinforcement Learning for Improved Utility of Simulation-Based Training. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2351. Linköping University Electronic Press. 168 pages. ISBN: 9789180753661, 9789180753678. DOI: 10.3384/9789180753678. Note: 2023-11-02: The thesis was first published online. The online published version reflects the printed version.2023-11-15: The PDF-file has been replaced by a new file from LiU-Print to enable speech-to-text functionality and to allow text copying. Before this date the PDF has been downloaded 40 times.Funding: This work was partially supported by the Swedish Governmental Agency for Innovation Systems (grant NFFP7/2017-04885), and the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. The computations were enabled by the resources provided by the Swedish National Infrastructure for Computing (SNIC) at Tetralith/NSC partially funded by the Swedish Research Council through grant agreement no. 2020/5-230, as well as the supercomputing resource Berzelius provided by the National Supercomputer Centre at Linköping University and the Knut and Alice Wallenberg foundation. Fulltext: https://doi.org/10.3384/9789180753678 preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[842] |
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... |
.
|
[841] |
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... |
.
|
[840] |
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. |
.
|
[839] |
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. |
.
|
[838] |
2023. Planning over Integers: Compilations and Undecidability. |
.
|
[837] |
2023. Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. |
.
|
[836] |
2023. Structurally Restricted Fragments of Numeric Planning ? a Complexity Analysis. In THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, pages 12112–12119. In series: AAAI Conference on Artificial Intelligence #??. ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. DOI: 10.1609/aaai.v37i10.26428. |
.
|
[835] |
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. IJCAI-INT JOINT CONF ARTIF INTELL. ISBN: 9781956792034. DOI: 10.24963/ijcai.2023/213. Note: Funding Agencies|National Graduate School in Computer Science (CUGS), Sweden; Swedish Research Council (VR) [2019-03690] |
.
|
[834] |
2023. A Fast Algorithm for Consistency Checking Partially Ordered Time. In Proceedings of the 32nd International Joint Conference on Artificial Intelligence, pages 1911–1918. IJCAI-INT JOINT CONF ARTIF INTELL. ISBN: 9781956792034. DOI: 10.24963/ijcai.2023/212. Note: Funding Agencies|National Graduate School in Computer Science (CUGS), Sweden; Swedish Research Council (VR) [2019-03690] |
.
|
[833] |
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 |
.
|
[832] |
2023. Learning Partial Policies for Intractable Domains on Tractable Subsets. Student Thesis.
29 pages. ISRN: LIU-IDA/LITH-EX-A--23/057--SE. |
.
|
[831] |
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 |
.
|
[830] |
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] |
.
|
[829] |
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... |
.
|
[828] |
2023. Understanding Social Robots: Attribution of Intentional Agency to Artificial and Biological Bodies. Artificial Life, 29(3):351–366. MIT Press. DOI: 10.1162/artl_a_00404. Note: Funding: ELLIIT; Excellence Center at Linkoping-Lund in Information Technology; Swedish Research Council (VR) [2022-04602] Fulltext: https://doi.org/10.1162/artl_a_00404 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[827] |
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. ASSOC COMPUTATIONAL LINGUISTICS-ACL. ISBN: 9781959429715. Note: Funding Agencies|Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Alvis - Swedish Research Council [2022-06725]; AliceWallenberg Foundation at the National Supercomputer Center |
.
|
[826] |
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... |
.
|
[825] |
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... |
.
|
[824] |
2023. Wavelet gated multiformer for groundwater time series forecasting. Scientific Reports, 13(1):??–??. NATURE PORTFOLIO. DOI: 10.1038/s41598-023-39688-0. Note: Funding: Carl Tryggers Foundation; VFN (Verifiering for Nyttiggorande beslutar) at Linkopings University; Swedish National Infrastructure for Computing (SNIC) [SNIC 2022/22-843] Fulltext: https://doi.org/10.1038/s41598-023-39688... |
.
|
[823] |
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... |
.
|
[822] |
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... |
.
|
[821] |
2023. Developing High level Behaviours for the Boston Dynamics Spot Using Automated Planning. Student Thesis.
58 pages. ISRN: LIU-IDA/LITH-EX-A--23/049--SE. |
.
|
[820] |
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 |
.
|
[819] |
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. |
.
|
[818] |
2023. Autonomous 3D exploration with dynamic obstacles: Towards Intelligent Navigation and Collision Avoidance for Autonomous 3D Exploration with dynamic obstacles. Student Thesis.
99 pages. ISRN: LIU-IDA/LITH-EX-A--23/041--SE. |
.
|
[817] |
2023. On the Generalization Ability of Retrieval-Enhanced Transformers. In Findings of the Association for Computational Linguistics, pages 1485–1493. ASSOC COMPUTATIONAL LINGUISTICS-ACL. ISBN: 9781959429470. Note: Funding Agencies|Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research Council [2022-06725] |
.
|
[816] |
2023. Performance of State Distributing Message-Oriented Middleware Systems Using Publish-Subscribe. Student Thesis.
11 pages. ISRN: LIU-IDA/LITH-EX-G--23/039—SE. |
.
|
[815] |
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... |
.
|
[814] |
2023. How Children With Mild Intellectual Disability Experience Self-driving Buses: In Support of Agency. Transaction on Transport Sciences, 14(2):21–31. DOI: 10.5507/tots.2023.002. Fulltext: https://doi.org/10.5507/tots.2023.002 Link: https://tots.upol.cz/getrevsrc.php?ident... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[813] |
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... |
.
|
[812] |
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... |
.
|
[811] |
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... |
.
|
[810] |
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... |
.
|
[809] |
2023. Selected Functionalities for Autonomous Intelligent Systems in Public Safety Scenarios. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2322. Linköping University Electronic Press. 69 pages. ISBN: 9789180751957, 9789180751964. DOI: 10.3384/9789180751964. Note: Funding: This work has been supported by the ELLIIT Network Organization for Information and Communication Technology, Sweden (Project B09), and Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, in addiâ€tion to the sources already acknowledged in the individual papers. Fulltext: https://doi.org/10.3384/9789180751964 preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[808] |
2023. Viewing the Finnish national curriculum through AI glasses: participatory design for integrating AI in grades 1-9. In . |
.
|
[807] |
2023. Wavelet Gated Multiformer for Groundwater Time Series Forecasting. Scientific Reports, 13(??):??–??. DOI: 10.1038/s41598-023-39688-0. Fulltext: https://doi.org/10.1038/s41598-023-39688... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[806] |
2023. Integrating Programming in Other Subjects at Primary Level: Tool, Glue or Ideation. In Therese Keane and Andrew Fluck, editors, Teaching Coding in K-12 Schools, pages 127–144. Springer. ISBN: 9783031219696, 9783031219702. DOI: 10.1007/978-3-031-21970-2_9. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/gx56gprldj0swvl... |
.
|
[805] |
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 |
.
|
[804] |
2023. Student and teacher co-agency when combining CT with arts and design in a cross-curricular project. Computers and Education Open, 4(??):??–??. ELSEVIER. DOI: 10.1016/j.caeo.2023.100132. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[803] |
2023. Three Levels of AI Transparency. Computer, 56(2):93–100. IEEE COMPUTER SOC. DOI: 10.1109/MC.2022.3213181. Note: Funding Agencies|AI Transparency and Consumer Trust; Wallenberg AI; Autonomous Systems and Software Program-Humanities and Society (WASP-HS) |
.
|
[802] |
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 |
.
|
[801] |
2023. Load Balancing In The Edge Cloud With Service Degradation: Combining Application-level Service Degradation With Load Balancing in a Kubernetes-based Edge Cloud. Student Thesis.
79 pages. ISRN: LIU-IDA/LITH-EX-A--23/007--SE. |
.
|
[800] |
2023. Teaching and Learning Concurrent Programming in the Shared Memory Model. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2280. Linköping University Electronic Press. 121 pages. ISBN: 9789180750004, 9789180750011. DOI: 10.3384/9789180750011. Note: Funding agencies: The work in this thesis is partly funded by the Graduate School in Computer Science (CUGS). Fulltext: https://doi.org/10.3384/9789180750011 preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[799] |
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... |
.
|
[798] |
2023. Hierarchical goals contextualize local reward decomposition explanations. Neural Computing & Applications, 35(??):16693–16704. Springer London Ltd. DOI: 10.1007/s00521-022-07280-8. Note: Funding Agencies|Orebro University; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Federal Ministry for Economic Affairs and Climate [FKZ 20X1905A-D] fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
2022 | ||
[797] |
2022. A Multivariate Complexity Analysis of Qualitative Reasoning Problems. In Luc De Raedt, editor, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22), pages 1804–1810. In series: Proceedings of the International Joint Conference on Artificial Intelligence #??. International Joint Conferences on Artificial Intelligence. ISBN: 9781956792003. DOI: 10.24963/ijcai.2022/251. Paper: https://www.ijcai.org/proceedings/2022/0... |
.
|
[796] |
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. |
.
|
[795] |
2022. Multi-fractal detrended cross-correlation heatmaps for time series analysis. Scientific Reports, 12(1):??–??. NATURE PORTFOLIO. DOI: 10.1038/s41598-022-26207-w. Note: Funding Agencies|Swedish National Infrastructure for Computing (SNIC) [SNIC 2022/22-843] fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[794] |
2022. Nucleus Composition in Transition-based Dependency Parsing. Computational linguistics - Association for Computational Linguistics (Print), 48(4):849–886. MIT PRESS. DOI: 10.1162/coli_a_00450. Note: Funding Agencies|Swedish Research Council [2016-01817] fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[793] |
2022. Human Ratings Do Not Reflect Downstream Utility: A Study of Free-Text Explanations for Model Predictions. In Jasmijn Bastings, Yonatan Belinkov, Yanai Elazar, Dieuwke Hupkes, Naomi Saphra, Sarah Wiegreffe, editors, Proceedings of the Fifth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, pages 164–177. Association for Computational Linguistics (ACL). DOI: 10.18653/v1/2022.blackboxnlp-1.14. Paper: https://aclanthology.org/2022.blackboxnl... Video: https://aclanthology.org/2022.blackboxnl... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[792] |
2022. Tractable Parsing for CCGs of Bounded Degree. Computational linguistics - Association for Computational Linguistics (Print), 48(3):593–633. MIT PRESS. DOI: 10.1162/coli_a_00441. Note: Funding Agencies|German Research Foundation (DFG) Research Training Group [GRK 1763]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[791] |
2022. Accelerating the impact of artificial intelligence in mental healthcare through implementation science. Implementation research and practice, 3(??):??–??. Sage Publications. DOI: 10.1177/26334895221112033. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[790] |
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. |
.
|
[789] |
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. |
.
|
[788] |
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. |
.
|
[787] |
2022. Digital Conceptual History and the Emergence of a Globalized Climate Imaginary. Contributions to the History of Concepts, 17(2):95–122. BERGHAHN JOURNALS. DOI: 10.3167/choc.2022.170205. |
.
|
[786] |
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 |
.
|
[785] |
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. In series: Proceedings - International Conference on Computational Linguistics, COLING #??. International Committee on Computational Linguistics. Förlagets fulltext / Publisher's full text: https://aclanthology.org/volumes/2022.co... Paper: https://aclanthology.org/2022.coling-1.p... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[784] |
2022. Learning and Exploiting Progress States in Greedy Best-First Search. In Luc De Raedt, editor, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), pages 4740–4746. In series: IJCAI #??. International Joint Conferences on Artificial Intelligence. ISBN: 9781956792003. DOI: 10.24963/ijcai.2022/657. Fulltext: https://doi.org/10.24963/ijcai.2022/657 |
.
|
[783] |
2022. Best-First Width Search for Lifted Classical Planning. In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh, editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 11–15. In series: Proceedings of the International Conference on Automated Planning and Scheduling #32. AAAI Press. ISBN: 9781577358749. DOI: 10.1609/icaps.v32i1.19780. Fulltext: https://doi.org/10.1609/icaps.v32i1.1978... |
.
|
[782] |
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 |
.
|
[781] |
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... |
.
|
[780] |
2022. Safety-Aware Autonomous Systems: Preparing Robots for Life in the Real World. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2262. Linköping University Electronic Press. 244 pages. ISBN: 9789179295011, 9789179295028. DOI: 10.3384/9789179295028. Fulltext: https://doi.org/10.3384/9789179295028 preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[779] |
2022. Still w(AI)ting for the automation of teaching: An exploration of machine learning in Swedish primary education using Actor-Network Theory. European Journal of Education, 57(4):584–600. Wiley-Blackwell Publishing Inc.. DOI: 10.1111/ejed.12526. Fulltext: https://doi.org/10.1111/ejed.12526 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[778] |
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... |
.
|
[777] |
2022. Towards Combinatorial Assignment in a Euclidean Environmentwith many Agents: applied in StarCraft II. Student Thesis.
35 pages. ISRN: LIU-IDA/LITH-EX-A--22/075--SE. |
.
|
[776] |
2022. Loopless Top-K Planning. In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 380–384. In series: Proceedings of the International Conference on Automated Planning and Scheduling #32. AAAI Press. ISBN: 9781577358749. DOI: 10.1609/icaps.v32i1.19823. Link: https://ojs.aaai.org/index.php/ICAPS/art... |
.
|
[775] |
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... |
.
|
[774] |
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 #207. Elsevier. DOI: 10.1016/j.procs.2022.09.063. Fulltext: https://doi.org/10.1016/j.procs.2022.09.... |
.
|
[773] |
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] |
.
|
[772] |
2022. New Refinement Strategies for Cartesian Abstractions. In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 348–352. In series: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) #32. AAAI Press. ISBN: 9781577358749. DOI: 10.1609/icaps.v32i1.19819. Link: https://ojs.aaai.org/index.php/ICAPS/art... |
.
|
[771] |
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... |
.
|
[770] |
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 International Conference on Principles of Knowledge Representation and Reasoning (KR) #??. IJACAI Organization. ISBN: 9781956792010. DOI: 10.24963/kr.2022/49. |
.
|
[769] |
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... |
.
|
[768] |
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... |
.
|
[767] |
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. In series: Proceedings of the International Symposium on Combinatorial Search #??. AAAI Press. ISBN: 1577358732. DOI: 10.1609/socs.v15i1.21766. Förlagets fulltext / Publisher's full text: https://ojs.aaai.org/index.php/SOCS/arti... |
.
|
[766] |
2022. FOND Planning with Explicit Fairness Assumptions. The journal of artificial intelligence research, 74(??):887–916. AI Access Foundation ; AAAI Press. DOI: 10.1613/jair.1.13599. Note: Funding Agencies|ERC Advanced Grant [885107]; EU [952215]; Knut and Alice Wallenberg (KAW) Foundation under the WASP program fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[765] |
2022. Learning Multi-Agent Combat Scenarios in StarCraft II with League Training: an exploration of advanced learning techniques on a smaller scale. Student Thesis.
25 pages. ISRN: LIU-IDA/LITH-EX-A--22/013--SE. |
.
|
[764] |
2022. Exploring Patient Classification Based on Medical Records: The case of implant bearing patients. Student Thesis.
36 pages. ISRN: LIU-IDA/KOGVET-A--22/014--SE. |
.
|
[763] |
2022. Scalar reward is not enough: a response to Silver, Singh, Precup and Sutton (2021). Autonomous Agents and Multi-Agent Systems, 36(2):??–??. Springer. DOI: 10.1007/s10458-022-09575-5. Note: Funding: Flemish Government; National Cancer Institute of the U.S. National Institutes of Health [1R01CA240452-01A1]; Research Foundation Flanders (FWO) [1242021N]; Swedish Governmental Agency for Innovation Systems [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; National University of Ireland Galway Hardiman Scholarship; FAPERGS [19/2551-0001277-2]; FAPESP [2020/05165-1] fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[762] |
2022. Generating fishing boats behaviour based on historic AIS data: A method to generate maritime trajectories based on historicpositional data. Student Thesis.
54 pages. ISRN: LIU-IDA/LITH-EX-A--22/052--SE. |
.
|
[761] |
2022. I don?t know because I?m not a robot: I don?t know because I?m not a robot:A qualitative study exploring moral questions as a way to investigate the reasoning behind preschoolers? mental state attribution to robots. Student Thesis.
37 pages. ISRN: LIU-IDA/KOGVET-G--22/026--SE. |
.
|
[760] |
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... |
.
|
[759] |
2022. Lekmannabedömning av ett självkörande fordons körförmåga: betydelsen av att erfara fordonet i trafiken. Student Thesis.
31 pages. ISRN: LIU-IDA/KOGVET-G--22/025--SE. |
.
|
[758] |
2022. Generating Directed & Weighted Synthetic Graphs using Low-Rank Approximations. Student Thesis.
65 pages. ISRN: LIU-IDA/LITH-EX-A--2022/042--SE. |
.
|
[757] |
2022. Thermal Imaging-Based Instance Segmentation for Automated Health Monitoring of Steel Ladle Refractory Lining. Student Thesis.
45 pages. ISRN: LIU-IDA/LITH-EX-A--22/039--SE. |
.
|
[756] |
2022. A Multi-Agent Pickup and Delivery System for Automated Stores with Batched Tasks. Student Thesis.
101 pages. ISRN: LIU-IDA/LITH-EX-A--22/038--SE. |
.
|
[755] |
2022. Out of sight, out of mind?: Assessing human attribution of object permanence capabilities to self-driving cars. Student Thesis.
34 pages. ISRN: LIU-IDA/KOGVET-G--22/016--SE. |
.
|
[754] |
2022. Genetic Algorithms for optimizing behavior trees in air combat. Student Thesis.
40 pages. |
.
|
[753] |
2022. Evaluation of different runner set-ups for CI/CD pipelines. Student Thesis.
98 pages. ISRN: LIU-IDA/LITH-EX-A--22/030--SE. |
.
|
[752] |
2022. Automatic Man Overboard Detection with an RGB Camera: Using convolutional neural networks. Student Thesis.
50 pages. ISRN: LIU-IDA/LITH-EX-A--22/036--SE. |
.
|
[751] |
2022. Comparison of Distance Metrics for Trace Clustering in Process Mining: An Effort to Simplify Analysis of Usage Patterns in PACS. Student Thesis.
43 pages. ISRN: LIU-IDA/LITH-EX-A--2022/003--SE. |
.
|
[750] |
2022. Värderingar, Liberalism och Islam. Book.
Linköping University Electronic Press. 244 pages. ISBN: 9789179293772, 9789179293949. DOI: 10.3384/9789179293772. Note: Granskning:Boken är granskad av en extern granskare. Fulltext: https://doi.org/10.3384/9789179293772 Diskutera boken: http://www.liberalkommentar.se/sv/intro-... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/l1347vcdj8w2pr7... preview image: https://liu.diva-portal.org/smash/get/di... |
.
|
[749] |
2022. A practical guide to multi-objective reinforcement learning and planning. Autonomous Agents and Multi-Agent Systems, 36(1):??–??. Springer. DOI: 10.1007/s10458-022-09552-y. Note: Funding: Fonds voor Wetenschappelijk Onderzoek (FWO)FWO [1SA2820N]; Flemish GovernmentEuropean Commission; FWOFWO [iBOF/21/027]; National University of Ireland Galway Hardiman Scholarship; FAPERGSFundacao de Amparo a Ciencia e Tecnologia do Estado do Rio Grande do Sul (FAPERGS) [19/2551-0001277-2]; FAPESPFundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP) [2020/05165-1]; Swedish Governmental Agency for Innovation SystemsVinnova [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; LIFT - Dutch Research Council (NWO) [019.011]; 2017 Microsoft Research PhD Scholarship Program; 2020 Microsoft Research EMEA PhD Award fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[748] |
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), pages 62–70. In series: Proceedings of the International Conference on Automated Planning and Scheduling #??. ISBN: 9781577358749. DOI: 10.1609/icaps.v32i1.19786. Paper: https://doi.org/10.1609/icaps.v32i1.1978... |
.
|
[747] |
2022. Finding co-workers with similar competencies through data clustering. Student Thesis.
40 pages. ISRN: LIU-IDA/LITH-EX-A--21/081--SE. |
.
|
[746] |
2022. Partnership on AI, Data, and Robotics. |
.
|
[745] |
2022. Instance Segmentation on depth images using Swin Transformer for improved accuracy on indoor images. Student Thesis.
In series: arXiv.org #??. 43 pages. ISRN: LIU-IDA/LITH-EX-A--2022/004--SE. |
.
|
[744] |
2022. Design of simulation-based pilot training systems using machine learning agents. Aeronautical Journal, 126(1300):907–931. Cambridge University Press. DOI: 10.1017/aer.2022.8. Note: Funding Agencies|Swedish Governmental Agency for Innovation SystemsVinnova [NFFP7/2017-04885]; Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; Swedish Research CouncilSwedish Research CouncilEuropean Commission [2020/5-230] fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[743] |
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... |
.
|
[742] |
2022. Insurance Fraud Detection using Unsupervised Sequential Anomaly Detection. Student Thesis.
63 pages. ISRN: LIU-IDA/LITH-EX-A--21/084--SE. Note: Gjordes digitalt via Zoom. |
.
|
[741] |
2022. The tree-generative capacity of combinatory categorial grammars. Journal of computer and system sciences (Print), 124(??):214–233. Academic Press Ltd - Elsevier Science Ltd. DOI: 10.1016/j.jcss.2021.10.005. Note: Funding Agencies|Centre for Industrial IT (CENIIT) [15.02]; German Research Foundation (DFG) Research Training Group GRK 1763 Quantitative Logics and AutomataGerman Research Foundation (DFG) fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
2021 | ||
[740] |
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... |
.
|
[739] |
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. |
.
|
[738] |
2021. Improved Algorithms for Allen?s Interval Algebra: a Dynamic Programming Approach. In Zhi-Hua Zhou, editor, Proceedings of the 30th International Joint Conference on Artificial Intelligence, pages 1873–1879. In series: Proceedings of the International Joint Conference on Artificial Intelligence #??. International Joint Conferences on Artificial Intelligence. ISBN: 9780999241196. DOI: 10.24963/ijcai.2021/258. |
.
|
[737] |
2021. Digital kompetens i Svenskfinland: nulägesanalys och goda modeller. Technical Report.
Svenska kulturfonden. 138 pages. Report: https://www.kulturfonden.fi/wp-content/u... |
.
|
[736] |
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: http://liu.diva-portal.org/smash/get/div... |
.
|
[735] |
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... |
.
|
[734] |
2021. An empirical study on the contribution of formal and semantic features to the grammatical gender of nouns. Linguistics Vanguard, 7(1):??–??. WALTER DE GRUYTER GMBH. DOI: 10.1515/lingvan-2020-0048. Note: Funding Agencies|IDEXLYON Fellowship Grant [16-IDEX-0005]; University of Lyon Grant NSCO ED 476 [ANR-10-LABX-0081]; French National Research AgencyFrench National Research Agency (ANR) [ANR-11-IDEX-0007] |
.
|
[733] |
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. Association for Computational Linguistics. ISBN: 9781955917063. DOI: 10.18653/v1/2021.blackboxnlp-1.2. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[732] |
2021. The Non-Deterministic Path to Concurrency ? Exploring how Students Understand the Abstractions of Concurrency. Informatics in Education. An International Journal, 20(4):683–715. Vilnius University Press. DOI: 10.15388/infedu.2021.29. Fulltext: https://doi.org/10.15388/infedu.2021.29 fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[731] |
2021. Understanding Students? Failure to use Functions as a Tool for Abstraction ? An Analysis of Questionnaire Responses and Lab Assignments in a CS1 Python Course. Informatics in Education. An International Journal, 20(4):583–614. Vilnius University Press. DOI: 10.15388/infedu.2021.26. Fulltext: https://doi.org/10.15388/infedu.2021.26 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[730] |
2021. Extracting Salient Named Entities from Financial News Articles. Student Thesis.
ISRN: LIU-IDA/LITH-EX-A--21/040--SE. |
.
|
[729] |
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: Workshop at the International Joint Conferences on Artificial Intelligence. Link to paper: http://rbr.cs.umass.edu/r2aw/papers/R2AW... |
.
|
[728] |
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... |
.
|
[727] |
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.... |
.
|
[726] |
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] |
.
|
[725] |
2021. Education in Artificial Intelligence K-12. Künstliche Intelligenz, 35(2):127–129. Springer. DOI: 10.1007/s13218-021-00734-6. Note: Funding Agencies: Graz University of Technology fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[724] |
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] |
.
|
[723] |
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... |
.
|
[722] |
2021. Learning Generalized Unsolvability Heuristics for Classical Planning. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), pages 4175–4181. In series: Proceedings of the International Joint Conference on Artificial Intelligence #??. International Joint Conferences on Artifical Intelligence (IJCAI). ISBN: 9780999241196. DOI: 10.24963/ijcai.2021/574. Paper: https://www.ijcai.org/proceedings/2021/0... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[721] |
2021. Human Autonomy in Future Drone Traffic: Joint Human-AI Control in Temporal Cognitive Work. Frontiers in Artificial Intelligence, 4(??):??–??. Frontiers Media S.A.. DOI: 10.3389/frai.2021.704082. Note: Funding: Swedish Transport Administration fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[720] |
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... |
.
|
[719] |
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. |
.
|
[718] |
2021. Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs. International Journal of Social Robotics, 13(4):557–567. Springer. DOI: 10.1007/s12369-019-00540-z. fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[717] |
2021. Exploring feasibility of reinforcement learning flight route planning. Student Thesis.
36 pages. ISRN: LIU-IDA/KOGVET-G–21/031—SE. Alternativ nerladdning: https://public.axelwickman.com/published... |
.
|
[716] |
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. |
.
|
[715] |
2021. Three Interviews About K-12 AI Education in America, Europe, and Singapore. |
.
|
[714] |
2021. Improving Solr search with Natural Language Processing: An NLP implementation for information retrieval in Solr. Student Thesis.
24 pages. ISRN: LIU-IDA/LITH-EX-G–21/030—SE. |
.
|
[713] |
2021. Clustering and Summarization of Chat Dialogues: To understand a company?s customer base. Student Thesis.
61 pages. ISRN: LIU-IDA/LITH-EX-A--21/037--SE. |
.
|
[712] |
2021. Extracting Transaction Information from Financial Press Releases. |
.
|
[711] |
2021. Estimating lighting from unconstrained RGB images using Deep Learning in real-time for superimposed objects in an augmented reality application. Student Thesis.
62 pages. ISRN: LIU-IDA/LITH-EX-A--21/042—SE. |
.
|
[710] |
2021. Evaluation of BERT-like models for small scale ad-hoc information retrieval. Student Thesis.
34 pages. ISRN: LIU-IDA/LITH-EX-A--21/051—SE. |
.
|
[709] |
2021. Extreme Quantile Estimation of Downlink Radio Channel Quality. Student Thesis.
46 pages. ISRN: LIU-IDA/LITH-EX-A--21/048--SE. |
.
|
[708] |
2021. Kombinatorisk Optimering med Pointer Networks och Reinforcement Learning. Student Thesis.
ISRN: LIU-IDA/LITH-EX-A--21/035—SE. |
.
|
[707] |
2021. Exploring the Capabilities of Generative Adversarial Networks in Remote Sensing Applications. Student Thesis.
ISRN: LIU-IDA/LITH-EX-A--2021/043--SE. attachment: http://liu.diva-portal.org/smash/get/div... |
.
|
[706] |
2021. Automatic Categorization of News Articles With Contextualized Language Models. Student Thesis.
63 pages. ISRN: LIU-IDA/LITH-EX-A--21/038--SE. |
.
|
[705] |
2021. Real-time Aerial Photograph Alignment using Feature Matching. Student Thesis.
21 pages. ISRN: LIU-IDA/LITH-EX-G--21/035--SE. |
.
|
[704] |
2021. Using Low-Code Platforms to Collect Patient-Generated Health Data: A Software Developer?s Perspective. Student Thesis.
ISRN: LIU-IDA/LITH-EX-G--21/034--SE. |
.
|
[703] |
2021. Threats to smart buildings: Securing devices in a SCADA network. Student Thesis.
ISRN: LIU-IDA/LITH-EX-G--21/038--SE. |
.
|
[702] |
2021. Verktyg för hyperparameteroptimering. Student Thesis.
8 pages. ISRN: LIU-IDA/LITH-EX-G--21/042--SE. |
.
|
[701] |
2021. A Differentiated Discussion About AI Education K-12. Künstliche Intelligenz, 35(2):131–137. Springer Nature. DOI: 10.1007/s13218-021-00724-8. Note: Funding Agencies|Graz University of Technology fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[700] |
2021. Evaluating CNN-based models for unsupervised image denoising. Student Thesis.
43 pages. ISRN: LIU-IDA/LITH-EX-A--21/011--SE. |
.
|
[699] |
2021. Exploring Transformer-Based Contextual Knowledge Graph Embeddings: How the Design of the Attention Mask and the Input Structure Affect Learning in Transformer Models. Student Thesis.
41 pages. ISRN: LIU-IDA/LITH-EX-A--21/002--SE. |
.
|
[698] |
2021. Creating Digital Twin Distributed Networks Using Switches With Programmable Data Plane. Student Thesis.
70 pages. ISRN: LIU-IDA/LITH-EX-A--2021/009--SE. |
.
|
[697] |
2021. Synchronizing 3D data between software: Driving 3D collaboration forward using direct links. Student Thesis.
43 pages. ISRN: LIU-IDA/LITH-EX-A--21/010—SE. |
.
|
[696] |
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... |
.
|
[695] |
2021. Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning. IEEE Robotics and Automation Letters, 6(3):4385–4392. Institute of Electrical and Electronics Engineers (IEEE). DOI: 10.1109/LRA.2021.3068550. Note: Funding: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; National Graduate School in Computer Science (CUGS), Sweden; Excellence Center at Linkoping-Lund for Information Technology (ELLIIT); TAILOR Project - EU Horizon 2020 research and innovation programme [952215]; Knut and Alice Wallenberg FoundationKnut & Alice Wallenberg Foundation [KAW 2019.0350] Fulltext: https://doi.org/10.1109/LRA.2021.3068550 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[694] |
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... |
.
|
[693] |
2021. Elementary Students First Approach to Computational Thinking and Programming. Education Sciences, 11(2):??–??. MDPI. DOI: 10.3390/educsci11020080. Note: Funding Agencies|Marcus and Amalia Wallenberg Foundation [MAW 2017.0096] fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[692] |
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... |
.
|
[691] |
2021. Design Optimization in Gas Turbines using Machine Learning: A study performed for Siemens Energy AB. Student Thesis.
56 pages. ISRN: LIU-IDA/LITH-EX-A-21/007--SE. |
.
|
[690] |
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... |
.
|
[689] |
2021. A framework for describing interaction between human operators and autonomous, automated, and manual control systems. Cognition, Technology & Work, 23(??):381–401. SPRINGER LONDON LTD. DOI: 10.1007/s10111-020-00637-w. Note: Funding Agencies|Linkoping University - Swedish Transport Administration; Air Navigation Services of Sweden fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
2020 | ||
[688] |
2020. Commentary on AI in the EU. In Stefan Larsson, Claire Ingram Bogusz and Jonas Andersson Schwarz, editors, Human-centred AI in the EU: trustworthiness as a strategic priority in the European member states, pages 1–12. European Liberal Forum (ELF). ISBN: 9789187379819. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/dvz0s29gbv01hpm... |
.
|
[687] |
2020. A framework for describing interaction between human operators and autonomous, automated, and manual control systems. Cognition, Technology & Work, 23(3):381–401. DOI: 10.1007/s10111-020-00637-w. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[686] |
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. |
.
|
[685] |
2020. g-C3N4/WTe2 Hybrid Electrocatalyst for Efficient Hydrogen Evolution Reaction. The Journal of Physical Chemistry C, 124(16):8726–8735. American Chemical Society (ACS). DOI: 10.1021/acs.jpcc.9b11982. |
.
|
[684] |
2020. Development of computational thinking, digital competence and 21stcentury skills when learning programming in K-9. |
.
|
[683] |
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... |
.
|
[682] |
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... |
.
|
[681] |
2020. Towards Utilitarian Combinatorial Assignment with Deep Neural Networks and Heuristic Algorithms. In Fredrik Heintz, Michela Milano, Barry O'Sullivan, editors, Trustworthy AI - Integrating Learning, Optimization and Reasoning: First International Workshop, TAILOR 2020, Virtual Event, September 4?5, 2020, Revised Selected Papers, pages 104–111. In series: Lecture Notes in Computer Science #12641 LNAI. Springer. ISBN: 9783030739584, 9783030739591. DOI: 10.1007/978-3-030-73959-1_10. Paper in proceedings: https://link.springer.com/content/pdf/10... |
.
|
[680] |
2020. Classifier Probes May Just Learn from Linear Context Features. In Donia Scott, Nuria Bel, Chengqing Zong, editors, Proceedings of the 28th International Conference on Computational Linguistics, pages 5136–5146. In series: ACL Anthology #2020.coling-main.0. International Committee on Computational Linguistics. ISBN: 9781952148279. DOI: 10.18653/v1/2020.coling-main.450. Fulltext: https://doi.org/10.18653/v1/2020.coling-... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[679] |
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] |
.
|
[678] |
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] |
.
|
[677] |
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... |
.
|
[676] |
2020. Att undervisa textbaserad programmering i skolan. Book.
Studentlitteratur. 256 pages. ISBN: 9789144130644. Note: Upplaga 1 Link: http://libris.kb.se/bib/1d5q2kllzjq18z3v |
.
|
[675] |
2020. Uncertainty Discretization for Motion Planning Under Uncertainty. Student Thesis.
55 pages. ISRN: LIU-IDA/LITH-EX-A--20/060--SE. |
.
|
[674] |
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... |
.
|
[673] |
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.... |
.
|
[672] |
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.... |
.
|
[671] |
2020. Uncertainty Discretization for Motion Planning Under Uncertainty. Student Thesis.
55 pages. ISRN: LIU-IDA/LITH-EX-A--20/060--SE. |
.
|
[670] |
2020. Extracting Behaviour Trees from Deep Q-Networks: Using learning from demostration to transfer knowledge between models. Student Thesis.
54 pages. ISRN: LIU-IDA/LITH-EX-A--20/059—SE. |
.
|
[669] |
2020. Evaluating DCNN architecturesfor multinomial area classicationusing satellite data. Student Thesis.
ISRN: LIU-IDA/LITH-EX-A--20/031--SE. |
.
|
[668] |
2020. On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More. Journal of Multiple-Valued Logic and Soft Computing, 34(5-6):423–450. Old City Publishing. Note: Funding agencies:Â National Science Centre PolandNational Science Center, PolandNational Science Centre, Poland [2017/27/B/ST6/02018] Journal home page: https://www.oldcitypublishing.com/journa... |
.
|
[667] |
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-... |
.
|
[666] |
2020. A Paraconsistent ASP-like Language with Tractable Model Generation. Journal of Applied Logics - IfCoLog Journal of Logic and Applications, 7(3):361–389. College Publications. Note: Funding agencies:Â This work has been supported by grant 2017/27/B/ST6/02018 of the National Science Centre Poland. Link to article: http://www.collegepublications.co.uk/dow... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[665] |
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). |
.
|
[664] |
2020. Multilingual identification of offensive content in social media. Student Thesis.
50 pages. ISRN: LIU-IDA/LITH-EX-A--20/053--SE. |
.
|
[663] |
2020. Real Time Integrated Tools for Video Game Development: a usability study. Student Thesis.
78 pages. ISRN: LIU-IDA/LITH-EX-A--20/050--SE. |
.
|
[662] |
2020. Implementation of visualizations using a server-client architecture: Effects on performance measurements. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--20/052--SE. |
.
|
[661] |
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... |
.
|
[660] |
2020. Evaluating an ARCore application to get an image of the state of AR technology today. Student Thesis.
8 pages. ISRN: LIU-IDA/LITH-EX-G--20/051--SE. |
.
|
[659] |
2020. Evaluation of text classification techniques for log file classification. Student Thesis.
48 pages. ISRN: LIU-IDA/LITH-EX-A--20/048--SE. |
.
|
[658] |
2020. The autonomous crewmate: A sociotechnical perspective to implementation of autonomous vehicles in sea rescue. Student Thesis.
72 pages. ISRN: LIU-IDA/KOGVET-A--20/009--SE. |
.
|
[657] |
2020. Undersökning av flexibel implementation för hantering av multipla rösttjänster. Student Thesis.
12 pages. ISRN: LIU-IDA/LITH-EX-G--20/021--SE. |
.
|
[656] |
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... |
.
|
[655] |
2020. Using Primary Dynamic Factor Analysis on repeated cross-sectional surveys with binary responses. Student Thesis.
54 pages. ISRN: LIU-IDA/LITH-EX-A--20/007--SE. |
.
|
[654] |
2020. Learning to Make Safe Real-Time Decisions Under Uncertainty for Autonomous Robots. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2051. Linköping University Electronic Press. 55 pages. ISBN: 9789179298890. DOI: 10.3384/diss.diva-163419. Fulltext: https://doi.org/10.3384/diss.diva-163419 preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[653] |
2020. An anytime algorithm for optimal simultaneous coalition structure generation and assignment. Autonomous Agents and Multi-Agent Systems, 34(1):??–??. SPRINGER. DOI: 10.1007/s10458-020-09450-1. Note: Funding Agencies|Linkoping University; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[652] |
2020. Exploiting parallelization and synergy in derivative free optimization. Technical Report.
In series: LiTH-MAT-R #2020:4. Linköping University Electronic Press. 18 pages. |
.
|
[651] |
2020. Incremental Reasoning in Probabilistic Signal Temporal Logic. International Journal of Approximate Reasoning, 119(??):325–352. Elsevier. DOI: 10.1016/j.ijar.2020.01.009. Note: Funding agencies: National Graduate School in Computer Science, Sweden (CUGS); Swedish Research Council (VR) Linnaeus Center CADICSSwedish Research Council; ELLIIT Excellence Center at Linkoping-Lund for Information Technology; Wallenberg AI, Autonomous Systems and Softwar Fulltext: https://doi.org/10.1016/j.ijar.2020.01.0... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[650] |
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... |
.
|
[649] |
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 | ||
[648] |
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 |
.
|
[647] |
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) |
.
|
[646] |
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. |
.
|
[645] |
2019. Belief Shadowing. In Danny Weyns, Viviana Mascardi, Alessandro Ricci, editors, Engineering Multi-Agent Systems. EMAS 2018: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers, pages 158–180. In series: Lecture Notes in Computer Science #11375. Springer. ISBN: 9783030256920, 9783030256937. DOI: 10.1007/978-3-030-25693-7_9. Paper in proceedings: https://link.springer.com/content/pdf/10... |
.
|
[644] |
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) |
.
|
[643] |
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.. |
.
|
[642] |
2019. Short-Term Forecasting of Taxi Demand using a two Channelled Convolutional LSTM network. Student Thesis.
39 pages. ISRN: LIU-IDA/LITH-A--19/097—SE. |
.
|
[641] |
2019. Arrival Time Predictions for Buses using Recurrent Neural Networks. Student Thesis.
65 pages. ISRN: LIU-IDA/LITH-EX-A--19/098--SE. |
.
|
[640] |
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. |
.
|
[639] |
2019. Efficient Autonomous Exploration Planning of Large-Scale 3D-Environments: A tool for autonomous 3D exploration indoor. Student Thesis.
50 pages. ISRN: LIU-IDA/LITH-EX-A--19/017--SE. |
.
|
[638] |
2019. General-purpose maintenance planning using deep reinforcement learning and Monte Carlo tree search. Student Thesis.
42 pages. ISRN: LIU-IDA/LITH-EX-A--19/096--SE. |
.
|
[637] |
2019. Automatic Dispatching of Issues using Machine Learning. Student Thesis.
90 pages. ISRN: LIU-IDA/LITH-EX-A--19/043--SE. |
.
|
[636] |
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 |
.
|
[635] |
2019. HMMs and LSTMs for On-line Gesture Recognition on the Stylaero Board: Evaluating and Comparing Two Methods. Student Thesis.
36 pages. ISRN: LIU-IDA/LITH-EX-A--2019/091--SE. |
.
|
[634] |
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... |
.
|
[633] |
2019. Robust Stream Reasoning Under Uncertainty. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #2006. Linköping University Electronic Press. 207 pages. ISBN: 9789176850138. DOI: 10.3384/diss.diva-157633. Fulltext: https://doi.org/10.3384/diss.diva-157633 preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[632] |
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... |
.
|
[631] |
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... |
.
|
[630] |
2019. A paraconsistent approach to actions in informationally complex environments. Annals of Mathematics and Artificial Intelligence, 86(4):231–255. SPRINGER. DOI: 10.1007/s10472-019-09627-9. Note: Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT Network Organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project) fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[629] |
2019. Marketing Mix Modelling: A comparative study of statistical models. Student Thesis.
113 pages. ISRN: LIU-IDA/LITH-EX-A--19/054--SE. |
.
|
[628] |
2019. Two-factor Authentication and Digital Signing for an Enterprise System utilizing Yubikey. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--19/040--SE. |
.
|
[627] |
2019. Automatic parameter tuning in localization algorithms. Student Thesis.
57 pages. ISRN: LIU-IDA/LITH-EX-A--19/052--SE. |
.
|
[626] |
2019. Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis. International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 27(3):429–455. WORLD SCIENTIFIC PUBL CO PTE LTD. DOI: 10.1142/S021848851950020X. Note: Funding Agencies|Polish National Science Centre [2012/05/B/ST6/03094, 2015/19/B/ST6/02589] |
.
|
[625] |
2019. Investigating the impact on subjective satisfaction and learnability when adopting cloud in an SME. Student Thesis.
74 pages. ISRN: LIU-IDA/LITH-EX-A--19/030--SE. |
.
|
[624] |
2019. Bayesian optimization for selecting training and validation data for supervised machine learning: using Gaussian processes both to learn the relationship between sets of training data and model performance, and to estimate model performance over the entire problem domain. Student Thesis.
39 pages. ISRN: LIU-IDA/LITH-EX-A--19/016--SE. |
.
|
[623] |
2019. Special issue on stream reasoning. |
.
|
[622] |
2019. Learning behaviour trees for simulated fighter pilots in airborne reconnaissance missions: A grammatical evolution approach. Student Thesis.
94 pages. ISRN: LIU-IDA/LITH-EX-A--19/015--SE. |
.
|
[621] |
2019. Efficient Autonomous Exploration Planning of Large Scale 3D-Environments. IEEE Robotics and Automation Letters, 4(2):1699–1706. Institute of Electrical and Electronics Engineers (IEEE). DOI: 10.1109/LRA.2019.2897343. fulltext:postprint: https://liu.diva-portal.org/smash/get/di... |
.
|
[620] |
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 | ||
[619] |
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. |
.
|
[618] |
2018. Code ABC MOOC for Math Teachers. Communications in Computer and Information Science, 865(??):66–96. Springer. DOI: 10.1007/978-3-319-94640-5_4. |
.
|
[617] |
2018. LetterMoose: A Handwriting Tutor Robot. In . |
.
|
[616] |
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) |
.
|
[615] |
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] |
.
|
[614] |
2018. Proceedings of the 14th SweCog Conference: Linköping 2018, 11-12 October. Conference Proceedings.
In series: Skövde University Studies in Informatics #2018:1. University of Skövde. 30 pages. ISBN: 9789198366730. |
.
|
[613] |
2018. Human Interpretation of Goal-Directed Autonomous Car Behavior. In Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, pages 2235–2240. Cognitive Science Society. ISBN: 9780991196784. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[612] |
2018. A Cycle-Trade Heuristic for the Weighted k-Chinese Postman Problem. Student Thesis.
23 pages. ISRN: LIU-IDA/LITH-EX-G--18/073--SE. |
.
|
[611] |
2018. Paraconsistent Rule-Based Reasoning with Graded Truth Values. Journal of Applied Logics - IfCoLog Journal, 5(1):185–220. College Publications. Link: http://www.collegepublications.co.uk/dow... |
.
|
[610] |
2018. Variations on Ja?kowski?s Discursive Logic. In Ãngel GarridoUrszula Wybraniec-Skardowska, editor, The Lvov-Warsaw School. Past and Present, pages 485–497. In series: Studies in Universal Logic #??. Birkhäuser. ISBN: 9783319654294, 9783319654300. DOI: 10.1007/978-3-319-65430-0_34. |
.
|
[609] |
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. |
.
|
[608] |
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. |
.
|
[607] |
2018. Gaussian Process Regression-based GPS Variance Estimation and Trajectory Forecasting. Student Thesis.
59 pages. ISRN: LIU-IDA/LITH-EX-A--18/040--SE. |
.
|
[606] |
2018. Temporal Task and Motion Plans: Planning and Plan Repair: Repairing Temporal Task and Motion Plans Using Replanning with Temporal Macro Operators. Student Thesis.
128 pages. ISRN: LIU-IDA/LITH-EX-A--18/047--SE. |
.
|
[605] |
2018. Intelligent Formation Control using Deep Reinforcement Learning. Student Thesis.
53 pages. ISRN: LLIU-IDA/LITH-EX-A--2017/001--SE. |
.
|
[604] |
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. |
.
|
[603] |
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... |
.
|
[602] |
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... |
.
|
[601] |
2018. User-Based Predictive Caching of Streaming Media. Student Thesis.
58 pages. ISRN: LIU-IDA/LITH-EX-A--18/033—SE. Note: This thesis is written as a joint thesis between two students from different universities. This means the exact same thesis is published at two universities (LiU and KTH) but with different style templates. The other report has identification number: TRITA-EECS-EX-2018:403 |
.
|
[600] |
2018. The Low-Cost Evolution of AI in Domestic Floor Cleaning Robots. |
.
|
[599] |
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... |
.
|
[598] |
2018. Predicting inter-frequency measurements in an LTE network using supervised machine learning: a comparative study of learning algorithms and data processing techniques. Student Thesis.
52 pages. ISRN: LIU-IDA/LITH-EX-A--18/017--SE. |
.
|
[597] |
2018. Intravenous bag monitoring with Convolutional Neural Networks. Student Thesis.
12 pages. ISRN: LIU-IDA/LITH-EX-G--2018/048--SE. |
.
|
[596] |
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) |
.
|
[595] |
2018. Utilize OCR text to extract receipt data and classify receipts with common Machine Learning algorithms. Student Thesis.
13 pages. ISRN: LIU-IDA/LITH-EX-G--18/043—SE. |
.
|
[594] |
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 | ||
[593] |
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] |
.
|
[592] |
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] |
.
|
[591] |
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 |
.
|
[590] |
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] |
.
|
[589] |
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) |
.
|
[588] |
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] |
.
|
[587] |
2017. Designing an Artificial Neural Network for state evaluation in Arimaa: Using a Convolutional Neural Network. Student Thesis.
31 pages. ISRN: LIU-IDA/LITH-EX-G--17/024--SE. |
.
|
[586] |
2017. Implementation and testing of an FPT-algorithm for computing the h+ heuristic. Student Thesis.
39 pages. ISRN: LIU-IDA/LITH-EX-G–17/077–SE. |
.
|
[585] |
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. |
.
|
[584] |
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... |
.
|
[583] |
2017. Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1783. Linköping University Electronic Press. 133 pages. ISBN: 9789176854761. DOI: 10.3384/lic.diva-138645. Note: The series name Linköping Studies in Science and Technology Licentiate Thesis is inocorrect. The correct series name is Linköping Studies in Science and Technology Thesis. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[582] |
2017. Linköping Humanoids: Application RoboCup 2017 Standard Platform League. In , pages 1–2. fulltext:preprint: http://liu.diva-portal.org/smash/get/div... movie: http://liu.diva-portal.org/smash/get/div... |
.
|
[581] |
2017. Methods for Scalable and Safe Robot Learning. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1780. Linköping University Electronic Press. 37 pages. ISBN: 9789176854907. DOI: 10.3384/lic.diva-138398. Fulltext: https://doi.org/10.3384/lic.diva-138398 cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[580] |
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] |
.
|
[579] |
2017. Software developers? performance awareness. Student Thesis.
49 pages. ISRN: LIU-IDA/LITH-EX-A--17/016--SE. |
.
|
[578] |
2017. Tuning of machine learning algorithms for automatic bug assignment. Student Thesis.
135 pages. ISRN: LIU-IDA/LITH-EX-A--17/022--SE. |
.
|
[577] |
2017. Simultaneous coalition formation and task assignment in a real-time strategy game. Student Thesis.
65 pages. ISRN: LIU-IDA/LITH-EX-A--17/032--SE. |
.
|
[576] |
2017. Organ Detection and Localization in Radiological Image Volumes. Student Thesis.
88 pages. ISRN: LIU-IDA/LITH-EX-A--17/024--SE. |
.
|
[575] |
2017. Muting pattern strategy for positioning in cellular networks. Student Thesis.
65 pages. ISRN: LIU-IDA/LITH-EX-A--17/018--SE. |
.
|
[574] |
2017. Prioritizing Tests with Spotify?s Test & Build Data using History-based, Modification-based & Machine Learning Approaches. Student Thesis.
43 pages. ISRN: LIU-IDA/LITH-EX-A--2017/021--SE. |
.
|
[573] |
2017. Transition-Based Dependency Parsing with Neural Networks. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--17/011--SE. |
.
|
[572] |
2017. Visualizing atmospheric data on a mobile platform. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--17/010--SE. |
.
|
[571] |
2017. The feasibility and practicality of a generic social media library. Student Thesis.
8 pages. ISRN: LIU-IDA/LITH-EX-G--17/009--SE. |
.
|
[570] |
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. |
.
|
[569] |
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 | ||
[568] |
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... |
.
|
[567] |
2016. How may robots affect the labour market in the near future?. In Andreas Bergström and Karl Wennberg, editors, Machines, jobs and equality: Technological changes and labour markets in Europe, pages 105–134. The European Liberal Forum (ELF). ISBN: 9789187379369. Download the complete book: http://fores.se/wp-content/uploads/2016/... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[566] |
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... |
.
|
[565] |
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. |
.
|
[564] |
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. |
.
|
[563] |
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. |
.
|
[562] |
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. |
.
|
[561] |
2016. Online Whole-Body Control using Hierarchical Quadratic Programming: Implementation and Evaluation of the HiQP Control Framework. Student Thesis.
76 pages. ISRN: LIU-IDA/LITH-EX-A--16/056--SE. |
.
|
[560] |
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. |
.
|
[559] |
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... |
.
|
[558] |
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... |
.
|
[557] |
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). |
.
|
[556] |
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. |
.
|
[555] |
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 |
.
|
[554] |
2016. Cognitive robotics in JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, vol 28, issue 5, pp 779-780. Journal of experimental and theoretical artificial intelligence (Print), 28(5):779–780. TAYLOR & FRANCIS LTD. DOI: 10.1080/0952813X.2016.1218649. |
.
|
[553] |
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. |
.
|
[552] |
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). |
.
|
[551] |
2016. Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 2. |
.
|
[550] |
2016. Implementation and Evaluation of a Continuous Code Inspection Platform. Student Thesis.
100 pages. ISRN: LIU-IDA/LITH-EX-A--16/047—SE. |
.
|
[549] |
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. |
.
|
[548] |
2016. Lightweight User Agents. Student Thesis.
36 pages. ISRN: LIU-IDA/LITH-EX-G--16/036--SE. |
.
|
[547] |
2016. Cluster Analysis of Discussions on Internet Forums. Student Thesis.
62 pages. ISRN: LIU-IDA/LITH-EX-G--16/037—SE. |
.
|
[546] |
2016. Search guidance with composite actions: Increasing the understandability of the domain model. Student Thesis.
98 pages. ISRN: LIU-IDA/LITH-EX--16/043--SE. |
.
|
[545] |
2016. Automatic fine tuning of cavity filters. Student Thesis.
49 pages. ISRN: LIU-IDA/LITH-EX-A--16/036--SE. |
.
|
[544] |
2016. Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 1. |
.
|
[543] |
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. |
.
|
[542] |
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... |
.
|
[541] |
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. |
.
|
[540] |
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... |
.
|
[539] |
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 | ||
[538] |
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... |
.
|
[537] |
2015. Samtal om Sveriges nation. Book.
Volibri förlag och IT. 154 pages. ISBN: 9789163792267. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... |
.
|
[536] |
2015. Using Rigid Landmarks to Infer Inter-Temporal Spatial Relations in Spatio-Temporal Reasoning. Student Thesis.
32 pages. ISRN: LIU-IDA/LITH-EX-G--15/074--SE. |
.
|
[535] |
2015. Querying Flying Robots and Other Things: Ontology-supported stream reasoning. , 22(2):44–47. Association for Computing Machinery (ACM). Note: DOI does not work: 10.1145/2845155 Link to publication: http://xrds.acm.org/article.cfm?aid=2845... |
.
|
[534] |
2015. Document Separation in Digital Mailrooms. Student Thesis.
47 pages. ISRN: LIU-IDA/LITH-EX-A-15/056-SE. |
.
|
[533] |
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... |
.
|
[532] |
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. |
.
|
[531] |
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. |
.
|
[530] |
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. |
.
|
[529] |
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. |
.
|
[528] |
2015. Troubleshooting Trucks: Automated Planning and Diagnosis. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1691. Linköping University Electronic Press. 79 pages. ISBN: 978-91-7685-993-3. DOI: 10.3384/diss.diva-119445. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[527] |
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... |
.
|
[526] |
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... |
.
|
[525] |
2015. A New Perspective on Goals. In Sujata Ghosh and Jakub Szymanik, editors, The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge, pages 50–66. College Publications. ISBN: 978-1-84890-173-5. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-1-8... |
.
|
[524] |
2015. Efficient Temporal Reasoning with Uncertainty. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1722. Linköping University Electronic Press. 116 pages. ISBN: 9789176859919. DOI: 10.3384/lic.diva-119409. cover: http://liu.diva-portal.org/smash/get/div... preview image: http://liu.diva-portal.org/smash/get/div... |
.
|
[523] |
2015. Towards richer rule languages with polynomial data complexity for the Semantic Web. Data & Knowledge Engineering, 96-97(??):57–77. ELSEVIER SCIENCE BV. DOI: 10.1016/j.datak.2015.04.005. |
.
|
[522] |
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... |
.
|
[521] |
2015. I am the Greatest Driver in the World!: -Does self-awareness of driving ability affect traffic safety behaviour?. Student Thesis.
43 pages. ISRN: LIU-IDA/KOGVET-A--15/008—SE. |
.
|
[520] |
2015. Portering från Google Apps REST API till Microsoft Office 365 REST API. Student Thesis.
10 pages. ISRN: LiTH-IDA/ERASMUS-G--15/003--SE. |
.
|
[519] |
2015. A Comparison of Katz-eig and Link-analysis for Implicit Feedback Recommender Systems. Student Thesis.
85 pages. ISRN: LIU-IDA/LITH-EX-A--15/026--SE. Link: http://www.jonashietala.se/masters_thesi... |
.
|
[518] |
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. |
.
|
[517] |
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... |
.
|
[516] |
2015. Automated Setup of Display Protocols. Student Thesis.
44 pages. ISRN: LIU-IDA/LITH-EX-A--15/014--SE. Link: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
.
|
[515] |
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... |
.
|
[514] |
2015. Trust Logics and Their Horn Fragments: Formalizing Socio-Cognitive Aspects of Trust. Student Thesis.
93 pages. ISRN: LiTH-MAT-EX--2015/01--SE. |
.
|
[513] |
2015. Paraconsistent semantics of speech acts. |
.
|
[512] |
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... |
.
|
[511] |
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 | ||
[510] |
2014. Guided Integrated Remote and Workshop Troubleshooting of Heavy Trucks. International Journal of Commercial Vehicles, 7(1):25–36. SAE International. DOI: 10.4271/2014-01-0284. |
.
|
[509] |
2014. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse. VNU Journal of Computer Science and Communication Engineering, 30(4):14–28. Link to publication: http://www.jcsce.vnu.edu.vn/index.php/jc... |
.
|
[508] |
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. |
.
|
[507] |
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. |
.
|
[506] |
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. |
.
|
[505] |
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... |
.
|
[504] |
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... |
.
|
[503] |
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. |
.
|
[502] |
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. |
.
|
[501] |
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... |
.
|
[500] |
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... |
.
|
[499] |
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... |
.
|
[498] |
2014. Unsupervised Spatio-Temporal Activity Learning and Recognition in a Stream Processing Framework. Student Thesis.
103 pages. ISRN: LIU-IDA/LITH-EX-A--14/059--SE. |
.
|
[497] |
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. |
.
|
[496] |
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... |
.
|
[495] |
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... |
.
|
[494] |
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. |
.
|
[493] |
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. |
.
|
[492] |
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... |
.
|
[491] |
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... |
.
|
[490] |
2014. Towards On-Demand Semantic Event Processing for Stream Reasoning. In 17th International Conference on Information Fusion. ISBN: 9788490123553. |
.
|
[489] |
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. |
.
|
[488] |
2014. Design och implementation av webbenkäter: kvalitet, svarsfrekvens och underhåll. Student Thesis.
10 pages. ISRN: LIU-IDA/LITH-EX-G--14/049--SE. |
.
|
[487] |
2014. WORL: a nonmonotonic rule language for the semantic web. |
.
|
[486] |
2014. Resource allocation of drones flown in a simulated environment. Student Thesis.
24 pages. ISRN: LIU-IDA/LITH-EX-G--14/003—SE. |
.
|
[485] |
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. |
.
|
[484] |
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. |
.
|
[483] |
2014. Editorial Material: A perspective on the early history of artificial intelligence in Europe. |
.
|
[482] |
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. |
.
|
[481] |
2014. Unmanned aerial vehicle-aided communications system for disaster recovery. Journal of Network and Computer Applications, 41(??):27–36. Elsevier. DOI: 10.1016/j.jnca.2013.10.002. |
.
|
2013 | ||
[480] |
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. |
.
|
[479] |
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. |
.
|
[478] |
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. |
.
|
[477] |
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. |
.
|
[476] |
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. |
.
|
[475] |
2013. Taming Complex Beliefs. In Ngoc Thanh Nguyen, editor, Transactions on Computational Collective Intelligence XI, pages 1–21. In series: Lecture Notes in Computer Science #8065. Springer. ISBN: 978-3-642-41775-7, 978-3-642-41776-4. DOI: 10.1007/978-3-642-41776-4_1. |
.
|
[474] |
2013. Robotics, Temporal Logic and Stream Reasoning. In Proceedings of Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2013. |
.
|
[473] |
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. |
.
|
[472] |
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... |
.
|
[471] |
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|| |
.
|
[470] |
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... |
.
|
[469] |
2013. Testramverk för distribuerade system. Student Thesis.
46 pages. ISRN: LIU-IDA/LITH-EX-G--13/010--SE. |
.
|
[468] |
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... |
.
|
[467] |
2013. How an agent might think. Logic journal of the IGPL (Print), 21(3):515–535. Oxford University Press (OUP): Policy A - Oxford Open Option A. DOI: 10.1093/jigpal/jzs051. |
.
|
[466] |
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... |
.
|
[465] |
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. |
.
|
[464] |
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. |
.
|
[463] |
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. |
.
|
[462] |
2013. Modeling Air Combat with Influence Diagrams. Student Thesis.
64 pages. ISRN: LIU-IDA/LITH-EX-A--13/031--SE. |
.
|
[461] |
2013. Spam filter for SMS-traffic. Student Thesis.
82 pages. ISRN: LIU-IDA/LITH-EX-A--13/021-SE. |
.
|
[460] |
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... |
.
|
[459] |
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... |
.
|
[458] |
2013. Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR. Journal of Automation, Mobile Robotics & Intelligent Systems, 7(1):35–41. Link to article: http://www.jamris.org/archive.php |
.
|
[457] |
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. |
.
|
[456] |
2013. Stream-Based Hierarchical Anchoring. |
.
|
[455] |
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/... |
.
|
[454] |
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. |
.
|
[453] |
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... |
.
|
[452] |
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... |
.
|
[451] |
2013. RoboCup Rescue Robot and Simulation Leagues. The AI Magazine, 34(1):??–??. AAAI Press. Link to journal: http://www.aaai.org/ojs/index.php/aimaga... fulltext:preprint: http://liu.diva-portal.org/smash/get/div... |
.
|
[450] |
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. |
.
|
[449] |
2013. Study of efficiency of USAR operations with assistive technologies. Advanced Robotics, 27(5):337–350. DOI: 10.1080/01691864.2013.763723. Note: Funding Agencies|German Federal Ministry of Education and Research|13N9759|German Federal Agency for Technical Relief (THW)||RIF e.V.||JT-electronic GmbH||carat robotic innovation GmbH||Berlin- Oberspree Sondermaschinenbau GmbH (BOS)||SEEBA|| fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
[448] |
2013. Logic-Based Roughification. In Andrzej Skowron, Zbigniew Suraj, editors, Rough Sets and Intelligent Systems - Professor Zdzis?aw Pawlak in Memoriam (vol. I), pages 517–543. In series: Intelligent Systems Reference Library #42. Springer Berlin/Heidelberg. ISBN: 978-3-642-30343-2. DOI: 10.1007/978-3-642-30344-9_19. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13601690 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/title/rough-sets... |
.
|
[447] |
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 |
.
|
[446] |
2013. A Frontier-Void-Based Approach for Autonomous Exploration in 3D. Advanced Robotics, 27(6):459–468. Taylor and Francis. DOI: 10.1080/01691864.2013.763720. Note: Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8| fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
2012 | ||
[445] |
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... |
.
|
[444] |
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. |
.
|
[443] |
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. |
.
|
[442] |
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. |
.
|
[441] |
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... |
.
|
[440] |
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. |
.
|
[439] |
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. |
.
|
[438] |
2012. Towards Autonomous Landing of a Quadrotorusing Monocular SLAM Techniques. Student Thesis.
102 pages. ISRN: LIU-IDA/LITH-EX-A--12/026--SE. |
.
|
[437] |
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... |
.
|
[436] |
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. |
.
|
[435] |
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. |
.
|
[434] |
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... |
.
|
[433] |
2012. Multi-Agenten-Systeme in der Intralogistik - Erster Teil: Gemeinsam denken. IEE - Elektrische Automatisierung + Antriebstechnik, -(4):48–53. Hüthig Verlag. Link to journal: http://www.iee-online.de/2012/ |
.
|
[432] |
2012. Multi-Agenten-Systeme in der Intralogistik - Zweiter Teil: Effizient transportieren. IEE - Elektrische Automatisierung + Antriebstechnik, -(5):34–37. Hüthig Verlag. Link to journal: http://www.iee-online.de/2012/ |
.
|
[431] |
2012. Delegation-Based Collaboration. In Proceedings of the 5th International Conference on Cognitive Systems (CogSys). |
.
|
[430] |
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... |
.
|
[429] |
2012. Paraconsistent Reasoning for Semantic Web Agents. In Ngoc Thanh Nguyen, editor, Transactions on Computational Collective Intelligence VI, pages 36–55. In series: Lecture Notes in Computer Science #7190. Springer Berlin/Heidelberg. ISBN: 978-3-642-29355-9, 978-3-642-29356-6. DOI: 10.1007/978-3-642-29356-6_2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13481193 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Transac... |
.
|
[428] |
2012. Stream Processing in the Robot Operating System framework. Student Thesis.
79 pages. ISRN: LIU-IDA/LITH-EX-A--12/030--SE. |
.
|
[427] |
2012. Design Space Exploration of the Quality of Service for Stream Reasoning Applications. Student Thesis.
35 pages. ISRN: LIU-IDA/LITH-EX-A--12/027--SE. |
.
|
[426] |
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... |
.
|
[425] |
2012. Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system. Engineering applications of artificial intelligence, 25(4):705–719. Elsevier. DOI: 10.1016/j.engappai.2011.02.018. |
.
|
[424] |
2012. Maintaining Live Discussion in Two-Stage Open Peer Review. Frontiers in Computational Neuroscience, 6(9):??–??. Frontiers Research Foundation. DOI: 10.3389/fncom.2012.00009. Note: funding agencies|Knut and Alice Wallenberg Foundation|| fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[423] |
2012. Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8. Student Thesis.
74 pages. ISRN: LIU-IDA/LITH-EX-A--12/008--SE. |
.
|
[422] |
2012. Agents in Approximate Environments. In Jan Ejick and Rineke Verbrugge, editors, Games, Actions and Social Software: Multidisciplinary Aspects, pages 141–163. In series: Lecture Notes in Computer Science #7010. Springer. ISBN: 978-3-642-29325-2, 978-3-642-29326-9. DOI: 10.1007/978-3-642-29326-9_8. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/13428777 find book in another country/hitta boken i ett annat land: http://www.worldcat.org/search?q=Games%2... |
.
|
[421] |
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 | ||
[420] |
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 #??. |
.
|
[419] |
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/... |
.
|
[418] |
2011. Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain. |
.
|
[417] |
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... |
.
|
[416] |
2011. Elevent Scandinavian Conference on Artifical Intelligence SCAI 2011. Conference Proceedings.
In series: Frontiers in Artificial Intelligence and Applications #227. IOS Press. 197 pages. ISBN: 978-1-60750-753-6. |
.
|
[415] |
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... |
.
|
[414] |
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... |
.
|
[413] |
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. |
.
|
[412] |
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. |
.
|
[411] |
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... |
.
|
[410] |
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. |
.
|
[409] |
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. |
.
|
[408] |
2011. Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics. |
.
|
[407] |
2011. ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica: An International Journal for Symbolic Logic, 98(3):387–428. Springer Berlin/Heidelberg. DOI: 10.1007/s11225-011-9341-3. |
.
|
[406] |
2011. Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. |
.
|
[405] |
2011. Semantic Matching for Stream Reasoning. Student Thesis.
110 pages. ISRN: LIU-IDA/LITH-EX-A--11/041--SE. |
.
|
[404] |
2011. Reports of the AAAI 2011 Spring Symposia. The AI Magazine, 32(3):119–127. AAAI Press. |
.
|
[403] |
2011. Increasing Autonomy of Unmanned Aircraft Systems Through the Use of Imaging Sensors. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1510. Linköping University Electronic Press. 96 pages. ISBN: 9789173930345. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[402] |
2011. Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1509. Linköping University Electronic Press. 108 pages. ISBN: 9789173930376. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[401] |
2011. Complex Task Allocation for Delegation: From Theory to Practice. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1506. Linköping University Electronic Press. 140 pages. ISBN: 9789173930482. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[400] |
2011. Semantic Analysis Of Multi Meaning Words Using Machine Learning And Knowledge Representation. Student Thesis.
74 pages. ISRN: LiU/IDA-EX-A- -11/011- -SE. |
.
|
[399] |
2011. Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1490. Linköping University Electronic Press. 169 pages. ISBN: 9789173931519. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[398] |
2011. Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1476. Linköping University Electronic Press. 140 pages. ISBN: 9789173932004. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[397] |
2011. From systems to logic in the early development of nonmonotonic reasoning. |
.
|
2010 | ||
[396] |
2010. Exercising Moral Copyright for Evolving Publications. ScieCom Info, 6(3):??–??. Svenskt Resurscentrum för Vetenskaplig Kommunikation. Link: http://www.sciecom.org/ojs/index.php/sci... |
.
|
[395] |
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. |
.
|
[394] |
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). |
.
|
[393] |
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. |
.
|
[392] |
2010. Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. Transactions on Computational Collective Intelligence, 1(1):21–38. Springer. ISBN: 978-3-642-15033-3. DOI: 10.1007/978-3-642-15034-0_2. |
.
|
[391] |
2010. Defeasible inheritance with doubt index and its axiomatic characterization. |
.
|
[390] |
2010. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. |
.
|
[389] |
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. |
.
|
[388] |
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... |
.
|
[387] |
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. |
.
|
[386] |
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. |
.
|
[385] |
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. |
.
|
[384] |
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. |
.
|
[383] |
2010. FlexDx: A Reconfigurable Diagnosis Framework. Engineering applications of artificial intelligence, 23(8):1303–1313. Elsevier. DOI: 10.1016/j.engappai.2010.01.004. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
[382] |
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. |
.
|
[381] |
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. |
.
|
[380] |
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.... |
.
|
[379] |
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. |
.
|
[378] |
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. |
.
|
[377] |
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... |
.
|
[376] |
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. |
.
|
[375] |
2010. A Framework for Graded Beliefs, Goals and Intentions. |
.
|
[374] |
2010. A Layered Rule-Based Architecture for Approximate Knowledge Fusion. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 7(3):617–642. COMSIS CONSORTIUM. DOI: 10.2298/CSIS100209015D. |
.
|
[373] |
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
.
|
[372] |
2010. Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. International Journal of Approximate Reasoning, 51(3):346–362. Elsevier. DOI: 10.1016/j.ijar.2009.11.002. |
.
|
[371] |
2010. A case-based approach to dialogue systems. Journal of experimental and theoretical artificial intelligence (Print), 22(1):23–51. Taylor & Francis. DOI: 10.1080/09528130902723708. |
.
|
[370] |
2010. Evaluation of Hierarchical Temporal Memory in algorithmic trading. Student Thesis.
32 pages. ISRN: LIU-IDA/LITH-EX-G--10/005--SE. |
.
|
[369] |
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
.
|
[368] |
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 | ||
[367] |
2009. Spanneröar och spannervägar. Student Thesis.
126 pages. ISRN: -. |
.
|
[366] |
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. |
.
|
[365] |
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. |
.
|
[364] |
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. |
.
|
[363] |
2009. Perception de la géométrie de l'environment pour la navigation autonome. PhD Thesis.
Université de Toulouse. 164 pages. |
.
|
[362] |
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. |
.
|
[361] |
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. |
.
|
[360] |
2009. Annotation Theories over Finite Graphs. Studia Logica: An International Journal for Symbolic Logic, 93(2-3):147–180. Springer. DOI: 10.1007/s11225-009-9220-3. |
.
|
[359] |
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. |
.
|
[358] |
2009. Modelling and Reasoning with Paraconsistent Rough Sets. |
.
|
[357] |
2009. Modeling and Efficient Inference for Troubleshooting Automotive Systems. Technical Report.
In series: LiTH-ISY-R #2921. Linköpings universitet. |
.
|
[356] |
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). |
.
|
[355] |
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. |
.
|
[354] |
2009. Optimal placement of communications relay nodes. Technical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
.
|
[353] |
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... |
.
|
[352] |
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). |
.
|
[351] |
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... |
.
|
[350] |
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
.
|
[349] |
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. |
.
|
[348] |
2009. Proceedings of the Swedish AI Society Workshop 2009. Conference Proceedings.
In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages. Link to Book: http://www.ep.liu.se/ecp/035/ |
.
|
[347] |
2009. Paraconsistent Reasoning with Words. In Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday, pages 43–58. In series: Lecture Notes in Computer Science #5070. Springer. ISBN: 978-3-642-04734-3. DOI: 10.1007/978-3-642-04735-0_2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11741557 |
.
|
[346] |
2009. Voting by Eliminating Quantifiers. Studia Logica: An International Journal for Symbolic Logic, 92(3):365–379. Springer. DOI: 10.1007/s11225-009-9200-7. |
.
|
[345] |
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. |
.
|
[344] |
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. |
.
|
[343] |
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... |
.
|
[342] |
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. |
.
|
[341] |
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. |
.
|
[340] |
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. |
.
|
[339] |
2009. Vision-Based Localization and Guidance for Unmanned Aerial Vehicles. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1260. Linköping University Electronic Press. 174 pages. ISBN: 978-91-7393-603-3. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[338] |
2009. Evaluating the use of DyKnow in multi-UAV traffic monitoring applications. Student Thesis.
75 pages. ISRN: LIU-IDA/LITH-EX-A--09/019--SE. |
.
|
[337] |
2009. DyKnow: A Stream-Based Knowledge Processing Middleware Framework. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1240. Linköping University Electronic Press. 258 pages. ISBN: 9789173936965. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
2008 | ||
[336] |
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. |
.
|
[335] |
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). |
.
|
[334] |
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. |
.
|
[333] |
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. |
.
|
[332] |
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. |
.
|
[331] |
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... |
.
|
[330] |
2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. Technical Report.
In series: LiTH-ISY-R #2836. Linköping University Electronic Press. 10 pages. |
.
|
[329] |
2008. A Heuristic for Near-Optimal Troubleshooting Using AO*. In Proceedings of the International Workshop on the Principles of Diagnosis. |
.
|
[328] |
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... |
.
|
[327] |
2008. Extending the concept of publication: Factbases and knowledgebases. Learned Publishing, 21(2):123–131. Association of Learned and Professional Society Publishers. DOI: 10.1087/095315108X288893. |
.
|
[326] |
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. |
.
|
[325] |
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. |
.
|
[324] |
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. |
.
|
[323] |
2008. Towards Incorporating Background Theories into Quantifier Elimination. Journal of applied non-classical logics, 18(2-3):325–340. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.18.325-340. |
.
|
[322] |
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 |
.
|
[321] |
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. |
.
|
[320] |
2008. Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Book.
In series: Studies in Logics #12. College Publications. 308 pages. ISBN: 978-1-904987-56-7, 1-904-98-756-7. link: http://www.amazon.com/Second-Order-Quant... |
.
|
[319] |
2008. The Leordo Computation System. In Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin., editors, From Semantics to Computer Science: Essays in Honour of Gilles Kahn, pages 309–336. Cambridge University Press. ISBN: 978-05-21-51825-3, 978-05-11-77052-4. DOI: 10.1017/CBO9780511770524.015. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/12013235 läs hela texten: http://ebooks.cambridge.org/ebook.jsf?bi... link: http://www.amazon.com/From-Semantics-Com... |
.
|
[318] |
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. |
.
|
[317] |
2008. A Review of the Handbook of Knowledge Representation. |
.
|
[316] |
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. |
.
|
[315] |
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. |
.
|
[314] |
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. |
.
|
[313] |
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. |
.
|
[312] |
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. |
.
|
[311] |
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 |
.
|
[310] |
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. |
.
|
[309] |
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... |
.
|
[308] |
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:... |
.
|
[307] |
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. |
.
|
[306] |
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. |
.
|
[305] |
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. |
.
|
[304] |
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:... |
.
|
[303] |
2008. FlexDx: A Reconfigurable Diagnosis Framework. In Proceedings of the 19th International Workshop on Principles of Diagnosis (DX). |
.
|
[302] |
2008. Practical Pathfinding in Dynamic Environments. In Steve Rabin, editor, AI Game Programming Wisdom 4. Charles River. ISBN: 978-1-58450-523-5, 158-450-523-0. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11222031 link: http://www.amazon.com/AI-Game-Programmin... |
.
|
[301] |
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. |
.
|
[300] |
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... |
.
|
[299] |
2008. A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles. Technical Report.
In series: Report / Department of Mathematics, Universitetet i Linköping, Tekniska högskolan #2008:7. Linköping University Electronic Press. 30 pages. |
.
|
[298] |
2008. Dynamic Abstraction for Interleaved Task Planning and Execution. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1363. Institutionen för datavetenskap. 94 pages. ISBN: 9789173939058. Note: Report code: LiU-Tek-Lic-2008:21. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
[297] |
2008. Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals. Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy, 69(5):1294–1300. Elsevier. DOI: 10.1016/j.saa.2007.09.040. Note: Original publication: A. Lund, P. Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. Löfgren, C. Paulin and A. Tell, Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals, 2008, Spectrochimica Acta Part A, (69), 5, 1294-1300. http://dx.doi.org/10.1016/j.saa.2007.09.040. Copyright: Elsevier B.V., http://www.elsevier.com/ fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
|
[296] |
2008. A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1204. Linköping University Electronic Press. 178 pages. ISBN: 978-91-7393-823-5. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
2007 | ||
[295] |
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... |
.
|
[294] |
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. |
.
|
[293] |
2007. Vision-Based SLAM: Stereo and Monocular Approaches. International Journal of Computer Vision, 74(3):343–364. Kluwer Academic Publishers. DOI: 10.1007/s11263-007-0042-3. |
.
|
[292] |
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. |
.
|
[291] |
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. |
.
|
[290] |
2007. Communication between agents with heterogeneous perceptual capabilities. |
.
|
[289] |
2007. Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals. Studia Logica: An International Journal for Symbolic Logic, 87(1):37–50. Springer. DOI: 10.1007/s11225-007-9075-4. |
.
|
[288] |
2007. A correspondence framework between three-valued logics and similarity-based approximate reasoning. Fundamenta Informaticae, 75(1-4):179–193. IOS Press. |
.
|
[287] |
2007. A Swedish Journal Publication Service. In Högskolor och samhälle i samverkan (HSS). |
.
|
[286] |
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
.
|
[285] |
2007. LinkMAV, a prototype rotary wing micro aerial vehicle. In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier. |
.
|
[284] |
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. |
.
|
[283] |
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. |
.
|
[282] |
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. |
.
|
[281] |
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. |
.
|
[280] |
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... |
.
|
[279] |
2007. A Four-Valued Logic for Rough Set-Like Approximate Reasoning. In James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska and Lech Polkowski, editors, Transactions on Rough Sets VI, pages 176–190. In series: Lecture Notes in Computer Science #4374/2007. Springer. ISBN: 3-540-71198-8, 978-3-540-71198-8. DOI: 10.1007/978-3-540-71200-8_11. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11381912 |
.
|
[278] |
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... |
.
|
[277] |
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... |
.
|
[276] |
2007. A framework for designing constraint stores. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1302. Linköpings universitet. 118 pages. ISBN: 9789185715701. |
.
|
[275] |
2007. Navigation Functionalities for an Autonomous UAV Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1307. Linköping University Electronic Press. 107 pages. ISBN: 9789185715350. |
.
|
[274] |
2007. Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1329. Institutionen för datavetenskap. 86 pages. ISBN: 9789185895939. cover: http://liu.diva-portal.org/smash/get/div... |
.
|
2006 | ||
[273] |
2006. Algebraic and Relational Deductive Tools. Conference Proceedings.
In series: Journal of Applied Non-Classical Logics #??. Éditions Hermès-Lavoisier. Note: Special Issue |
.
|
[272] |
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... |
.
|
[271] |
2006. Systems - Opening up the process. |
.
|
[270] |
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... |
.
|
[269] |
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:... |
.
|
[268] |
2006. Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition. The journal of artificial intelligence research, 25(??):233–267. AAAI Press. DOI: 10.1613/jair.1885. |
.
|
[267] |
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. |
.
|
[266] |
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. |
.
|
[265] |
2006. Coordination of actions in an autonomous robotic system. In Oliviero Stock, Marco Schaerf, editors, Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, pages 177–191. In series: Lecture Notes in Computer Science #4155. Springer. ISBN: 978-3-5403-7901-0, 978-3-5403-7902-7. DOI: 10.1007/11829263_10. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/bib/11430167 link: http://www.amazon.com/Reasoning-Action-I... |
.
|
[264] |
2006. Probabilistic roadmap based path planning for an autonomous unmanned helicopter. Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press. |
.
|
[263] |
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. |
.
|
[262] |
2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings.
AAAI Press. ISBN: 978-1-57735-281-5. |
.
|
[261] |
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. |
.
|
[260] |
2006. Joint cognitive systems: Patterns in cognitive systems engineering. Book.
CRC/Taylor & Francis. 232 pages. ISBN: 978-0-8493-3933-2, 0-8493-3933-2. find book at a swedish library/hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=9... link: http://www.amazon.com/Joint-Cognitive-Sy... |
.
|
[259] |
2006. Second-order Reasoning in Description Logics. Journal of applied non-classical logics, 16(3 - 4):517–530. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.517-530. |
.
|
[258] |
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 |
.
|
[257] |
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. |
.
|
[256] |
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). |
.
|
[255] |
2006. Qualitative Communication about Object Scenes. In Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI). |
.
|
[254] |
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:... |
.
|
[253] |
2006. Control System Framework for Autonomous Robots Based on Extended State Machines. In Proceedings of the International Conference on Autonomic and Autonomous Systems (ICAS). |
.
|
[252] |
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. |
.
|
[251] |
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. |
.
|
[250] |
2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICHIT 2006 - International Conference on Hybrid Information Technology,2006. |
.
|
[249] |
2006. The Art and Virtue of Symbolic Constraint Propagation. In CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006. |
.
|
[248] |
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. |
.
|
[247] |
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... |
.
|
[246] |
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 |
.
|
[245] |
2006. The Use of Case-Based Reasoning in a Human-Robot Dialog System. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1248. Institutionen för datavetenskap. 130 pages. ISBN: 918552378X. Note: Report code: LiU{Tek{Lic{2006:29. |
.
|
[244] |
2006. Admissible Heuristics for Automated Planning. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1004. Institutionen för datavetenskap. 164 pages. ISBN: 91-85497-28-2. errata: https://liu.diva-portal.org/smash/get/di... |
.
|
[243] |
2006. Sampling-based Path Planning for an Autonomous Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1229. Institutionen för datavetenskap. 141 pages. ISBN: 9185497150. Note: Report code: LiU–Tek–Lic–2006:10. |
.
|
2005 | ||
[242] |
2005. Hazard: a Framework Towards Connecting Artificial Intelligence and Robotics. In IJCAI Workshop on Reasoning, Representation and Learning in Computer Games. |
.
|
[241] |
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. |
.
|
[240] |
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. |
.
|
[239] |
2005. A knowledge processing middleware framework and its relation to the JDL data fusion model. In The 8th International Conference on Information Fusion,2005. |
.
|
[238] |
2005. Intelligent semi-structured information extraction: a user-driven approach to information extraction. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #946. Linköping University Electronic Press. 139 pages. ISBN: 91-85297-98-4. Note: This work has been supported by University of Kalmar and the Knowledge Foundation. |
.
|
[237] |
2005. Enactive Cognitive Science: Part 1, Background and Research Themes. |
.
|
[236] |
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. |
.
|
[235] |
2005. Leonardo, an Approach towards the Consolidation of Computer Software System. Note: Research Article, CAISOR Archival Website, Number 2005-016 |
.
|
[234] |
2005. Actions as a Basic Software Concept in the Leonardo Computation System. In IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005. |
.
|
[233] |
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). |
.
|
[232] |
2005. Reconfigurable path planning for an autonomous unmanned aerial vehicle. In National Swedish Workshop on Autonomous Systems, SWAR 05,2005. |
.
|
[231] |
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). |
.
|
[230] |
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. |
.
|
[229] |
2005. Fuzzy gain scheduled visual servoing for an unmanned helicopter. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #938. Linköpings universitet. 148 pages. ISBN: 91-85297-76-3. |
.
|
[228] |
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. |
.
|
[227] |
2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In SWAR 05,2005, pages 50–51. |
.
|
[226] |
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. |
.
|
[225] |
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. |
.
|
[224] |
2005. Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
.
|
[223] |
2005. An Experimental Platform for Approximate Databases. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
.
|
[222] |
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. |
.
|
[221] |
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. |
.
|
[220] |
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). |
.
|
[219] |
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. |
.
|
[218] |
2005. TALplanner and other extensions to Temporal Action Logic. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5. |
.
|
[217] |
2005. Towards a Qualitative Model for Natural Language Communication about Vehicle Traffic. In IJCAI 2005 Workshop on Spatial and Temporal Reasoning,2005. |
.
|
[216] |
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 | ||
[215] |
2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the Second Joint SAIS/SSLS Workshop. |
.
|
[214] |
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. |
.
|
[213] |
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. |
.
|
[212] |
2004. DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press. |
.
|
[211] |
2004. Elaboration tolerance through object-orientation. |
.
|
[210] |
2004. A fuzzy gain-scheduler for the attitude control of an unmanned helicopter. IEEE transactions on fuzzy systems, 12(4):502–515. IEEE Computer Society. DOI: 10.1109/TFUZZ.2004.832539. |
.
|
[209] |
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... |
.
|
[208] |
2004. A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control. |
.
|
[207] |
2004. Takagi-Sugeno Fuzzy Gain Scheduling with Sampling-Time Uncertainties. In IEEE International Conference on Fuzzy Systems Fuzz-IEEE 2004,2004. |
.
|
[206] |
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. |
.
|
[205] |
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. |
.
|
[204] |
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. |
.
|
[203] |
2004. The Qualitative Description of Traffic Maneuvers. In ECAI Workshop on Spatial and Temporal Reasoning,2004, pages 141–148. |
.
|
[202] |
2004. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS. |
.
|
[201] |
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. |
.
|
[200] |
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. |
.
|
[199] |
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. |
.
|
[198] |
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:... |
.
|
[197] |
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. |
.
|
[196] |
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. |
.
|
[195] |
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. |
.
|
[194] |
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. |
.
|
[193] |
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... |
.
|
[192] |
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... |
.
|
[191] |
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 | ||
[190] |
2003. DrModelica - An Interactive Environment for Learning Modelica and Modeling using MathModelica. In . |
.
|
[189] |
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
.
|
[188] |
2003. Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet. Technical Report.
In series: CUL-rapporter #2003:5. Linköping University Electronic Press. 56 pages. |
.
|
[187] |
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. |
.
|
[186] |
2003. DrModelica - An Interactive Tutoring Environment for Modelica. In Proceedings of the 3rd International Modelica Conference. Modelica Association. |
.
|
[185] |
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. |
.
|
[184] |
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. |
.
|
[183] |
2003. TALplanner in the Third International Planning Competition: Extensions and control rules. The journal of artificial intelligence research, 20(??):343–377. AAAI Press. DOI: 10.1613/jair.1189. |
.
|
[182] |
2003. Preface. Fundamenta Informaticae, 57(2-4):i–iii. IOS Press. |
.
|
[181] |
2003. Formalizing defeasible logic in CAKE. Fundamenta Informaticae, 57(2-3):193–213. IOS Press. |
.
|
[180] |
2003. Towards a framework for approximate ontologies. Fundamenta Informaticae, 57(2-4):147–165. IOS Press. |
.
|
[179] |
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. |
.
|
[178] |
2003. 2003 AAAI Spring Symposium Series. The AI Magazine, 24(3):131–140. AAAI Press. |
.
|
[177] |
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... |
.
|
[176] |
2003. High-level design of WWW servers in Allegro Common Lisp. In Proceedings of the International Lisp Conference (ILC). |
.
|
[175] |
2003. A software architecture for AI systems based on self-modifying software individuals. In Proceedings of the International Lisp Conference (ILC). |
.
|
[174] |
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. |
.
|
[173] |
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. |
.
|
[172] |
2003. Domain Knowledge in Planning: Representation and Use. In Proceedings of the ICAPS workshop on PDDL, pages 69–78. |
.
|
[171] |
2003. Adaptive Semi-structured Information Extraction. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1000. Institutionen för datavetenskap. 85 pages. ISBN: 9173735892. Note: Report code: LiU-Tek-Lic-2002:73. |
.
|
2002 | ||
[170] |
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. |
.
|
[169] |
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. |
.
|
[168] |
2002. EEG waves as chaotic self-oscillations. In International Journal of Psychophysiology, pages 138–138. |
.
|
[167] |
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. |
.
|
[166] |
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. |
.
|
[165] |
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... |
.
|
[164] |
2002. Vision for a UAV helicopter. In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland. |
.
|
[163] |
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. |
.
|
[162] |
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. |
.
|
[161] |
2002. Prediction as a Knowledge Representation Problem: A Case Study in Model Design. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #942. Institutionen för datavetenskap. 106 pages. ISBN: 9173733318. Note: Report code: LiU-Tek-Lic-2002:15. |
.
|
[160] |
2002. Fuzzy Control for an Unmanned Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #938. Institutionen för datavetenskap. 108 pages. ISBN: 917373313X. Note: Report code: LiU-Tek-Lic-2002:11. The format of the electronic version of this thesis differs slightly from the printed one: this is due mainly to font compatibility. The figures and body of the thesis are remaining unchanged. |
.
|
2001 | ||
[159] |
2001. On the Design of Software Individuals. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.6:22. Linköping University Electronic Press. 15 (original publication), 16 (revised version) pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/gxc34zhpdm10g06... |
.
|
[158] |
2001. On the Design of Software Individuals. Electronic Transactions on Artifical Intelligence, 5(??):??–??. Linköpings Universitet. |
.
|
[157] |
2001. On a Static Approach to Verification of Integrity Constraints in Relational Databases. In Eva Orlowska, Andrzej Szalas, editors, Relational Methods for Computer Science Applications, pages 97–109. In series: Studies in Fuzziness and Soft Computing #65. Springer Physica-Verlag. ISBN: 3-7908-1365-6. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
.
|
[156] |
2001. Relational Methods for Computer Science Applications. In series: Studies in Fuziness and Soft Computing #??. Springer Physica Verlag. 297 pages. ISBN: 3790813656, 9783790813654. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=37-9081... |
.
|
[155] |
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. |
.
|
[154] |
2001. Autonomous Helicopter Control Using Gradient Descent Optimization Method. In Proceedings of the Asian Conference on Robotic & Automation (ACRA). |
.
|
[153] |
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. |
.
|
[152] |
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. |
.
|
[151] |
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. |
.
|
[150] |
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. |
.
|
[149] |
2001. Chronicle Recognition in the WITAS UAV Project: A Preliminary Report. In Proceedings of the Swedish AI Society Workshop. |
.
|
[148] |
2001. Models for Prediction. In Proceedings of the IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (PRO-2). |
.
|
[147] |
2001. Heuristic Planning with Time and Resources. In Proceedings of the 6th European Conference on Planning (ECP). |
.
|
[146] |
2001. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense). |
.
|
[145] |
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
.
|
[144] |
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. |
.
|
[143] |
2001. Model-based execution monitoring. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #688. Linköpings universitet. 153 pages. ISBN: 91-7373-016-5. |
.
|
[142] |
2001. Extending temporal action logic. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #689. Linköpings universitet. 218 pages. ISBN: 91-7373-017-3. |
.
|
2000 | ||
[141] |
2000. Defining and Certifying Electronic Publication in Science. Learned Publishing, 13(4):251–258. Association of Learned and Professional Society Publishers. Link to article: http://www.ida.liu.se/ext/caisor/archive... |
.
|
[140] |
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. |
.
|
[139] |
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. |
.
|
[138] |
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... |
.
|
[137] |
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.... |
.
|
[136] |
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. |
.
|
[135] |
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. |
.
|
[134] |
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.... |
.
|
[133] |
2000. M. Shanahan, Solving the Frame Problem. |
.
|
[132] |
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 |
.
|
[131] |
2000. Towards efficient universal planning: A randomized approach. |
.
|
[130] |
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. |
.
|
[129] |
2000. The PMA and relativizing minimal change for action update. Fundamenta Informaticae, 44(1-2):95–131. IOS Press. |
.
|
[128] |
2000. Tackling the qualification problem using fluent dependency constraints. |
.
|
[127] |
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.... |
.
|
[126] |
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. |
.
|
[125] |
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... |
.
|
[124] |
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 | ||
[123] |
1999. A helicopter control system. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:15. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693 |
.
|
[122] |
1999. A helicopter model. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:14. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963712 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109249 |
.
|
[121] |
1999. An aircraft model. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:13. Linköping University Electronic Press. 35 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963701 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109237 |
.
|
[120] |
1999. Anchoring symbolic object descriptions to sensor data. Problem statement. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:9. Linköping University Electronic Press. 11 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962252 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109190 |
.
|
[119] |
1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:8. Linköping University Electronic Press. 12 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962239 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109181 |
.
|
[118] |
1999. Elimination of Predicate Quantifiers. In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159–181. Kluwer Academic Publishers. |
.
|
[117] |
1999. Reasoning about Concurrent Interaction. Journal of logic and computation (Print), 9(5):623–650. Oxford University Press. DOI: 10.1093/logcom/9.5.623. |
.
|
[116] |
1999. Model Checking by Random Walk. In Proceedings of the ECSEL Workshop (CCSSE). |
.
|
[115] |
1999. ENSYM-Project Oriented Studies of spring 98 - team 1. Technical Report.
In series: LiTH-ISY-R #2094. Linköping University Electronic Press. 14 pages. |
.
|
[114] |
1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Technical Report.
Linköping University, Department of Electrical Engineering. |
.
|
[113] |
1999. Reasoning about action in polynomial time. |
.
|
[112] |
1999. A user oriented system for developing behavior based agents. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 173–186. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 978-3-540-66320-1, 978-3-540-48422-6, 3-540-66320-7. DOI: 10.1007/3-540-48422-1_14. |
.
|
[111] |
1999. How to make a challenging AI course enjoyable using the RoboCup soccer simulation system. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 120–124. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 3-540-66320-7. DOI: 10.1007/3-540-48422-1_9. |
.
|
[110] |
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. |
.
|
[109] |
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. |
.
|
[108] |
1999. Meta-queries on deductive databases. |
.
|
[107] |
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. |
.
|
[106] |
1999. Computing MPMA updates using dijkstra's semantics. In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer. |
.
|
[105] |
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. |
.
|
[104] |
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 |
.
|
[103] |
1999. Anchoring symbols to sensory data. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #611. Linköpings universitet. 136 pages. ISBN: 91-7219-623-8. |
.
|
[102] |
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 | ||
[101] |
1998. Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:17. Linköping University Electronic Press. Original 21, Revised 21 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/jzb0c3l2g7f05sf... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3030557 |
.
|
[100] |
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 |
.
|
[99] |
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 |
.
|
[98] |
1998. Extending temporal action logic for ramification and concurrency. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #719. Univ.. 121 pages. ISBN: 9172192879. |
.
|
[97] |
1998. Generating Parallel Graphics Code from Symbolic-algebra Specifications. In . |
.
|
[96] |
1998. Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 159 pages. ISBN: 83-7101-403-1, 978-83-7101-403-1. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-7101... |
.
|
[95] |
1998. A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In Ewa Orlowska, editor, Logic at work: essays dedicated to the memory of Helena Rasiowa, pages 307–328. In series: Studies in Fuzziness and Soft Computing #24. Physica Verlag. ISBN: 3-7908-1164-5. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
.
|
[94] |
1998. Two Aspects of Automating Logics of Action and Change: Regression and Tractability. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #674. Linköpings universitet. 83 pages. ISBN: 9172191732. Note: Thesis No 674. LiU-Tek-Lic 1998:09 |
.
|
[93] |
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/ |
.
|
[92] |
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/ |
.
|
[91] |
1998. General domain circumscription and its effective reductions. |
.
|
[90] |
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. |
.
|
[89] |
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. |
.
|
[88] |
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 | ||
[87] |
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 |
.
|
[86] |
1997. Logic-Based Modelling of Goal-Directed Behavior. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:19. Linköping University Electronic Press. 21, 1st and 2nd Revised 19 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477110 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011582 |
.
|
[85] |
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 |
.
|
[84] |
1997. Reasoning about actions in a multi-agent environment. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:14. Linköping University Electronic Press. 22 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2357998 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011635 |
.
|
[83] |
1997. A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 2:1. Linköping University Electronic Press. 10 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274682 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3036040 |
.
|
[82] |
1997. A decision-mechanism for reactive and coordinated agents: Silvia Coradeschi. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #615. Univ.. 87 pages. ISBN: 9178719410. |
.
|
[81] |
1997. Rolling Bearing Simulation on MIMD Computers. The international journal of high performance computing applications, 11(4):299–313. Sage Publications. DOI: 10.1177/109434209701100404. Fulltext: https://doi.org/10.1177/1094342097011004... |
.
|
[80] |
1997. Reasoning about Action in Polynomial Time. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI). |
.
|
[79] |
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). |
.
|
[78] |
1997. A Neo-Classical Structure for Scientific Publication and Reviewing. Technical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol, 2. Linköping University Electronic Press. 28 pages. |
.
|
[77] |
1997. Computing circumscription revisited: A reduction algorithm. Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers. DOI: 10.1023/A:1005722130532. |
.
|
[76] |
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 | ||
[75] |
1996. Towards the validation of high-level action descriptions from their low-level definitions. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:4. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274702 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293635 |
.
|
[74] |
1996. Assessments of Ramification Methods that Use Static Domain Constraints. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:3. Linköping University Electronic Press. 19 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274697 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293595 |
.
|
[73] |
1996. Underlying Semantics for Action and Change with Ramification. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #2. Linköping University Electronic Press. 28 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/9q3rfb1t7p64m0p... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293578 |
.
|
[72] |
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... |
.
|
[71] |
1996. On Natural Deduction in First-Order Fixpoint Logics. |
.
|
[70] |
1996. Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS). Conference Proceedings.
In series: Lecture Notes in Computer Science #1113. Springer Verlag. ISBN: 978-3-540-61550-7. Link: http://www.springer.com/computer/foundat... |
.
|
[69] |
1996. Strategies and policies of Linköping University Electronic Press. Technical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol. 1. Linköping University Electronic Press. 15 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/22430103 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293652 |
.
|
[68] |
1996. A New Tractable Planner for the SAS+ Formalism. Student Thesis.
In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625. |
.
|
[67] |
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. |
.
|
[66] |
1996. Declarative ptime queries to relational databases. Technical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
.
|
[65] |
1996. Preferential action semantics, preliminary report. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
.
|
[64] |
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. |
.
|
[63] |
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. |
.
|
[62] |
1996. A reduction result for circumscribed semi-horn formulas. |
.
|
[61] |
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. |
.
|
[60] |
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. |
.
|
[59] |
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 | ||
[58] |
1995. Time and Logic: A Computational Approach. CRC Press. 325 pages. ISBN: 1-85728-233-7, 978-18-5728-233-7. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q= ... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q= 978-18... |
.
|
[57] |
1995. Temporal Logic: A Standard Approach. In Leonard Bolc, Andrzej Szalas, editors, Time And Logic: A Computational Approach, pages 1–50. UCL Press Ltd.. ISBN: 1-85728-233-7, 978-1857282337. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=1... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-185... |
.
|
[56] |
1995. Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 247 pages. ISBN: 9788371012884. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=9788371... |
.
|
[55] |
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. |
.
|
[54] |
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 |
.
|
[53] |
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 | ||
[52] |
1994. On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic. Journal of Applied Non-Classical Logics, 4(2):119–127. Éditions Hermès-Lavoisier. |
.
|
[51] |
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. |
.
|
[50] |
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. |
.
|
[49] |
1994. Notes on PMON circumscription. Technical Report.
In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University. |
.
|
[48] |
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. |
.
|
[47] |
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. |
.
|
[46] |
1994. Reasoning about action and change using occlusion. In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons. |
.
|
1993 | ||
[45] |
1993. On the Correspondence between Modal and Classical Logic: An Automated Approach. Journal of logic and computation (Print), 3(6):605–620. Oxford University Press. DOI: 10.1093/logcom/3.6.605. |
.
|
[44] |
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. |
.
|
[43] |
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 | ||
[42] |
1992. Axiomatizing Fixpoint Logics. |
.
|
[41] |
1992. Zarys dedukcyjnych metod automatycznego wnioskowania. Book.
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM). 120 pages. ISBN: 83-9004-517-6, 978-83-9004-517-7. |
.
|
[40] |
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. |
.
|
[39] |
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. |
.
|
[38] |
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. |
.
|
[37] |
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. |
.
|
[36] |
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. |
.
|
[35] |
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. |
.
|
[34] |
1992. NML-3 - A non-monotonic logic with explicit defaults. Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier. |
.
|
[33] |
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. |
.
|
[32] |
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons. |
.
|
[31] |
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. |
.
|
[30] |
1992. Partial logics and partial preferences. In International Conference on Economics/Management and Information Technology,1992. |
.
|
1991 | ||
[29] |
1991. On Strictly Arithmetical Completeness in Logics of Programs. |
.
|
[28] |
1991. Loglan. Book.
Wydawnictwa Naukowo-Techniczne WNT. 172 pages. ISBN: 83-2041-295-1, 978-83-2041-295-6. Note: In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-2041... |
.
|
[27] |
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. |
.
|
[26] |
1991. A non-monotonic fuzzy logic. In International Fuzzy Systems Association, Fourth World Congress,1991. |
.
|
[25] |
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. |
.
|
[24] |
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 | ||
[23] |
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. |
.
|
[22] |
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. |
.
|
[21] |
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. |
.
|
[20] |
1990. NME - A three-valued non-monotonic formalism. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS). Note: Preliminary report |
.
|
[19] |
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 | ||
[18] |
1989. On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts. Fundamenta Informaticae, 12(2):191–204. IOS Press. |
.
|
[17] |
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. |
.
|
[16] |
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. |
.
|
1988 | ||
[15] |
1988. Towards the Temporal Approach to Abstract Data Types. Fundamenta Informaticae, 11(1):49–64. IOS Press. |
.
|
[14] |
1988. An Incompleteness Result in Process Algebra. |
.
|
[13] |
1988. Propositional Description of Finite Cause-Effect Structures. |
.
|
[12] |
1988. Incompleteness of First-Order Temporal Logic with Until. |
.
|
1987 | ||
[11] |
1987. A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. |
.
|
[10] |
1987. Arithmetical Axiomatization of First-Order Temporal Logic. |
.
|
[9] |
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. |
.
|
1986 | ||
[8] |
1986. Concerning the Semantic Consequence Relation in First-Order Temporal Logic. |
.
|
1985 | ||
[7] |
1985. A Note on PCI: Distributed Processes Communicating by Interrupts. |
.
|
[6] |
1985. Exception Handling in Parallel Computations. |
.
|
[5] |
1985. A rule interpreter for an emycin-like expert system tool. Technical Report.
In series: Aslab Memo #85-05. Linköpings tekniska högskola. |
.
|
1984 | ||
[4] |
1984. On an Application of Algorithmic Theory of Stacks. Fundamenta Informaticae, 7(3):378–388. IOS Press. |
.
|
1981 | ||
[3] |
1981. Algorithmic Logic with Recursive Functions. Fundamenta Informaticae, 4(4):975–995. IOS Press. |
.
|
1977 | ||
[2] |
1977. A program manipulation system based on partial evaluation. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #14. Linköpings universitet. 264 pages. ISBN: 9173721441. preview image: http://liu.diva-portal.org/smash/get/div... cover: http://liu.diva-portal.org/smash/get/div... |
.
|
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 |
.
Page responsible: Patrick Doherty
Last updated: 2014-04-30