AIICS Publications: Journal Publications
Show abstracts (where available) BibTeX entries | ||
2025 | ||
[180] |
2025. TransFusion: Generating long, high fidelity time series using diffusion models with transformers. Machine Learning with Applications, 20(??):100652–100652. DOI: 10.1016/j.mlwa.2025.100652. Fulltext: https://doi.org/10.1016/j.mlwa.2025.1006... |
.
|
[179] |
2025. Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions. The journal of artificial intelligence research, 82(??):1349–1405. AI ACCESS FOUNDATION. DOI: 10.1613/jair.1.16869. Note: Funding Agencies|Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; TAILOR - EU [952215]; Swedish Research Council [2022-06725]; Swiss National Science Foundation (SNSF) as part of the project "Unifying the Theory and Algorithms of Factored State-Space Search" (UTA) |
.
|
[178] |
2025. Emancipating older learners: On the problems of naïve consciousness and the enlightened teacher. European Journal for Research on the Education and Learning of Adults, ??(??):??–??. DOI: 10.3384/rela.2000-7426.00. Fulltext: https://doi.org/10.3384/rela.2000-7426.0... |
.
|
[177] |
2025. Exploring teamwork, trust, and emergency response competence in emergent ad-hoc immediate responder groups: an experimental simulation study. Ergonomics, ??(??):??–??. TAYLOR & FRANCIS LTD. DOI: 10.1080/00140139.2025.2478256. Publication status: Epub ahead of print Note: Funding Agencies|Swedish civil contingencies agency; Swedish National board of health and welfare Fulltext: https://doi.org/10.1080/00140139.2025.24... |
.
|
[176] |
2025. The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzazewski Conjecture. Journal of Multiple-Valued Logic and Soft Computing, 44(4):353–383. OLD CITY PUBLISHING INC. DOI: 10.48550/arXiv.2404.09798. |
.
|
[175] |
2025. From crisis to crisis: individual and organisational empowerment at a university for the third age in Lebanon. Zeitschrift für Weiterbildungsforschung, ??(??):??–??. Springer Nature. DOI: 10.1007/s40955-025-00308-1. Fulltext: https://doi.org/10.1007/s40955-025-00308... |
.
|
[174] |
2025. Deep Learning and X-Ray Imaging Innovations for Pneumonia Infection Diagnosis: Introducing DeepPneuNet. |
.
|
[173] |
2025. FairXAI -A Taxonomy and Framework for Fairness and Explainability Synergy in Machine Learning. IEEE Transactions on Neural Networks and Learning Systems, ??(??):??–??. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. DOI: 10.1109/TNNLS.2025.3528321. Publication status: Epub ahead of print Note: Funding Agencies|Knut and Alice Wallenberg Foundation; ELLIIT Excellence Center at Linkoeping-Lund for Information Technology; TAILOR (A Network for Trustworthy Artificial Intelligence in Europe) |
.
|
[172] |
2025. Defect attention-based lightweight real-time adaptable surface defect analysis. Ironmaking & steelmaking, ??(??):??–??. SAGE PUBLICATIONS INC. DOI: 10.1177/03019233241296959. Publication status: Epub ahead of print fulltext:postprint: https://liu.diva-portal.org/smash/get/di... |
.
|
[171] |
2025. Supervised learning approaches for predicting Ebola-Human Protein-Protein interactions. |
.
|
[170] |
2025. Deep learning inspired game-based cognitive assessment for early dementia detection. Engineering applications of artificial intelligence, 142(??):??–??. PERGAMON-ELSEVIER SCIENCE LTD. DOI: 10.1016/j.engappai.2024.109901. |
.
|
2024 | ||
[169] |
2024. Leveraging active queries in collaborative robotic mission planning. INTELLIGENCE & ROBOTICS, 4(1):87–106. OAE PUBLISHING INC. DOI: 10.20517/ir.2024.06. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[168] |
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 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[167] |
2024. Where is the reflexive ?I? in the Elements of AI?. International Journal of Lifelong Education, 43(6):664–681. ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD. DOI: 10.1080/02601370.2024.2389107. Note: Funding Agencies|VINNOVA, Sweden's innovation agency grant Fulltext: https://doi.org/10.1080/02601370.2024.23... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[166] |
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 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[165] |
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) fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[164] |
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] fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[163] |
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 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[162] |
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 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[161] |
2024. The 2023 International Planning Competition. The AI Magazine, 45(2):280–296. AMER ASSOC ARTIFICIAL INTELL. DOI: 10.1002/aaai.12169. 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) fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[160] |
2024. IASCAR: Incremental Answer Set Counting by Anytime Refinement. Theory and Practice of Logic Programming, 24(3):502–532. CAMBRIDGE UNIV PRESS. DOI: 10.1017/S1471068424000036. Note: Funding Agencies|BMBF [01IS20056NAVAS]; ELLIIT - Swedish government; Austrian Science Fund (FWF) [J4656, P32830, Y1329]; GWK; Swedish Research Council [2022-06725] |
.
|
[159] |
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] |
.
|
[158] |
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... |
.
|
[157] |
2024. Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. Artificial Intelligence, 326(??):??–??. ELSEVIER. DOI: 10.1016/j.artint.2023.104036. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018] Fulltext: https://doi.org/10.1016/j.artint.2023.10... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
2023 | ||
[156] |
2023. RGS?: RDF graph synchronization for collaborative robotics. Autonomous Agents and Multi-Agent Systems, 37(2):??–??. SPRINGER. DOI: 10.1007/s10458-023-09629-2. Note: Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden [RIT15-0097]; Swedish Foundation for Strategic Research SSF (Smart Systems Project) [B09]; Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[155] |
2023. 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... |
.
|
[154] |
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... |
.
|
[153] |
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... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[152] |
2023. How Children With Mild Intellectual Disability Experience Self-driving Buses: In Support of Agency. Transaction on Transport Sciences, 14(2):21–31. Palacky University Olomouc. DOI: 10.5507/tots.2023.002. Note: Funding: Wallenberg AI, Autonomous Systems and Software Program -Humanities and Society (WASP-HS) Fulltext: https://doi.org/10.5507/tots.2023.002 fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[151] |
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... |
.
|
[150] |
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) |
.
|
[149] |
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 | ||
[148] |
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... |
.
|
[147] |
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... |
.
|
[146] |
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... |
.
|
[145] |
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... |
.
|
[144] |
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. |
.
|
[143] |
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... |
.
|
[142] |
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... |
.
|
[141] |
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... |
.
|
[140] |
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... |
.
|
[139] |
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... |
.
|
[138] |
2022. Partnership on AI, Data, and Robotics. |
.
|
[137] |
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: https://liu.diva-portal.org/smash/get/di... |
.
|
[136] |
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 | ||
[135] |
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... |
.
|
[134] |
2021. WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation. Autonomous Intelligent Systems, 1(1):??–??. Springer Singapore. DOI: 10.1007/s43684-021-00009-9. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[133] |
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... |
.
|
[132] |
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] |
.
|
[131] |
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... |
.
|
[130] |
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... |
.
|
[129] |
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... |
.
|
[128] |
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... |
.
|
[127] |
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: https://liu.diva-portal.org/smash/get/di... |
.
|
[126] |
2021. Three Interviews About K-12 AI Education in America, Europe, and Singapore. |
.
|
[125] |
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... |
.
|
[124] | ![]() |
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... |
.
[123] | ![]() |
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... |
.
[122] |
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... |
.
|
[121] |
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 | ||
[120] |
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. |
.
|
[119] |
2020. Development of computational thinking, digital competence and 21stcentury skills when learning programming in K-9. |
.
|
[118] |
2020. On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More. Journal of Multiple-Valued Logic and Soft Computing, 34(5-6):423–450. Old City Publishing. Note: Funding agencies:Â National Science Centre PolandNational Science Center, PolandNational Science Centre, Poland [2017/27/B/ST6/02018] Journal home page: https://www.oldcitypublishing.com/journa... |
.
|
[117] |
2020. A Paraconsistent ASP-like Language with Tractable Model Generation. Journal of Applied Logics - IfCoLog Journal of Logic and Applications, 7(3):361–389. College Publications. Note: Funding agencies:Â This work has been supported by grant 2017/27/B/ST6/02018 of the National Science Centre Poland. Link to article: http://www.collegepublications.co.uk/dow... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
|
[116] | ![]() |
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... |
.
[115] | ![]() |
2020. Incremental Reasoning in Probabilistic Signal Temporal Logic. International Journal of Approximate Reasoning, 119(??):325–352. Elsevier. DOI: 10.1016/j.ijar.2020.01.009. Note: Funding agencies: National Graduate School in Computer Science, Sweden (CUGS); Swedish Research Council (VR) Linnaeus Center CADICSSwedish Research Council; ELLIIT Excellence Center at Linkoping-Lund for Information Technology; Wallenberg AI, Autonomous Systems and Softwar Fulltext: https://doi.org/10.1016/j.ijar.2020.01.0... fulltext:print: http://liu.diva-portal.org/smash/get/div... |
.
2019 | ||
[114] |
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... |
.
|
[113] |
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] |
.
|
[112] |
2019. Special issue on stream reasoning. |
.
|
[111] | ![]() |
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... |
.
2018 | ||
[110] |
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. |
.
|
[109] |
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... |
.
|
[108] |
2018. The Low-Cost Evolution of AI in Domestic Floor Cleaning Robots. |
.
|
2017 | ||
[107] | ![]() |
2017. Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles. Annals of Operations Research, 249(1):163–174. Springer. DOI: 10.1007/s10479-016-2169-5. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2016 | ||
[106] | ![]() |
2016. Cognitive robotics in JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, vol 28, issue 5, pp 779-780. Journal of experimental and theoretical artificial intelligence (Print), 28(5):779–780. TAYLOR & FRANCIS LTD. DOI: 10.1080/0952813X.2016.1218649. |
.
[105] |
2016. Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 2. |
.
|
[104] |
2016. Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 1. |
.
|
[103] | ![]() |
2016. Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification. Acta Informatica, 53(6-8):723–752. Springer Publishing Company. DOI: 10.1007/s00236-015-0248-8. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
[102] | ![]() |
2016. A Modeling Framework for Troubleshooting Automotive Systems. Applied Artificial Intelligence, 30(3):257–296. Taylor & Francis. DOI: 10.1080/08839514.2016.1156955. Note: The published article is a shorter version than the version in manuscript form. The status of this article was earlier Manuscript.Funding agencies: Scania CV AB; FFI - Strategic Vehicle Research and Innovation; Excellence Center at Linkoping and Lund in Information Technology (ELLIIT); Research Council (VR) Linnaeus Center CADICS fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2015 | ||
[101] |
2015. Querying Flying Robots and Other Things: Ontology-supported stream reasoning. , 22(2):44–47. Association for Computing Machinery (ACM). Note: DOI does not work: 10.1145/2845155 Link to publication: http://xrds.acm.org/article.cfm?aid=2845... |
.
|
[100] |
2015. Towards richer rule languages with polynomial data complexity for the Semantic Web. Data & Knowledge Engineering, 96-97(??):57–77. ELSEVIER SCIENCE BV. DOI: 10.1016/j.datak.2015.04.005. |
.
|
[99] |
2015. Paraconsistent semantics of speech acts. |
.
|
2014 | ||
[98] |
2014. Guided Integrated Remote and Workshop Troubleshooting of Heavy Trucks. International Journal of Commercial Vehicles, 7(1):25–36. SAE International. DOI: 10.4271/2014-01-0284. |
.
|
[97] |
2014. A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse. VNU Journal of Computer Science and Communication Engineering, 30(4):14–28. Link to publication: http://www.jcsce.vnu.edu.vn/index.php/jc... |
.
|
[96] | ![]() |
2014. Evaluation of a Light-weight Lidar and a Photogrammetric System for Unmanned Airborne Mapping Applications: [Bewertung eines Lidar-systems mit geringem Gewicht und eines photogrammetrischen Systems für Anwendungen auf einem UAV]. Photogrammetrie - Fernerkundung - Geoinformation, ??(4):287–298. E. Schweizerbart'sche Verlagsbuchhandlung. DOI: 10.1127/1432-8364/2014/0223. Link to article: http://www.ingentaconnect.com/content/sc... |
.
[95] |
2014. WORL: a nonmonotonic rule language for the semantic web. |
.
|
[94] |
2014. Editorial Material: A perspective on the early history of artificial intelligence in Europe. |
.
|
[93] |
2014. Unmanned aerial vehicle-aided communications system for disaster recovery. Journal of Network and Computer Applications, 41(??):27–36. Elsevier. DOI: 10.1016/j.jnca.2013.10.002. |
.
|
2013 | ||
[92] |
2013. Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination. Fundamenta Informaticae, 127(1-4):135–149. IOS Press. DOI: 10.3233/FI-2013-900. Note: Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research|| |
.
|
[91] |
2013. How an agent might think. Logic journal of the IGPL (Print), 21(3):515–535. Oxford University Press (OUP): Policy A - Oxford Open Option A. DOI: 10.1093/jigpal/jzs051. |
.
|
[90] | ![]() |
2013. Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR. Journal of Automation, Mobile Robotics & Intelligent Systems, 7(1):35–41. Link to article: http://www.jamris.org/archive.php |
.
[89] | ![]() |
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. |
.
[88] | ![]() |
2013. Stream-Based Hierarchical Anchoring. |
.
[87] |
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: https://liu.diva-portal.org/smash/get/di... |
.
|
[86] | ![]() |
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: https://liu.diva-portal.org/smash/get/di... |
.
[85] | ![]() |
2013. A Frontier-Void-Based Approach for Autonomous Exploration in 3D. Advanced Robotics, 27(6):459–468. Taylor and Francis. DOI: 10.1080/01691864.2013.763720. Note: Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8| fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2012 | ||
[84] |
2012. Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system. Engineering applications of artificial intelligence, 25(4):705–719. Elsevier. DOI: 10.1016/j.engappai.2011.02.018. |
.
|
2011 | ||
[83] | ![]() |
2011. Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain. |
.
[82] |
2011. Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics. |
.
|
[81] |
2011. ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica: An International Journal for Symbolic Logic, 98(3):387–428. Springer Berlin/Heidelberg. DOI: 10.1007/s11225-011-9341-3. |
.
|
[80] |
2011. Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. |
.
|
[79] |
2011. Reports of the AAAI 2011 Spring Symposia. The AI Magazine, 32(3):119–127. AAAI Press. |
.
|
[78] | ![]() |
2011. From systems to logic in the early development of nonmonotonic reasoning. |
.
2010 | ||
[77] | ![]() |
2010. Exercising Moral Copyright for Evolving Publications. ScieCom Info, 6(3):??–??. Svenskt Resurscentrum för Vetenskaplig Kommunikation. Link: http://www.sciecom.org/ojs/index.php/sci... |
.
[76] |
2010. Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. Transactions on Computational Collective Intelligence, 1(1):21–38. Springer. ISBN: 978-3-642-15033-3. DOI: 10.1007/978-3-642-15034-0_2. |
.
|
[75] | ![]() |
2010. Defeasible inheritance with doubt index and its axiomatic characterization. |
.
[74] |
2010. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. |
.
|
[73] | ![]() |
2010. Optimal placement of UV-based communications relay nodes. Journal of Global Optimization, 48(4):511–531. Springer. DOI: 10.1007/s10898-010-9526-8. Note: The original publication is available at www.springerlink.com:Oleg Burdakov, Patrick Doherty, Kaj Holmberg and Per-Magnus Olsson, Optimal placement of UV-based communications relay nodes, 2010, Journal of Global Optimization, (48), 4, 511-531.http://dx.doi.org/10.1007/s10898-010-9526-8Copyright: Springer Science Business Mediahttp://www.springerlink.com/ fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
[72] | ![]() |
2010. FlexDx: A Reconfigurable Diagnosis Framework. Engineering applications of artificial intelligence, 23(8):1303–1313. Elsevier. DOI: 10.1016/j.engappai.2010.01.004. fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
[71] |
2010. A Framework for Graded Beliefs, Goals and Intentions. |
.
|
[70] |
2010. A Layered Rule-Based Architecture for Approximate Knowledge Fusion. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 7(3):617–642. COMSIS CONSORTIUM. DOI: 10.2298/CSIS100209015D. |
.
|
[69] | ![]() |
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
.
[68] |
2010. Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. International Journal of Approximate Reasoning, 51(3):346–362. Elsevier. DOI: 10.1016/j.ijar.2009.11.002. |
.
|
[67] |
2010. A case-based approach to dialogue systems. Journal of experimental and theoretical artificial intelligence (Print), 22(1):23–51. Taylor & Francis. DOI: 10.1080/09528130902723708. |
.
|
[66] | ![]() |
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
.
2009 | ||
[65] |
2009. Annotation Theories over Finite Graphs. Studia Logica: An International Journal for Symbolic Logic, 93(2-3):147–180. Springer. DOI: 10.1007/s11225-009-9220-3. |
.
|
[64] |
2009. Modelling and Reasoning with Paraconsistent Rough Sets. |
.
|
[63] | ![]() |
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
.
[62] |
2009. Voting by Eliminating Quantifiers. Studia Logica: An International Journal for Symbolic Logic, 92(3):365–379. Springer. DOI: 10.1007/s11225-009-9200-7. |
.
|
[61] | ![]() |
2009. Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation. DOI: 10.1155/2009/387308. |
.
2008 | ||
[60] | ![]() |
2008. Extending the concept of publication: Factbases and knowledgebases. Learned Publishing, 21(2):123–131. Association of Learned and Professional Society Publishers. DOI: 10.1087/095315108X288893. |
.
[59] |
2008. Towards Incorporating Background Theories into Quantifier Elimination. Journal of applied non-classical logics, 18(2-3):325–340. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.18.325-340. |
.
|
[58] | ![]() |
2008. Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals. Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy, 69(5):1294–1300. Elsevier. DOI: 10.1016/j.saa.2007.09.040. Note: Original publication: A. Lund, P. Andersson, J. Eriksson, J. Hallin, T. Johansson, R. Jonsson, H. Löfgren, C. Paulin and A. Tell, Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals, 2008, Spectrochimica Acta Part A, (69), 5, 1294-1300. http://dx.doi.org/10.1016/j.saa.2007.09.040. Copyright: Elsevier B.V., http://www.elsevier.com/ fulltext:postprint: http://liu.diva-portal.org/smash/get/div... |
.
2007 | ||
[57] | ![]() |
2007. Vision-Based SLAM: Stereo and Monocular Approaches. International Journal of Computer Vision, 74(3):343–364. Kluwer Academic Publishers. DOI: 10.1007/s11263-007-0042-3. |
.
[56] | ![]() |
2007. Communication between agents with heterogeneous perceptual capabilities. |
.
[55] | ![]() |
2007. Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals. Studia Logica: An International Journal for Symbolic Logic, 87(1):37–50. Springer. DOI: 10.1007/s11225-007-9075-4. |
.
[54] | ![]() |
2007. A correspondence framework between three-valued logics and similarity-based approximate reasoning. Fundamenta Informaticae, 75(1-4):179–193. IOS Press. |
.
2006 | ||
[53] |
2006. Systems - Opening up the process. |
.
|
[52] | ![]() |
2006. Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition. The journal of artificial intelligence research, 25(??):233–267. AAAI Press. DOI: 10.1613/jair.1885. |
.
[51] |
2006. A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle. International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780. DOI: 10.1142/S0218001406004867. |
.
|
[50] |
2006. Probabilistic roadmap based path planning for an autonomous unmanned helicopter. Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press. |
.
|
[49] | ![]() |
2006. A knowledge processing middleware framework and its relation to the JDL data fusion model. Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press. |
.
[48] |
2006. Second-order Reasoning in Description Logics. Journal of applied non-classical logics, 16(3 - 4):517–530. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.517-530. |
.
|
[47] | ![]() |
2006. Approximate Databases: A support tool for approximate reasoning. Journal of applied non-classical logics, 16(1-2):87–118. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.87-117. Note: Special issue on implementation of logics |
.
2005 | ||
[46] |
2005. Enactive Cognitive Science: Part 1, Background and Research Themes. |
.
|
2004 | ||
[45] | ![]() |
2004. DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press. |
.
[44] | ![]() |
2004. Elaboration tolerance through object-orientation. |
.
[43] | ![]() |
2004. A fuzzy gain-scheduler for the attitude control of an unmanned helicopter. IEEE transactions on fuzzy systems, 12(4):502–515. IEEE Computer Society. DOI: 10.1109/TFUZZ.2004.832539. |
.
[42] |
2004. A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control. |
.
|
[41] | ![]() |
2004. Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. The AI Magazine, 25(2):137–138. AAAI Press. |
.
2003 | ||
[40] | ![]() |
2003. TALplanner in the Third International Planning Competition: Extensions and control rules. The journal of artificial intelligence research, 20(??):343–377. AAAI Press. DOI: 10.1613/jair.1189. |
.
[39] |
2003. Preface. Fundamenta Informaticae, 57(2-4):i–iii. IOS Press. |
.
|
[38] | ![]() |
2003. Formalizing defeasible logic in CAKE. Fundamenta Informaticae, 57(2-3):193–213. IOS Press. |
.
[37] | ![]() |
2003. Towards a framework for approximate ontologies. Fundamenta Informaticae, 57(2-4):147–165. IOS Press. |
.
[36] |
2003. 2003 AAAI Spring Symposium Series. The AI Magazine, 24(3):131–140. AAAI Press. |
.
|
2001 | ||
[35] | ![]() |
2001. On the Design of Software Individuals. Electronic Transactions on Artifical Intelligence, 5(??):??–??. Linköpings Universitet. |
.
[34] | ![]() |
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
.
2000 | ||
[33] | ![]() |
2000. Defining and Certifying Electronic Publication in Science. Learned Publishing, 13(4):251–258. Association of Learned and Professional Society Publishers. Link to article: http://www.ida.liu.se/ext/caisor/archive... |
.
[32] | ![]() |
2000. Towards efficient universal planning: A randomized approach. |
.
[31] | ![]() |
2000. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer. DOI: 10.1023/A:1016619613658. |
.
[30] |
2000. The PMA and relativizing minimal change for action update. Fundamenta Informaticae, 44(1-2):95–131. IOS Press. |
.
|
[29] | ![]() |
2000. Tackling the qualification problem using fluent dependency constraints. |
.
1999 | ||
[28] | ![]() |
1999. Reasoning about Concurrent Interaction. Journal of logic and computation (Print), 9(5):623–650. Oxford University Press. DOI: 10.1093/logcom/9.5.623. |
.
[27] |
1999. Reasoning about action in polynomial time. |
.
|
[26] | ![]() |
1999. Meta-queries on deductive databases. |
.
[25] | ![]() |
1999. Declarative PTIME queries for relational databases using quantifier elimination. Journal of logic and computation (Print), 9(5):737–758. Oxford University Press. DOI: 10.1093/logcom/9.5.737. |
.
1998 | ||
[24] | ![]() |
1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306. Link: http://www.ep.liu.se/ej/etai/1998/009/ |
.
[23] |
1998. General domain circumscription and its effective reductions. |
.
|
1997 | ||
[22] |
1997. Rolling Bearing Simulation on MIMD Computers. The international journal of high performance computing applications, 11(4):299–313. Sage Publications. DOI: 10.1177/109434209701100404. Fulltext: https://doi.org/10.1177/1094342097011004... |
.
|
[21] | ![]() |
1997. Computing circumscription revisited: A reduction algorithm. Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers. DOI: 10.1023/A:1005722130532. |
.
1996 | ||
[20] |
1996. On Natural Deduction in First-Order Fixpoint Logics. |
.
|
[19] | ![]() |
1996. A reduction result for circumscribed semi-horn formulas. |
.
1994 | ||
[18] |
1994. On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic. Journal of Applied Non-Classical Logics, 4(2):119–127. Éditions Hermès-Lavoisier. |
.
|
1993 | ||
[17] |
1993. On the Correspondence between Modal and Classical Logic: An Automated Approach. Journal of logic and computation (Print), 3(6):605–620. Oxford University Press. DOI: 10.1093/logcom/3.6.605. |
.
|
[16] |
1993. Fuzzy if-then-unless rules and their implementation. International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific. DOI: 10.1142/S0218488593000097. |
.
|
1992 | ||
[15] |
1992. Axiomatizing Fixpoint Logics. |
.
|
[14] |
1992. NML-3 - A non-monotonic logic with explicit defaults. Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier. |
.
|
1991 | ||
[13] |
1991. On Strictly Arithmetical Completeness in Logics of Programs. |
.
|
1989 | ||
[12] |
1989. On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts. Fundamenta Informaticae, 12(2):191–204. IOS Press. |
.
|
1988 | ||
[11] |
1988. Towards the Temporal Approach to Abstract Data Types. Fundamenta Informaticae, 11(1):49–64. IOS Press. |
.
|
[10] |
1988. An Incompleteness Result in Process Algebra. |
.
|
[9] |
1988. Propositional Description of Finite Cause-Effect Structures. |
.
|
[8] |
1988. Incompleteness of First-Order Temporal Logic with Until. |
.
|
1987 | ||
[7] |
1987. A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. |
.
|
[6] |
1987. Arithmetical Axiomatization of First-Order Temporal Logic. |
.
|
1986 | ||
[5] |
1986. Concerning the Semantic Consequence Relation in First-Order Temporal Logic. |
.
|
1985 | ||
[4] |
1985. A Note on PCI: Distributed Processes Communicating by Interrupts. |
.
|
[3] |
1985. Exception Handling in Parallel Computations. |
.
|
1984 | ||
[2] |
1984. On an Application of Algorithmic Theory of Stacks. Fundamenta Informaticae, 7(3):378–388. IOS Press. |
.
|
1981 | ||
[1] |
1981. Algorithmic Logic with Recursive Functions. Fundamenta Informaticae, 4(4):975–995. IOS Press. |
.
Page responsible: Patrick Doherty
Last updated: 2014-04-30