Other Publications
| Show abstracts (where available) BibTeX entries | ||
| 2014 | ||
| [28] |  |
.
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. |
| [27] | |
.
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 | ||
| [26] |
.
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. |
|
| 2009 | ||
| [25] |
.
2009. Optimal placement of communications relay nodes. Technical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
|
| 2007 | ||
| [24] |
.
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
|
| 2006 | ||
| [23] |
.
2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings.
AAAI Press. ISBN: 978-1-57735-281-5. |
|
| 2003 | ||
| [22] |
.
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
|
| 1998 | ||
| [21] |
.
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 |
|
| [20] | |
.
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 |
| [19] | |
.
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 | ||
| [18] |
.
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 |
|
| [17] |
.
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 |
|
| 1996 | ||
| [16] | |
.
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. |
| [15] | |
.
1996. Declarative ptime queries to relational databases. Technical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
| [14] | |
.
1996. Preferential action semantics, preliminary report. Technical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
| [13] | |
.
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 | ||
| [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 |
|
