AIICS Publications: Other Publications
Show abstracts (where available) BibTeX entries | ||
2024 | ||
[67] |
2024. Towards evidence-based practice 2.0: leveraging artificial intelligence in healthcare. Frontiers in Health Services, 4(??):??–??. FRONTIERS MEDIA SA. DOI: 10.3389/frhs.2024.1368030. fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
[66] |
2024. In search of artificial intelligence (AI) literacy in teacher education: A scoping review. COMPUTERS AND EDUCATION OPEN, 6(??):??–??. ELSEVIER. DOI: 10.1016/j.caeo.2024.100169. Fulltext: https://doi.org/10.1016/j.caeo.2024.1001... fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
|
2023 | ||
[65] |
2023. DSeg: Direct Line Segments Detection. |
.
|
2021 | ||
[64] |
2021. Digital kompetens i Svenskfinland: nulägesanalys och goda modeller. Technical Report.
Svenska kulturfonden. 138 pages. Report: https://www.kulturfonden.fi/wp-content/u... |
.
|
2020 | ||
[63] |
2020. Exploiting parallelization and synergy in derivative free optimization. Technical Report.
In series: LiTH-MAT-R #2020:4. Linköping University Electronic Press. 18 pages. |
.
|
2018 | ||
[62] |
2018. Proceedings of the 14th SweCog Conference: Linköping 2018, 11-12 October. Conference Proceedings.
In series: Skövde University Studies in Informatics #2018:1. University of Skövde. 30 pages. ISBN: 9789198366730. |
.
|
2014 | ||
[61] | ![]() |
2014. Optimal Scheduling for Replacing Perimeter Guarding Unmanned Aerial Vehicles. Technical Report.
In series: LiTH-MAT-R #2014:09. Linköping University Electronic Press. 16 pages. |
.
[60] | ![]() |
2014. Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance. Technical Report.
In series: LiTH-MAT-R #2014:10. Linköping University Electronic Press. 25 pages. |
.
2012 | ||
[59] |
2012. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Conference Proceedings.
In series: Frontiers in Artificial Intelligence and Applications #242. IOS Press. 1056 pages. ISBN: 978-1-61499-097-0. |
.
|
[58] |
2012. Multi-Agenten-Systeme in der Intralogistik - Erster Teil: Gemeinsam denken. IEE - Elektrische Automatisierung + Antriebstechnik, -(4):48–53. Hüthig Verlag. Link to journal: http://www.iee-online.de/2012/ |
.
|
[57] |
2012. Multi-Agenten-Systeme in der Intralogistik - Zweiter Teil: Effizient transportieren. IEE - Elektrische Automatisierung + Antriebstechnik, -(5):34–37. Hüthig Verlag. Link to journal: http://www.iee-online.de/2012/ |
.
|
[56] | ![]() |
2012. Maintaining Live Discussion in Two-Stage Open Peer Review. Frontiers in Computational Neuroscience, 6(9):??–??. Frontiers Research Foundation. DOI: 10.3389/fncom.2012.00009. Note: funding agencies|Knut and Alice Wallenberg Foundation|| fulltext:print: https://liu.diva-portal.org/smash/get/di... |
.
2011 | ||
[55] |
2011. Elevent Scandinavian Conference on Artifical Intelligence SCAI 2011. Conference Proceedings.
In series: Frontiers in Artificial Intelligence and Applications #227. IOS Press. 197 pages. ISBN: 978-1-60750-753-6. |
.
|
2009 | ||
[54] |
2009. Modeling and Efficient Inference for Troubleshooting Automotive Systems. Technical Report.
In series: LiTH-ISY-R #2921. Linköpings universitet. |
.
|
[53] |
2009. Optimal placement of communications relay nodes. Technical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
.
|
[52] |
2009. Proceedings of the Swedish AI Society Workshop 2009. Conference Proceedings.
In series: Linköping Electronic Conference Proceedings #35. Linköping University Electronic Press, Linköpings universitet. 65 pages. Link to Book: http://www.ep.liu.se/ecp/035/ |
.
|
2008 | ||
[51] | ![]() |
2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. Technical Report.
In series: LiTH-ISY-R #2836. Linköping University Electronic Press. 10 pages. |
.
[50] | ![]() |
2008. A Review of the Handbook of Knowledge Representation. |
.
[49] |
2008. A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles. Technical Report.
In series: Report / Department of Mathematics, Universitetet i Linköping, Tekniska högskolan #2008:7. Linköping University Electronic Press. 30 pages. |
.
|
2007 | ||
[48] |
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
.
|
2006 | ||
[47] |
2006. Algebraic and Relational Deductive Tools. Conference Proceedings.
In series: Journal of Applied Non-Classical Logics #??. Éditions Hermès-Lavoisier. Note: Special Issue |
.
|
[46] |
2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings.
AAAI Press. ISBN: 978-1-57735-281-5. |
.
|
2005 | ||
[45] |
2005. Leonardo, an Approach towards the Consolidation of Computer Software System. Note: Research Article, CAISOR Archival Website, Number 2005-016 |
.
|
2003 | ||
[44] |
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
.
|
[43] | ![]() |
2003. Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet. Technical Report.
In series: CUL-rapporter #2003:5. Linköping University Electronic Press. 56 pages. |
.
2001 | ||
[42] |
2001. On the Design of Software Individuals. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.6:22. Linköping University Electronic Press. 15 (original publication), 16 (revised version) pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/gxc34zhpdm10g06... |
.
|
[41] |
2001. Relational Methods for Computer Science Applications. In series: Studies in Fuziness and Soft Computing #??. Springer Physica Verlag. 297 pages. ISBN: 3790813656, 9783790813654. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=37-9081... |
.
|
2000 | ||
[40] |
2000. M. Shanahan, Solving the Frame Problem. |
.
|
1999 | ||
[39] |
1999. A helicopter control system. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:15. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963693 |
.
|
[38] |
1999. A helicopter model. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:14. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963712 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109249 |
.
|
[37] |
1999. An aircraft model. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:13. Linköping University Electronic Press. 35 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2963701 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109237 |
.
|
[36] |
1999. Anchoring symbolic object descriptions to sensor data. Problem statement. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:9. Linköping University Electronic Press. 11 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962252 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109190 |
.
|
[35] | ![]() |
1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.4:8. Linköping University Electronic Press. 12 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2962239 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3109181 |
.
[34] | ![]() |
1999. ENSYM-Project Oriented Studies of spring 98 - team 1. Technical Report.
In series: LiTH-ISY-R #2094. Linköping University Electronic Press. 14 pages. |
.
[33] | ![]() |
1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Technical Report.
Linköping University, Department of Electrical Engineering. |
.
1998 | ||
[32] |
1998. Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:17. Linköping University Electronic Press. Original 21, Revised 21 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/jzb0c3l2g7f05sf... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3030557 |
.
|
[31] |
1998. TAL: Temporal Action Logics Language <> Specification and Tutorial. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:15. Linköping University Electronic Press. Original 32 and 1st Revised 32 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2770094 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010158 |
.
|
[30] | ![]() |
1998. Delayed Effects of Actions = Direct Effects + Causal Rules. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.3:1. Linköping University Electronic Press. 9 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477675 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010273 |
.
[29] | ![]() |
1998. Delayed effects of actions = direct effects + causal rules. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #98-001. Linköping University Electronic Press. Link: http://www.ep.liu.se/ea/cis/1998/001/ |
.
1997 | ||
[28] |
1997. PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:20. Linköping University Electronic Press. 47 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477127 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3010283 |
.
|
[27] |
1997. Logic-Based Modelling of Goal-Directed Behavior. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:19. Linköping University Electronic Press. 21, 1st and 2nd Revised 19 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477110 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011582 |
.
|
[26] |
1997. Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:16. Linköping University Electronic Press. 14 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2477087 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011611 |
.
|
[25] |
1997. Reasoning about actions in a multi-agent environment. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol.2:14. Linköping University Electronic Press. 22 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2357998 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3011635 |
.
|
[24] |
1997. A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 2:1. Linköping University Electronic Press. 10 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274682 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/3036040 |
.
|
[23] | ![]() |
1997. A Neo-Classical Structure for Scientific Publication and Reviewing. Technical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol, 2. Linköping University Electronic Press. 28 pages. |
.
1996 | ||
[22] |
1996. Towards the validation of high-level action descriptions from their low-level definitions. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:4. Linköping University Electronic Press. 18 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274702 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293635 |
.
|
[21] |
1996. Assessments of Ramification Methods that Use Static Domain Constraints. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #Vol. 1:3. Linköping University Electronic Press. 19 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2274697 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293595 |
.
|
[20] |
1996. Underlying Semantics for Action and Change with Ramification. Technical Report.
In series: Linköping Electronic Articles in Computer and Information Science #2. Linköping University Electronic Press. 28 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/9q3rfb1t7p64m0p... Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293578 |
.
|
[19] |
1996. Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS). Conference Proceedings.
In series: Lecture Notes in Computer Science #1113. Springer Verlag. ISBN: 978-3-540-61550-7. Link: http://www.springer.com/computer/foundat... |
.
|
[18] |
1996. Strategies and policies of Linköping University Electronic Press. Technical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol. 1. Linköping University Electronic Press. 15 pages. Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/22430103 Find book at a swedish library/Hitta boken i ett svenskt bibliotek: https://libris.kb.se/bib/2293652 |
.
|
[17] | ![]() |
1996. PMON+: A fluent logic for action and change - formal specification, version 1.0. Technical Report.
In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University. |
.
[16] | ![]() |
1996. Declarative ptime queries to relational databases. Technical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
.
[15] | ![]() |
1996. Preferential action semantics, preliminary report. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
.
[14] | ![]() |
1996. General domain circumscription and its first-order reduction. Technical Report.
In series: LITH-IDA-R #1. Department of Computer and Information Science, Linköping University. |
.
1995 | ||
[13] |
1995. Time and Logic: A Computational Approach. CRC Press. 325 pages. ISBN: 1-85728-233-7, 978-18-5728-233-7. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q= ... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q= 978-18... |
.
|
[12] | ![]() |
1995. A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae. Technical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
.
1994 | ||
[11] | ![]() |
1994. Computing circumscription revisited: A reduction algorithm. Technical Report.
In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Linköping University. |
.
[10] |
1994. Notes on PMON circumscription. Technical Report.
In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University. |
.
|
1992 | ||
[9] |
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. Technical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
.
|
[8] |
1992. Fuzzy if-then-unless rules and their implementation. Technical Report.
In series: LITH-IDA-R #21. Department of Computer and Information Science, Linköping University. |
.
|
[7] |
1992. Partiality, para-consistency and preference modeling: Preliminary version. Technical Report.
In series: LITH-IDA-R #18. Department of Computer and Information Systems, Linköping University. |
.
|
[6] |
1992. A constraint-based approach to proof procedures for multi-valued logics. Technical Report.
In series: LITH-IDA-R #2. Department of Computer and Information Science, Linköping university, Linköping, Sweden. |
.
|
1991 | ||
[5] |
1991. NML3 - A non-monotonic logic with explicit defaults. Technical Report.
In series: Användarrapport #13. Department of Computer and Information Science, Linköping University. |
.
|
1990 | ||
[4] |
1990. NM3 - A three-valued non-monotonic formalism. Preliminary report. Technical Report.
In series: LITH-IDA-R #44. Department of Computer and Information Science, Linköping University. |
.
|
[3] |
1990. A correspondence between inheritance hierarchies and a logic of preferential entailment. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
.
|
1985 | ||
[2] |
1985. A rule interpreter for an emycin-like expert system tool. Technical Report.
In series: Aslab Memo #85-05. Linköpings tekniska högskola. |
.
|
0 | ||
[1] |
0. Polygon Area Decomposition Using a Compactness Metric. Manuscript (preprint).
Note: Funding Agencies|ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic ResearchSwedish Foundation for Strategic Research [RIT 15-0097]; Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation. arXiv: https://arxiv.org/abs/2110.04043 |
.
Page responsible: Patrick Doherty
Last updated: 2014-04-30