@article{FicGagEtAl:2024:1846866, author = {Johannes Klaus Fichte and Sarah Alice Gaggl and Markus Hecher and Dominik Rusovac}, title = {{IASCAR: Incremental Answer Set Counting by Anytime Refinement}}, year = {2024}, journal = {Theory and Practice of Logic Programming}, publisher = {CAMBRIDGE UNIV PRESS}, issn = {1471-0684}, 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]}, } @article{CarNykEtAl:2024:1843938, author = {Henrik Carlsen and Bjorn Nykvist and Somya Joshi and Fredrik Heintz}, title = {{Chasing artificial intelligence in shared socioeconomic pathways}}, year = {2024}, journal = {One Earth}, volume = {7}, number = {1}, pages = {18--22}, publisher = {CELL PRESS}, issn = {2590-3330}, doi = {10.1016/j.oneear.2023.12.015}, note = {Funding Agencies|Mistra Geopolitics research program [2016/11]}, } @article{DohSza:2024:1816604, author = {Patrick Doherty and Andrzej Szalas}, title = {{Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions}}, year = {2024}, journal = {Artificial Intelligence}, volume = {326}, publisher = {ELSEVIER}, issn = {0004-3702}, 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]}, } @article{BerDohEtAl:2023:1826481, author = {Cyrille Berger and Patrick Doherty and Piotr Rudol and Mariusz Wzorek}, title = {{RGS⊕: RDF graph synchronization for collaborative robotics}}, year = {2023}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {37}, number = {2}, publisher = {SPRINGER}, issn = {1387-2532}, 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}, } @article{DunSza:2023:1818463, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Modeling and shadowing paraconsistent BDI agents}}, year = {2023}, journal = {Annals of Mathematics and Artificial Intelligence}, publisher = {SPRINGER}, issn = {1012-2443}, doi = {10.1007/s10472-023-09902-w}, note = {Funding Agencies|Narodowe Centrum Nauki [2015/19/B/ST6/02589]; National Science Centre Poland}, } @article{SpeSteEtAl:2023:1794883, author = {Katarina Sperling and Linn\'ea Stenliden and J\"orgen Nissen and Fredrik Heintz}, title = {{Behind the Scenes of Co-designing AI and LA in K-12 Education}}, year = {2023}, journal = {Postdigital Science and Education}, issn = {2524-485X}, doi = {10.1007/s42438-023-00417-5}, } @article{Zie:2023:1792848, author = {Tom Ziemke}, title = {{Understanding Social Robots: Attribution of Intentional Agency to Artificial and Biological Bodies}}, year = {2023}, journal = {Artificial Life}, volume = {29}, number = {3}, pages = {351--366}, publisher = {MIT Press}, issn = {1064-5462}, doi = {10.1162/artl\_a\_00404}, note = {Funding: ELLIIT; Excellence Center at Linkoping-Lund in Information Technology; Swedish Research Council (VR) [2022-04602]}, } @article{SerdeMEtAl:2023:1786300, author = {Vitor Hugo Serravalle Reis Rodrigues and Paulo Roberto de Melo Barros Junior and Euler Bentes dos Santos Marinho and Jose Luis Lima de Jesus Silva}, title = {{Wavelet gated multiformer for groundwater time series forecasting}}, year = {2023}, journal = {Scientific Reports}, volume = {13}, number = {1}, publisher = {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]}, } @article{ForLinEtAl:2023:1768982, author = {Mattias Forsblad and Philip Lindblad and Mattias Arvola and Ignacio Sol\'\is-Marcos and Henrik Danielsson and Mikael Wiberg}, title = {{How Children With Mild Intellectual Disability Experience Self-driving Buses: In Support of Agency}}, year = {2023}, journal = {Transaction on Transport Sciences}, volume = {14}, number = {2}, pages = {21--31}, issn = {1802-971X}, doi = {10.5507/tots.2023.002}, } @article{SerdeMEtAl:2023:1752175, author = {Vitor Hugo Serravalle Reis Rodrigues and Paulo Roberto de Melo Barros Junior and Euler Bentes dos Santos Marinho and Jose Luis Silva}, title = {{Wavelet Gated Multiformer for Groundwater Time Series Forecasting}}, year = {2023}, journal = {Scientific Reports}, doi = {10.21203/rs.3.rs-2647096/v1}, } @article{ManLeiEtAl:2023:1751831, author = {Linda Mannila and Teemu Leinonen and Merja Bauters and Marjaana Veermans}, title = {{Student and teacher co-agency when combining CT with arts and design in a cross-curricular project}}, year = {2023}, journal = {Computers and Education Open}, volume = {4}, publisher = {ELSEVIER}, issn = {2666-5573}, doi = {10.1016/j.caeo.2023.100132}, } @article{HarLarHei:2023:1749875, author = {Kashyap Haresamudram and Stefan Larsson and Fredrik Heintz}, title = {{Three Levels of AI Transparency}}, year = {2023}, journal = {Computer}, volume = {56}, number = {2}, pages = {93--100}, publisher = {IEEE COMPUTER SOC}, issn = {0018-9162}, 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)}, } @article{RieMagEtAl:2023:1660546, author = {Finn Rietz and Sven Magg and Fredrik Heintz and Todor Stoyanov and Stefan Wermter and Johannes A. Stork}, title = {{Hierarchical goals contextualize local reward decomposition explanations}}, year = {2023}, journal = {Neural Computing \& Applications}, volume = {35}, pages = {16693--16704}, publisher = {Springer London Ltd}, issn = {0941-0643}, 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]}, } @article{deMBunEtAl:2022:1792626, author = {Paulo Roberto de Melo Barros Junior and Kianny Lopes Bunge and Vitor Hugo Serravalle Reis Rodrigues and Michell Thompson Ferreira Santiago and Euler Bentes dos Santos Marinho and Jose Luis Lima de Jesus Silva}, title = {{Multi-fractal detrended cross-correlation heatmaps for time series analysis}}, year = {2022}, journal = {Scientific Reports}, volume = {12}, number = {1}, publisher = {NATURE PORTFOLIO}, doi = {10.1038/s41598-022-26207-w}, note = {Funding Agencies|Swedish National Infrastructure for Computing (SNIC) [SNIC 2022/22-843]}, } @article{NivBasEtAl:2022:1780553, author = {Joakim Nivre and Ali Basirat and Luise Durlich and Adam Moss}, title = {{Nucleus Composition in Transition-based Dependency Parsing}}, year = {2022}, journal = {Computational linguistics - Association for Computational Linguistics (Print)}, volume = {48}, number = {4}, pages = {849--886}, publisher = {MIT PRESS}, issn = {0891-2017}, doi = {10.1162/coli\_a\_00450}, note = {Funding Agencies|Swedish Research Council [2016-01817]}, } @article{SchKuhSat:2022:1768193, author = {Lena Katharina Schiffer and Marco Kuhlmann and Giorgio Satta}, title = {{Tractable Parsing for CCGs of Bounded Degree}}, year = {2022}, journal = {Computational linguistics - Association for Computational Linguistics (Print)}, volume = {48}, number = {3}, pages = {593--633}, publisher = {MIT PRESS}, issn = {0891-2017}, 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}, } @article{NilSveEtAl:2022:1753951, author = {Per Nilsen and Petra Svedberg and Jens Nygren and Micael Frideros and Jan Johansson and Stephen Schueller}, title = {{Accelerating the impact of artificial intelligence in mental healthcare through implementation science}}, year = {2022}, journal = {Implementation research and practice}, volume = {3}, publisher = {Sage Publications}, issn = {2633-4895}, doi = {10.1177/26334895221112033}, } @article{BoyBasBer:2022:1745586, author = {Michael Boyden and Ali Basirat and Karl Berglund}, title = {{Digital Conceptual History and the Emergence of a Globalized Climate Imaginary}}, year = {2022}, journal = {Contributions to the History of Concepts}, volume = {17}, number = {2}, pages = {95--122}, publisher = {BERGHAHN JOURNALS}, issn = {1807-9326}, doi = {10.3167/choc.2022.170205}, } @article{SpeSteEtAl:2022:1707931, author = {Katarina Sperling and Linn\'ea Stenliden and J\"orgen Nissen and Fredrik Heintz}, title = {{Still w(AI)ting for the automation of teaching: An exploration of machine learning in Swedish primary education using Actor-Network Theory}}, year = {2022}, journal = {European Journal of Education}, volume = {57}, number = {4}, pages = {584--600}, publisher = {Wiley-Blackwell Publishing Inc.}, issn = {0141-8211}, doi = {10.1111/ejed.12526}, } @article{RodBonEtAl:2022:1691085, author = {Ivan D. Rodriguez and Blai Bonet and Sebastian Sardina and Hector Geffner}, title = {{FOND Planning with Explicit Fairness Assumptions}}, year = {2022}, journal = {The journal of artificial intelligence research}, volume = {74}, pages = {887--916}, publisher = {AI Access Foundation ; AAAI Press}, issn = {1076-9757}, 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}, } @article{VamSmiEtAl:2022:1683794, author = {Peter Vamplew and Benjamin J. Smith and Johan K\"allstr\"om and Gabriel Ramos and Roxana Rădulescu and Diederik M. Roijers and Conor F. Hayes and Fredrik Heintz and Patrick Mannion and Pieter J. K. Libin and Richard Dazeley and Cameron Foale}, title = {{Scalar reward is not enough: a response to Silver, Singh, Precup and Sutton (2021)}}, year = {2022}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {36}, number = {2}, publisher = {Springer}, issn = {1387-2532}, 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]}, } @article{DohSza:2022:1681176, author = {Patrick Doherty and Andrzej Szalas}, title = {{A landscape and implementation framework for probabilistic rough sets using PROBLOG}}, year = {2022}, journal = {Information Sciences}, volume = {593}, pages = {546--576}, publisher = {Elsevier Science Inc}, issn = {0020-0255}, 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]}, } @article{HayRduEtAl:2022:1652310, author = {Conor F. Hayes and Roxana Rădulescu and Eugenio Bargiacchi and Johan K\"allstr\"om and Matthew Macfarlane and Mathieu Reymond and Timothy Verstraeten and Luisa M. Zintgraf and Richard Dazeley and Fredrik Heintz and Enda Howley and Athirai A. Irissappane and Patrick Mannion and Ann Now\'e and Gabriel Ramos and Marcello Restelli and Peter Vamplew and Diederik M. Roijers}, title = {{A practical guide to multi-objective reinforcement learning and planning}}, year = {2022}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {36}, number = {1}, publisher = {Springer}, issn = {1387-2532}, 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}, } @article{CurHeiEtAl:2022:1650375, author = {Edward Curry and Fredrik Heintz and Morten Irgens and Arnold W. M. Smeulders and Stefano Stramigioli}, title = {{Partnership on AI, Data, and Robotics}}, year = {2022}, journal = {Communications of the ACM}, volume = {65}, number = {4}, pages = {54--55}, publisher = {ASSOC COMPUTING MACHINERY}, issn = {0001-0782}, doi = {10.1145/3513000}, } @article{KllGraHei:2022:1643634, author = {Johan K\"allstr\"om and R. Granlund and Fredrik Heintz}, title = {{Design of simulation-based pilot training systems using machine learning agents}}, year = {2022}, journal = {Aeronautical Journal}, volume = {126}, number = {1300}, pages = {907--931}, publisher = {Cambridge University Press}, issn = {0001-9240}, 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]}, } @article{KuhMalSch:2022:1617277, author = {Marco Kuhlmann and Andreas Maletti and Lena Katharina Schiffer}, title = {{The tree-generative capacity of combinatory categorial grammars}}, year = {2022}, journal = {Journal of computer and system sciences (Print)}, volume = {124}, pages = {214--233}, publisher = {Academic Press Ltd - Elsevier Science Ltd}, issn = {0022-0000}, 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)}, } @article{DohBerEtAl:2021:1810382, author = {Patrick Doherty and Cyrille Berger and Piotr Rudol and Mariusz Wzorek}, title = {{Hastily formed knowledge networks and distributed situation awareness for collaborative robotics}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {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.}, } @article{AndDohEtAl:2021:1701897, author = {Olov Andersson and Patrick Doherty and M{\aa}rten Lager and Jens-Olof Lindh and Linnea Persson and Elin A. Topp and Jesper Tordenlid and Bo Wahlberg}, title = {{WARA-PS: a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {Springer Singapore}, doi = {10.1007/s43684-021-00009-9}, } @article{WzoBerDoh:2021:1701784, author = {Mariusz Wzorek and Cyrille Berger and Patrick Doherty}, title = {{Router and gateway node placement in wireless mesh networks for emergency rescue scenarios}}, year = {2021}, journal = {Autonomous Intelligent Systems}, volume = {1}, number = {1}, publisher = {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.}, } @article{BasAllBer:2021:1626979, author = {Ali Basirat and Marc Allassonniere-Tang and Aleksandrs Berdicevskis}, title = {{An empirical study on the contribution of formal and semantic features to the grammatical gender of nouns}}, year = {2021}, journal = {Linguistics Vanguard}, volume = {7}, number = {1}, publisher = {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]}, } @article{StrManKAM:2021:1622263, author = {Filip Str\"omb\"ack and Linda Mannila and Mariam KAMKAR}, title = {{The Non-Deterministic Path to Concurrency -- Exploring how Students Understand the Abstractions of Concurrency}}, year = {2021}, journal = {Informatics in Education. An International Journal}, volume = {20}, number = {4}, pages = {683--715}, publisher = {Vilnius University Press}, issn = {1648-5831}, doi = {10.15388/infedu.2021.29}, } @article{HagStrMan:2021:1622116, author = {Pontus Haglund and Filip Str\"omb\"ack and Linda Mannila}, title = {{Understanding Students' Failure to use Functions as a Tool for Abstraction -- An Analysis of Questionnaire Responses and Lab Assignments in a CS1 Python Course}}, year = {2021}, journal = {Informatics in Education. An International Journal}, volume = {20}, number = {4}, pages = {583--614}, publisher = {Vilnius University Press}, issn = {1648-5831}, doi = {10.15388/infedu.2021.26}, } @article{SteKanEtAl:2021:1601623, author = {Gerald Steinbauer and Martin Kandlhofer and Tara Chklovski and Fredrik Heintz and Sven Koenig}, title = {{Education in Artificial Intelligence K-12}}, year = {2021}, journal = {K\"unstliche Intelligenz}, volume = {35}, number = {2}, pages = {127--129}, publisher = {Springer}, issn = {0933-1875}, doi = {10.1007/s13218-021-00734-6}, note = {Funding Agencies: Graz University of Technology}, } @article{LunArvLun:2021:1592379, author = {Jonas Lundberg and Mattias Arvola and Karljohan Lundin Palmerius}, title = {{Human Autonomy in Future Drone Traffic: Joint Human-AI Control in Temporal Cognitive Work}}, year = {2021}, journal = {Frontiers in Artificial Intelligence}, volume = {4}, publisher = {Frontiers Media S.A.}, doi = {10.3389/frai.2021.704082}, note = {Funding: Swedish Transport Administration}, } @article{San:2021:1588107, author = {Erik Sandewall}, title = {{Ethics, Human Rights, the Intelligent Robot, and its Subsystem for Moral Beliefs}}, year = {2021}, journal = {International Journal of Social Robotics}, volume = {13}, number = {4}, pages = {557--567}, publisher = {Springer}, issn = {1875-4791}, doi = {10.1007/s12369-019-00540-z}, } @article{Hei:2021:1578032, author = {Fredrik Heintz}, title = {{Three Interviews About K-12 AI Education in America, Europe, and Singapore}}, year = {2021}, journal = {K\"unstliche Intelligenz}, volume = {35}, pages = {233--237}, publisher = {SPRINGER HEIDELBERG}, issn = {0933-1875}, doi = {10.1007/s13218-021-00730-w}, } @article{SteKanEtAl:2021:1562723, author = {Gerald Steinbauer and Martin Kandlhofer and Tara Chklovski and Fredrik Heintz and Sven Koenig}, title = {{A Differentiated Discussion About AI Education K-12}}, year = {2021}, journal = {K\"unstliche Intelligenz}, volume = {35}, number = {2}, pages = {131--137}, publisher = {Springer Nature}, issn = {0933-1875}, doi = {10.1007/s13218-021-00724-8}, note = {Funding Agencies|Graz University of Technology}, } @article{TigBerEtAl:2021:1545002, author = {Mattias Tiger and David Bergstr\"om and Andreas Norrstig and Fredrik Heintz}, title = {{Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning}}, year = {2021}, journal = {IEEE Robotics and Automation Letters}, volume = {6}, number = {3}, pages = {4385--4392}, publisher = {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 \&amp; Alice Wallenberg Foundation [KAW 2019.0350]}, } @article{KjaManEtAl:2021:1537236, author = {Susanne Kjallander and Linda Mannila and Anna Akerfeldt and Fredrik Heintz}, title = {{Elementary Students First Approach to Computational Thinking and Programming}}, year = {2021}, journal = {Education Sciences}, volume = {11}, number = {2}, publisher = {MDPI}, doi = {10.3390/educsci11020080}, note = {Funding Agencies|Marcus and Amalia Wallenberg Foundation [MAW 2017.0096]}, } @article{DohSza:2021:1521594, author = {Patrick Doherty and Andrzej Szalas}, title = {{Rough set reasoning using answer set programs}}, year = {2021}, journal = {International Journal of Approximate Reasoning}, volume = {130}, number = {March}, pages = {126--149}, publisher = {Elsevier}, issn = {0888-613X}, 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]}, } @article{LunJoh:2021:1454938, author = {Jonas Lundberg and Bj\"orn Johansson}, title = {{A framework for describing interaction between human operators and autonomous, automated, and manual control systems}}, year = {2021}, journal = {Cognition, Technology \& Work}, volume = {23}, pages = {381--401}, publisher = {SPRINGER LONDON LTD}, issn = {1435-5558}, doi = {10.1007/s10111-020-00637-w}, note = {Funding Agencies|Linkoping University - Swedish Transport Administration; Air Navigation Services of Sweden}, } @article{LunJoh:2020:1792687, author = {Jonas Lundberg and Bj\"orn Johansson}, title = {{A framework for describing interaction between human operators and autonomous, automated, and manual control systems}}, year = {2020}, journal = {Cognition, Technology \& Work}, volume = {23}, number = {3}, pages = {381--401}, issn = {1435-5558}, doi = {10.1007/s10111-020-00637-w}, } @article{SilBreAra:2020:1708330, author = {J. Luis Silva and Barbara Brena and C. Moyses Araujo}, title = {{g-C3N4/WTe2 Hybrid Electrocatalyst for Efficient Hydrogen Evolution Reaction}}, year = {2020}, journal = {The Journal of Physical Chemistry C}, volume = {124}, number = {16}, pages = {8726--8735}, publisher = {American Chemical Society (ACS)}, issn = {1932-7447}, doi = {10.1021/acs.jpcc.9b11982}, } @article{NouZhaEtAl:2020:1706838, author = {Jalal Nouri and Lechen Zhang and Linda Mannila and Eva Nor\'en}, title = {{Development of computational thinking, digital competence and 21stcentury skills when learning programming in K-9}}, year = {2020}, journal = {Education Inquiry}, volume = {11}, number = {1}, publisher = {Routledge}, doi = {10.1080/20004508.2019.1627844}, } @article{Sza:2020:1467612, author = {Andrzej Szalas}, title = {{On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More}}, year = {2020}, journal = {Journal of Multiple-Valued Logic and Soft Computing}, volume = {34}, number = {5-6}, pages = {423--450}, publisher = {Old City Publishing}, issn = {1542-3980}, note = {Funding agencies:\Â\  National Science Centre PolandNational Science Center, PolandNational Science Centre, Poland [2017/27/B/ST6/02018]}, } @article{Sza:2020:1465035, author = {Andrzej Szalas}, title = {{A Paraconsistent ASP-like Language with Tractable Model Generation}}, year = {2020}, journal = {Journal of Applied Logics - IfCoLog Journal of Logic and Applications}, volume = {7}, number = {3}, pages = {361--389}, publisher = {College Publications}, issn = {2631-9810}, note = {Funding agencies:\Â\ This work has been supported by grant 2017/27/B/ST6/02018 of the National Science Centre Poland.}, } @article{PrnHei:2020:1416035, author = {Fredrik Pr\"antare and Fredrik Heintz}, title = {{An anytime algorithm for optimal simultaneous coalition structure generation and assignment}}, year = {2020}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {34}, number = {1}, publisher = {SPRINGER}, issn = {1387-2532}, 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}, } @article{TigHei:2020:1390395, author = {Mattias Tiger and Fredrik Heintz}, title = {{Incremental Reasoning in Probabilistic Signal Temporal Logic}}, year = {2020}, journal = {International Journal of Approximate Reasoning}, volume = {119}, pages = {325--352}, publisher = {Elsevier}, issn = {0888-613X}, 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}, } @article{BiaDunSza:2019:1349575, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{A paraconsistent approach to actions in informationally complex environments}}, year = {2019}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {86}, number = {4}, pages = {231--255}, publisher = {SPRINGER}, issn = {1012-2443}, 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)}, } @article{SzkBiaSza:2019:1329198, author = {Jacek Szklarski and Lukasz Bialek and Andrzej Szalas}, title = {{Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis}}, year = {2019}, journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems}, volume = {27}, number = {3}, pages = {429--455}, publisher = {WORLD SCIENTIFIC PUBL CO PTE LTD}, issn = {0218-4885}, doi = {10.1142/S021848851950020X}, note = {Funding Agencies|Polish National Science Centre [2012/05/B/ST6/03094, 2015/19/B/ST6/02589]}, } @article{DelEitEtAl:2019:1315597, author = {Daniele DellAglio and Thomas Eiter and Fredrik Heintz and Danh Le-Phuoc}, title = {{Special issue on stream reasoning}}, year = {2019}, journal = {Semantic Web}, volume = {10}, number = {3}, pages = {453--455}, publisher = {IOS PRESS}, issn = {1570-0844}, doi = {10.3233/SW-190351}, } @article{SelTigEtAl:2019:1285787, author = {Magnus Selin and Mattias Tiger and Daniel Duberg and Fredrik Heintz and Patric Jensfelt}, title = {{Efficient Autonomous Exploration Planning of Large Scale 3D-Environments}}, year = {2019}, journal = {IEEE Robotics and Automation Letters}, volume = {4}, number = {2}, pages = {1699--1706}, publisher = {Institute of Electrical and Electronics Engineers (IEEE)}, doi = {10.1109/LRA.2019.2897343}, } @article{NieParEtAl:2018:1706844, author = {Pia Niemel\"a and Tiina Partanen and Linda Mannila and Timo Poranen and Hannu-Matti J\"arvinen}, title = {{Code ABC MOOC for Math Teachers}}, year = {2018}, journal = {Communications in Computer and Information Science}, volume = {865}, pages = {66--96}, publisher = {Springer}, issn = {1865-0929}, doi = {10.1007/978-3-319-94640-5\_4}, } @article{DeADiMSza:2018:1270915, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Andrzej Szalas}, title = {{Paraconsistent Rule-Based Reasoning with Graded Truth Values}}, year = {2018}, journal = {}, volume = {5}, number = {1}, pages = {185--220}, publisher = {College Publications}, } @article{Kle:2018:1236408, author = {Alexander Kleiner}, title = {{The Low-Cost Evolution of AI in Domestic Floor Cleaning Robots}}, year = {2018}, journal = {The AI Magazine}, volume = {39}, number = {2}, pages = {89--90}, publisher = {AMER ASSOC ARTIFICIAL INTELL}, issn = {0738-4602}, doi = {10.1609/aimag.v39i2.2806}, } @article{BurKvaDoh:2017:914860, author = {Oleg Burdakov and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles}}, year = {2017}, journal = {Annals of Operations Research}, volume = {249}, number = {1}, pages = {163--174}, publisher = {Springer}, issn = {0254-5330}, doi = {10.1007/s10479-016-2169-5}, } @article{BhaErdEtAl:2016:1010216, author = {Mehul Bhatt and Esra Erdem and Fredrik Heintz and Michael Spranger}, title = {{Cognitive robotics in JOURNAL OF EXPERIMENTAL and THEORETICAL ARTIFICIAL INTELLIGENCE, vol 28, issue 5, pp 779-780}}, year = {2016}, journal = {Journal of experimental and theoretical artificial intelligence (Print)}, volume = {28}, number = {5}, pages = {779--780}, publisher = {TAYLOR \& FRANCIS LTD}, issn = {0952-813X}, doi = {10.1080/0952813X.2016.1218649}, } @article{KleHeiTad:2016:955829, author = {Alexander Kleiner and Fredrik Heintz and Satoshi Tadokoro}, title = {{Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 2}}, year = {2016}, journal = {Journal of Field Robotics}, volume = {33}, number = {4}, pages = {409--410}, publisher = {WILEY-BLACKWELL}, issn = {1556-4959}, doi = {10.1002/rob.21661}, } @article{KleHeiTad:2016:931994, author = {Alexander Kleiner and Fredrik Heintz and Satoshi Tadokoro}, title = {{Editorial: Special Issue on Safety, Security, and Rescue Robotics (SSRR), Part 1}}, year = {2016}, journal = {Journal of Field Robotics}, volume = {33}, number = {3}, pages = {263--264}, publisher = {WILEY-BLACKWELL}, issn = {1556-4959}, doi = {10.1002/rob.21653}, } @article{NilKvaDoh:2016:860637, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification}}, year = {2016}, journal = {Acta Informatica}, volume = {53}, number = {6-8}, pages = {723--752}, publisher = {Springer Publishing Company}, issn = {0001-5903}, doi = {10.1007/s00236-015-0248-8}, } @article{WarKvaDoh:2016:855938, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Modeling Framework for Troubleshooting Automotive Systems}}, year = {2016}, journal = {Applied Artificial Intelligence}, volume = {30}, number = {3}, pages = {257--296}, publisher = {Taylor \& Francis}, issn = {0883-9514}, 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 \<em\>Manuscript\</em\>.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}, } @article{deL:2015:894083, author = {Daniel de Leng}, title = {{Querying Flying Robots and Other Things: Ontology-supported stream reasoning}}, year = {2015}, journal = {}, volume = {22}, number = {2}, pages = {44--47}, publisher = {Association for Computing Machinery (ACM)}, note = {DOI does not work: 10.1145/2845155}, } @article{NguNguSza:2015:843859, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{Towards richer rule languages with polynomial data complexity for the Semantic Web}}, year = {2015}, journal = {Data \& Knowledge Engineering}, volume = {96-97}, pages = {57--77}, publisher = {ELSEVIER SCIENCE BV}, issn = {0169-023X}, doi = {10.1016/j.datak.2015.04.005}, } @article{DunStrEtAl:2015:788784, author = {Barbara Dunin-Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, title = {{Paraconsistent semantics of speech acts}}, year = {2015}, journal = {Neurocomputing}, volume = {151}, number = {2}, pages = {943--952}, publisher = {Elsevier}, issn = {0925-2312}, doi = {10.1016/j.neucom.2014.10.001}, } @article{WarNybBit:2014:855936, author = {H{\aa}kan Warnquist and Mattias Nyberg and Jonas Biteus}, title = {{Guided Integrated Remote and Workshop Troubleshooting of Heavy Trucks}}, year = {2014}, journal = {International Journal of Commercial Vehicles}, volume = {7}, number = {1}, pages = {25--36}, publisher = {SAE International}, issn = {1946-391X}, doi = {10.4271/2014-01-0284}, } @article{NguNguSza:2014:850318, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse}}, year = {2014}, journal = {VNU Journal of Computer Science and Communication Engineering}, volume = {30}, number = {4}, pages = {14--28}, issn = {0866-8612}, } @article{ConRudDoh:2014:736519, author = {Gianpaolo Conte and Piotr Rudol and Patrick Doherty}, title = {{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\"ur Anwendungen auf einem UAV]}}, year = {2014}, journal = {Photogrammetrie - Fernerkundung - Geoinformation}, number = {4}, pages = {287--298}, publisher = {E. Schweizerbart'sche Verlagsbuchhandlung}, issn = {1432-8364}, doi = {10.1127/1432-8364/2014/0223}, } @article{CaoNguSza:2014:723537, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL: a nonmonotonic rule language for the semantic web}}, year = {2014}, journal = {}, volume = {1}, number = {1}, pages = {57--69}, publisher = {Springer Berlin/Heidelberg}, doi = {10.1007/s40595-013-0009-y}, } @article{San:2014:683929, author = {Erik Sandewall}, title = {{Editorial Material: A perspective on the early history of artificial intelligence in Europe}}, year = {2014}, journal = {AI Communications}, volume = {27}, number = {1}, pages = {81--86}, publisher = {IOS Press}, issn = {0921-7126}, doi = {10.3233/AIC-130585}, } @article{TunNefCon:2014:664206, author = {Gurkan Tuna and Bilel Nefzi and Gianpaolo Conte}, title = {{Unmanned aerial vehicle-aided communications system for disaster recovery}}, year = {2014}, journal = {Journal of Network and Computer Applications}, volume = {41}, pages = {27--36}, publisher = {Elsevier}, issn = {1084-8045}, doi = {10.1016/j.jnca.2013.10.002}, } @article{DohSza:2013:662860, author = {Patrick Doherty and Andrzej Szalas}, title = {{Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination}}, year = {2013}, journal = {Fundamenta Informaticae}, volume = {127}, number = {1-4}, pages = {135--149}, publisher = {IOS Press}, issn = {0169-2968}, 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||}, } @article{Sza:2013:642893, author = {Andrzej Szalas}, title = {{How an agent might think}}, year = {2013}, journal = {Logic journal of the IGPL (Print)}, volume = {21}, number = {3}, pages = {515--535}, publisher = {Oxford University Press (OUP): Policy A - Oxford Open Option A}, issn = {1367-0751}, doi = {10.1093/jigpal/jzs051}, } @article{Ber:2013:613758, author = {Cyrille Berger}, title = {{Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR}}, year = {2013}, journal = {Journal of Automation, Mobile Robotics \& Intelligent Systems}, volume = {7}, number = {1}, pages = {35--41}, issn = {1897-8649}, } @article{DohHeiKva:2013:611599, author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}}, year = {2013}, journal = {Unmanned Systems}, volume = {1}, number = {1}, pages = {75--119}, publisher = {World Scientific}, issn = {2301-3850}, doi = {10.1142/S2301385013500052}, } @article{HeiKvaDoh:2013:610375, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Hierarchical Anchoring}}, year = {2013}, journal = {K\"unstliche Intelligenz}, volume = {27}, number = {2}, pages = {119--128}, publisher = {Springer}, issn = {0933-1875}, doi = {10.1007/s13218-013-0239-2}, } @article{AkiItoEtAl:2013:588777, author = {H. Levent Akin and Nobuhiro Ito and Adam Jacoff and Alexander Kleiner and Johannes Pellenz and Arnoud Visser}, title = {{RoboCup Rescue Robot and Simulation Leagues}}, year = {2013}, journal = {The AI Magazine}, volume = {34}, number = {1}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{HamGorEtAl:2013:546676, author = {Quirin Hamp and Omar Gorgis and Patrick Labenda and Marc Neumann and Thomas Predki and Leif Heckes and Alexander Kleiner and Leonard Reindl}, title = {{Study of efficiency of USAR operations with assistive technologies}}, year = {2013}, journal = {Advanced Robotics}, volume = {27}, number = {5}, pages = {337--350}, issn = {0169-1864}, 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||}, } @article{DorKle:2013:459933, author = {C. Dornhege and Alexander Kleiner}, title = {{A Frontier-Void-Based Approach for Autonomous Exploration in 3D}}, year = {2013}, journal = {Advanced Robotics}, volume = {27}, number = {6}, pages = {459--468}, publisher = {Taylor and Francis}, issn = {0169-1864}, doi = {10.1080/01691864.2013.763720}, note = {Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8|}, } @article{PerNybWar:2012:529459, author = {Anna Pernest{\aa}l and Mattias Nyberg and H{\aa}kan Warnquist}, title = {{Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system}}, year = {2012}, journal = {Engineering applications of artificial intelligence}, volume = {25}, number = {4}, pages = {705--719}, publisher = {Elsevier}, issn = {0952-1976}, doi = {10.1016/j.engappai.2011.02.018}, } @article{VidBerEtAl:2011:472016, author = {Teresa Vidal-Calleja and Cyrille Berger and Joan Sol\`a and Simon Lacroix}, title = {{Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain}}, year = {2011}, journal = {Robotics and Autonomous Systems}, volume = {59}, number = {9}, pages = {654--674}, publisher = {Elsevier}, issn = {0921-8890}, doi = {10.1016/j.robot.2011.05.008}, } @article{DunNguSza:2011:461548, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {1}, pages = {61--91}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/JANCL.21.61-91}, } @article{NguSza:2011:461546, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse}}, year = {2011}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {98}, number = {3}, pages = {387--428}, publisher = {Springer Berlin/Heidelberg}, issn = {0039-3215}, doi = {10.1007/s11225-011-9341-3}, } @article{MalSza:2011:461544, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {2}, pages = {211--232}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/JANCL.21.211-232}, } @article{BulCudEtAl:2011:453990, author = {Mark Buller and Paul Cuddihy and Ernest Davis and Patrick Doherty and Finale Doshi-Velez and Esra Erdem and Douglas Fisher and Nancy Green and Knut Hinkelmann and James McLurkin and Mary Lou Maher and Rajiv Maheswaran and Sara Rubinelli and Nathan Schurr and Donia Scott and Dylan Shell and Pedro Szekely and Barbara Thoenssen and Arnold B Urken}, title = {{Reports of the AAAI 2011 Spring Symposia}}, year = {2011}, journal = {The AI Magazine}, volume = {32}, number = {3}, pages = {119--127}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{San:2011:400660, author = {Erik Sandewall}, title = {{From systems to logic in the early development of nonmonotonic reasoning}}, year = {2011}, journal = {Artificial Intelligence}, volume = {175}, number = {1}, pages = {416--427}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2010.04.013}, } @article{San:2010:510493, author = {Erik Sandewall}, title = {{Exercising Moral Copyright for Evolving Publications}}, year = {2010}, journal = {ScieCom Info}, volume = {6}, number = {3}, publisher = {Svenskt Resurscentrum f\"or Vetenskaplig Kommunikation}, } @article{NguSza:2010:400673, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH}}, year = {2010}, journal = {Transactions on Computational Collective Intelligence}, volume = {1}, number = {1}, pages = {21--38}, publisher = {Springer}, isbn = {978-3-642-15033-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-15034-0\_2}, } @article{San:2010:379122, author = {Erik Sandewall}, title = {{Defeasible inheritance with doubt index and its axiomatic characterization}}, year = {2010}, journal = {Artificial Intelligence}, volume = {174}, number = {18}, pages = {1431--1459}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2010.09.001}, } @article{NguSza:2010:371275, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {102}, number = {1}, pages = {97--113}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-299}, } @article{BurDohEtAl:2010:354877, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Per-Magnus Olsson}, title = {{Optimal placement of UV-based communications relay nodes}}, year = {2010}, journal = {Journal of Global Optimization}, volume = {48}, number = {4}, pages = {511--531}, publisher = {Springer}, issn = {0925-5001}, 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/}, } @article{KryHeiEtAl:2010:354330, author = {Mattias Krysander and Fredrik Heintz and Jacob Roll and Erik Frisk}, title = {{FlexDx: A Reconfigurable Diagnosis Framework}}, year = {2010}, journal = {Engineering applications of artificial intelligence}, volume = {23}, number = {8}, pages = {1303--1313}, publisher = {Elsevier}, issn = {0952-1976}, doi = {10.1016/j.engappai.2010.01.004}, } @article{DunAnhSza:2010:345778, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Framework for Graded Beliefs, Goals and Intentions}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {100}, number = {1-4}, pages = {53--76}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-263}, } @article{DunNguSza:2010:337938, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Layered Rule-Based Architecture for Approximate Knowledge Fusion}}, year = {2010}, journal = {COMPUTER SCIENCE AND INFORMATION SYSTEMS}, volume = {7}, number = {3}, pages = {617--642}, publisher = {COMSIS CONSORTIUM}, issn = {1820-0214}, doi = {10.2298/CSIS100209015D}, } @article{BurDohEtAl:2010:337902, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}}, year = {2010}, journal = {The international journal of robotics research}, volume = {29}, number = {8}, pages = {1069--1087}, publisher = {Sage Publications}, issn = {0278-3649}, doi = {10.1177/0278364910369463}, } @article{DunAnhSza:2010:308420, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic}}, year = {2010}, journal = {International Journal of Approximate Reasoning}, volume = {51}, number = {3}, pages = {346--362}, publisher = {Elsevier}, issn = {0888-613X}, doi = {10.1016/j.ijar.2009.11.002}, } @article{Eli:2010:302287, author = {Karolina Eliasson}, title = {{A case-based approach to dialogue systems}}, year = {2010}, journal = {Journal of experimental and theoretical artificial intelligence (Print)}, volume = {22}, number = {1}, pages = {23--51}, publisher = {Taylor \& Francis}, issn = {0952-813X}, doi = {10.1080/09528130902723708}, } @article{HeiKvaDoh:2010:300370, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}}, year = {2010}, journal = {Advanced Engineering Informatics}, volume = {24}, number = {1}, pages = {14--26}, publisher = {Elsevier}, issn = {1474-0346}, doi = {10.1016/j.aei.2009.08.007}, } @article{GabSza:2009:400675, author = {Dov Gabbay and Andrzej Szalas}, title = {{Annotation Theories over Finite Graphs}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {93}, number = {2-3}, pages = {147--180}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9220-3}, } @article{VitMalSza:2009:286646, author = {Aida Vitoria and Jan Maluszynski and Andrzej Szalas}, title = {{Modelling and Reasoning with Paraconsistent Rough Sets}}, year = {2009}, journal = {Fundamenta Informaticae}, volume = {97}, number = {4}, pages = {405--438}, issn = {0169-2968}, doi = {10.3233/FI-2009-209}, } @article{DohKvaHei:2009:249047, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz}, title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}}, year = {2009}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {19}, number = {3}, pages = {332--377}, publisher = {Springer}, issn = {1387-2532}, doi = {10.1007/s10458-009-9079-8}, } @article{SzaGab:2009:242260, author = {Andrzej Szalas and Dov Gabbay}, title = {{Voting by Eliminating Quantifiers}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {92}, number = {3}, pages = {365--379}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9200-7}, } @article{ConDoh:2009:234039, author = {Gianpaolo Conte and Patrick Doherty}, title = {{Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information}}, year = {2009}, journal = {EURASIP Journal on Advances in Signal Processing}, volume = {2009}, number = {387308}, pages = {1--18}, publisher = {Hindawi Publishing Corporation}, issn = {1687-6172}, doi = {10.1155/2009/387308}, } @article{San:2008:267485, author = {Erik Johan Sandewall}, title = {{Extending the concept of publication: Factbases and knowledgebases}}, year = {2008}, journal = {Learned Publishing}, volume = {21}, number = {2}, pages = {123--131}, publisher = {Association of Learned and Professional Society Publishers}, issn = {0953-1513}, doi = {10.1087/095315108X288893}, } @article{Sza:2008:265495, author = {Andrzej Szalas}, title = {{Towards Incorporating Background Theories into Quantifier Elimination}}, year = {2008}, journal = {Journal of applied non-classical logics}, volume = {18}, number = {2-3}, pages = {325--340}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.18.325-340}, } @article{LunAndEtAl:2008:18198, author = {Anders Lund and Peter Andersson and J. Eriksson and J. Hallin and T. Johansson and R. Jonsson and H. L\"ofgren and C. Paulin and A. Tell}, title = {{Automatic fitting procedures for EPR spectra of disordered systems: matrix diagonalization and perturbation methods applied to fluorocarbon radicals}}, year = {2008}, journal = {Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy}, volume = {69}, number = {5}, pages = {1294--1300}, publisher = {Elsevier}, issn = {1386-1425}, 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/}, } @article{LemBerEtAl:2007:472027, author = {Thomas Lemaire and Cyrille Berger and Il-Kyun Jung and Simon Lacroix}, title = {{Vision-Based SLAM: Stereo and Monocular Approaches}}, year = {2007}, journal = {International Journal of Computer Vision}, volume = {74}, number = {3}, pages = {343--364}, publisher = {Kluwer Academic Publishers}, issn = {0920-5691}, doi = {10.1007/s11263-007-0042-3}, } @article{DohLukSza:2007:270913, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Communication between agents with heterogeneous perceptual capabilities}}, year = {2007}, journal = {Information Fusion}, volume = {8}, number = {1}, pages = {56--69}, publisher = {Elsevier}, issn = {1566-2535}, doi = {10.1016/j.inffus.2005.05.006}, } @article{GabSza:2007:269262, author = {D.M. Gabbay and Andrzej Szalas}, title = {{Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals}}, year = {2007}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {87}, number = {1}, pages = {37--50}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-007-9075-4}, } @article{DohSza:2007:268924, author = {Patrick Doherty and Andrzej Szalas}, title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}}, year = {2007}, journal = {Fundamenta Informaticae}, volume = {75}, number = {1-4}, pages = {179--193}, publisher = {IOS Press}, issn = {0169-2968}, } @article{San:2006:393542, author = {Erik Sandewall}, title = {{Systems - Opening up the process}}, year = {2006}, journal = {Nature}, publisher = {Nature Publishing Group}, issn = {0028-0836}, doi = {10.1038/nature04994}, } @article{Has:2006:268998, author = {Patrik Haslum}, title = {{Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition}}, year = {2006}, journal = {The journal of artificial intelligence research}, volume = {25}, pages = {233--267}, publisher = {AAAI Press}, issn = {1076-9757}, doi = {10.1613/jair.1885}, } @article{NorDohEtAl:2006:268968, author = {Klas Nordberg and Patrick Doherty and Per-Erik Forss\'en and Johan Wiklund and Per Andersson}, title = {{A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle}}, year = {2006}, journal = {International Journal of Pattern Recognition and Artificial Intelligence}, volume = {20}, number = {5}, pages = {763--780}, issn = {0218-0014}, doi = {10.1142/S0218001406004867}, } @article{PetDoh:2006:268952, author = {Per Olof Pettersson and Patrick Doherty}, title = {{Probabilistic roadmap based path planning for an autonomous unmanned helicopter}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {395--405}, publisher = {IOS Press}, issn = {1064-1246}, } @article{HeiDoh:2006:268950, author = {Fredrik Heintz and Patrick Doherty}, title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {335--351}, publisher = {IOS Press}, issn = {1064-1246}, } @article{Sza:2006:257649, author = {Andrzej Szalas}, title = {{Second-order Reasoning in Description Logics}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {3 - 4}, pages = {517--530}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.517-530}, } @article{DohMagSza:2006:252615, author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas}, title = {{Approximate Databases: A support tool for approximate reasoning}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {1-2}, pages = {87--118}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.87-117}, note = {Special issue on implementation of logics}, } @article{McG:2005:253018, author = {Kevin McGee}, title = {{Enactive Cognitive Science: Part 1, Background and Research Themes}}, year = {2005}, journal = {Constructivist Foundations}, volume = {1}, number = {1}, pages = {19--34}, issn = {1782-348X}, } @article{HeiDoh:2004:269150, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow: An approach to middleware for knowledge processing}}, year = {2004}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {15}, number = {1}, pages = {3--13}, publisher = {IOS Press}, issn = {1064-1246}, } @article{GusKva:2004:267185, author = {Joakim Gustafsson and Jonas Kvarnstr\"om}, title = {{Elaboration tolerance through object-orientation}}, year = {2004}, journal = {Artificial Intelligence}, volume = {153}, number = {1-2}, pages = {239--285}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2003.08.004}, } @article{KadDri:2004:266578, author = {Bourhane Kadmiry and D. Driankov}, title = {{A fuzzy gain-scheduler for the attitude control of an unmanned helicopter}}, year = {2004}, journal = {IEEE transactions on fuzzy systems}, volume = {12}, number = {4}, pages = {502--515}, publisher = {IEEE Computer Society}, issn = {1063-6706}, doi = {10.1109/TFUZZ.2004.832539}, } @article{KadDri:2004:243401, author = {Bourhane Kadmiry and Dimiter Driankov}, title = {{A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control}}, year = {2004}, journal = {Fuzzy sets and systems (Print)}, volume = {146}, number = {3}, pages = {313--347}, publisher = {Elsevier}, issn = {0165-0114}, doi = {10.1016/j.fss.2003.07.002}, } @article{VisDoh:2004:243373, author = {Ubbo Visser and Patrick Doherty}, title = {{Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating}}, year = {2004}, journal = {The AI Magazine}, volume = {25}, number = {2}, pages = {137--138}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{KvaMag:2003:269327, author = {Jonas Kvarnstr\"om and Martin Magnusson}, title = {{TALplanner in the Third International Planning Competition: Extensions and control rules}}, year = {2003}, journal = {The journal of artificial intelligence research}, volume = {20}, pages = {343--377}, publisher = {AAAI Press}, issn = {1076-9757}, doi = {10.1613/jair.1189}, } @article{DohSkoEtAl:2003:269316, author = {Patrick Doherty and Andrew Skowron and Witold Lukaszewicz and Andrzej Szalas}, title = {{Preface}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {i--iii}, publisher = {IOS Press}, issn = {0169-2968}, } @article{MadLuk:2003:269312, author = {E Madalinska-Bugaj and Witold Lukaszewicz}, title = {{Formalizing defeasible logic in CAKE}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-3}, pages = {193--213}, publisher = {IOS Press}, issn = {0169-2968}, } @article{DohGraEtAl:2003:269311, author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas}, title = {{Towards a framework for approximate ontologies}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {147--165}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Dohal:2003:243374, author = {Patrick Doherty and et al}, title = {{2003 AAAI Spring Symposium Series}}, year = {2003}, journal = {The AI Magazine}, volume = {24}, number = {3}, pages = {131--140}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{San:2001:510494, author = {Erik Sandewall}, title = {{On the Design of Software Individuals}}, year = {2001}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {5}, publisher = {Link\"opings Universitet}, issn = {1403-3534}, } @article{DohKva:2001:269228, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALPLANNER - A temporal logic-based planner}}, year = {2001}, journal = {The AI Magazine}, volume = {22}, number = {3}, pages = {95--102}, publisher = {AAAI Press}, issn = {0738-4602}, } @article{FraEllEtAl:2000:510496, author = {Mark S Frankel and Roger Elliott and Martin Blume and Jean-Manuel Bourgois and Bernt Hugenholtz and Mats G. Lindquist and Sally Morris and Erik Sandewall}, title = {{Defining and Certifying Electronic Publication in Science}}, year = {2000}, journal = {Learned Publishing}, volume = {13}, number = {4}, pages = {251--258}, publisher = {Association of Learned and Professional Society Publishers}, issn = {0953-1513}, } @article{JonHasBck:2000:268620, author = {Peter Jonsson and Patrik Haslum and Christer B\"ackstr\"om}, title = {{Towards efficient universal planning: A randomized approach}}, year = {2000}, journal = {Artificial Intelligence}, volume = {117}, number = {1}, pages = {1--29}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/S0004-3702(99)00103-4}, } @article{DohKva:2000:262479, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: A temporal logic based forward chaining planner}}, year = {2000}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {30}, number = {1-4}, pages = {119--169}, publisher = {Springer}, issn = {1012-2443}, doi = {10.1023/A:1016619613658}, } @article{DohLukMad:2000:262478, author = {Patrick Doherty and Witold Lukaszewicz and E. Madalin´ska-Bugaj}, title = {{The PMA and relativizing minimal change for action update}}, year = {2000}, journal = {Fundamenta Informaticae}, volume = {44}, number = {1-2}, pages = {95--131}, publisher = {IOS Press}, issn = {0169-2968}, } @article{KvaDoh:2000:262473, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {2000}, journal = {Computational intelligence}, volume = {16}, number = {2}, pages = {169--209}, publisher = {Blackwell Publishing}, issn = {0824-7935}, doi = {10.1111/0824-7935.00111}, } @article{KarGus:1999:354756, author = {Lars Karlsson and Joakim Gustafsson}, title = {{Reasoning about Concurrent Interaction}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {623--650}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.623}, } @article{DraBjr:1999:270828, author = {Thomas Drakengren and Marcus Bj\"areland}, title = {{Reasoning about action in polynomial time}}, year = {1999}, journal = {Artificial Intelligence}, volume = {115}, number = {1}, pages = {1--24}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/S0004-3702(99)00065-X}, } @article{DohKacSza:1999:262472, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Meta-queries on deductive databases}}, year = {1999}, journal = {Fundamenta Informaticae}, volume = {40}, number = {1}, pages = {17--30}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1999-40102}, } @article{DohLukSza:1999:262470, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative PTIME queries for relational databases using quantifier elimination}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {737--758}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.737}, } @article{DohGusEtAl:1998:262481, author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om}, title = {{(TAL) temporal action logics: Language specification and tutorial}}, year = {1998}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {2}, number = {3-4}, pages = {273--306}, issn = {1403-3534}, } @article{DohLukSza:1998:262471, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its effective reductions}}, year = {1998}, journal = {Fundamenta Informaticae}, volume = {36}, number = {1}, pages = {23--55}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1998-3612}, } @article{FriFriEtAl:1997:741179, author = {Dag Fritzson and Peter Fritzson and Patrik Nordling and Tommy Persson}, title = {{Rolling Bearing Simulation on MIMD Computers}}, year = {1997}, journal = {The international journal of high performance computing applications}, volume = {11}, number = {4}, pages = {299--313}, publisher = {Sage Publications}, issn = {1094-3420}, doi = {10.1177/109434209701100404}, } @article{DohLukSza:1997:262477, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1997}, journal = {Journal of automated reasoning}, volume = {18}, number = {3}, pages = {297--336}, publisher = {Kluwer Academic Publishers}, issn = {0168-7433}, doi = {10.1023/A:1005722130532}, } @article{Sza:1996:499794, author = {Andrzej Szalas}, title = {{On Natural Deduction in First-Order Fixpoint Logics}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {26}, number = {1}, pages = {81--94}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-2616}, } @article{DohLukSza:1996:262475, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A reduction result for circumscribed semi-horn formulas}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {28}, number = {3,4}, pages = {261--272}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-283404}, } @article{Sza:1994:499789, author = {Andrzej Szalas}, title = {{On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic}}, year = {1994}, journal = {Journal of Applied Non-Classical Logics}, volume = {4}, number = {2}, pages = {119--127}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, } @article{Sza:1993:499797, author = {Andrzej Szalas}, title = {{On the Correspondence between Modal and Classical Logic: An Automated Approach}}, year = {1993}, journal = {Journal of logic and computation (Print)}, volume = {3}, number = {6}, pages = {605--620}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/3.6.605}, } @article{DohDriHel:1993:262467, author = {Patrick Doherty and Dimiter Driankov and Hans Hellendoorn}, title = {{Fuzzy if-then-unless rules and their implementation}}, year = {1993}, journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems}, volume = {1}, number = {2}, pages = {167--182}, publisher = {World Scientific}, issn = {0218-4885}, doi = {10.1142/S0218488593000097}, } @article{Sza:1992:499795, author = {Andrzej Szalas}, title = {{Axiomatizing Fixpoint Logics}}, year = {1992}, journal = {Information Processing Letters}, volume = {41}, number = {4}, pages = {175--180}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(92)90175-U}, } @article{DohLuk:1992:262466, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{NML-3 - A non-monotonic logic with explicit defaults}}, year = {1992}, journal = {Journal of applied non-classical logics}, volume = {2}, number = {1}, pages = {9--48}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, } @article{Sza:1991:499807, author = {Andrzej Szalas}, title = {{On Strictly Arithmetical Completeness in Logics of Programs}}, year = {1991}, journal = {Theoretical Computer Science}, volume = {79}, number = {2}, pages = {341--355}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(91)90336-Z}, } @article{PetSza:1989:499723, author = {Uwe Petermann and Andrzej Szalas}, title = {{On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts}}, year = {1989}, journal = {Fundamenta Informaticae}, volume = {12}, number = {2}, pages = {191--204}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1988:499818, author = {Andrzej Szalas}, title = {{Towards the Temporal Approach to Abstract Data Types}}, year = {1988}, journal = {Fundamenta Informaticae}, volume = {11}, number = {1}, pages = {49--64}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1988:499799, author = {Andrzej Szalas}, title = {{An Incompleteness Result in Process Algebra}}, year = {1988}, journal = {Information Processing Letters}, volume = {29}, number = {2}, pages = {67--70}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90030-0}, } @article{HolSza:1988:499750, author = {Leszek Holenderski and Andrzej Szalas}, title = {{Propositional Description of Finite Cause-Effect Structures}}, year = {1988}, journal = {Information Processing Letters}, volume = {27}, number = {3}, pages = {111--117}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90064-6}, } @article{SzaHol:1988:499746, author = {Andrzej Szalas and Leszek Holenderski}, title = {{Incompleteness of First-Order Temporal Logic with Until}}, year = {1988}, journal = {Theoretical Computer Science}, volume = {57}, number = {2-3}, pages = {317--325}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(88)90045-X}, } @article{Sza:1987:499822, author = {Andrzej Szalas}, title = {{A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time}}, year = {1987}, journal = {Theoretical Computer Science}, volume = {54}, number = {2-3}, pages = {199--214}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(87)90129-0}, } @article{Sza:1987:499817, author = {Andrzej Szalas}, title = {{Arithmetical Axiomatization of First-Order Temporal Logic}}, year = {1987}, journal = {Information Processing Letters}, volume = {26}, number = {3}, pages = {111--116}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(87)90047-0}, } @article{Sza:1986:499709, author = {Andrzej Szalas}, title = {{Concerning the Semantic Consequence Relation in First-Order Temporal Logic}}, year = {1986}, journal = {Theoretical Computer Science}, volume = {47}, number = {3}, pages = {329--334}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(86)90157-X}, } @article{PetSza:1985:499721, author = {Uwe Petermann and Andrzej Szalas}, title = {{A Note on PCI: Distributed Processes Communicating by Interrupts}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {3}, pages = {37--46}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382284.382390}, } @article{SzaSzc:1985:499714, author = {Andrzej Szalas and Danuta Szczepaska}, title = {{Exception Handling in Parallel Computations}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {10}, pages = {95--104}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382286.382385}, } @article{Sza:1984:499704, author = {Andrzej Szalas}, title = {{On an Application of Algorithmic Theory of Stacks}}, year = {1984}, journal = {Fundamenta Informaticae}, volume = {7}, number = {3}, pages = {378--388}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1981:499698, author = {Andrzej Szalas}, title = {{Algorithmic Logic with Recursive Functions}}, year = {1981}, journal = {Fundamenta Informaticae}, volume = {4}, number = {4}, pages = {975--995}, publisher = {IOS Press}, issn = {0169-2968}, }