Other Publications
| Show abstracts (where available) BibTeX entries | ||
| 2012 | ||
| [22] |
.
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 | ||
| [21] |
.
2009. Optimal placement of communications relay nodes. Techical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
|
| 2007 | ||
| [20] |
.
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
|
| 2006 | ||
| [19] |
.
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 | ||
| [18] |
.
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
|
| [17] |
.
2003. 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR). |
|
| 1998 | ||
| [16] |  |
.
1998. Delayed effects of actions = direct effects + causal rules. Techical 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/ |
| 1996 | ||
| [15] | |
.
1996. PMON+: A fluent logic for action and change - formal specification, version 1.0. Techical Report.
In series: LITH-IDA-R #33. Department of Computer and Information Science, Linköping University. |
| [14] | |
.
1996. Declarative ptime queries to relational databases. Techical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
| [13] | |
.
1996. Preferential action semantics, preliminary report. Techical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
| [12] | |
.
1996. General domain circumscription and its first-order reduction. Techical Report.
In series: LITH-IDA-R #1. Department of Computer and Information Science, Linköping University. |
| 1995 | ||
| [11] | |
.
1995. A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae. Techical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
| 1994 | ||
| [10] | |
.
1994. Computing circumscription revisited: A reduction algorithm. Techical Report.
In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Linköping University. |
| [9] |
.
1994. Notes on PMON circumscription. Techical Report.
In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University. |
|
| 1992 | ||
| [8] |
.
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. Techical Report.
In series: LITH-IDA-R #20. Department of Computer and Information Science, Linköping University. |
|
| [7] |
.
1992. Fuzzy if-then-unless rules and their implementation. Techical Report.
In series: LITH-IDA-R #21. Department of Computer and Information Science, Linköping University. |
|
| [6] |
.
1992. Partiality, para-consistency and preference modeling: Preliminary version. Techical Report.
In series: LITH-IDA-R #18. Department of Computer and Information Systems, Linköping University. |
|
| [5] |
.
1992. A constraint-based approach to proof procedures for multi-valued logics. Techical Report.
In series: LITH-IDA-R #2. Department of Computer and Information Science, Linköping university, Linköping, Sweden. |
|
| 1991 | ||
| [4] |
.
1991. NML3 - A non-monotonic logic with explicit defaults. Techical Report.
In series: Användarrapport #13. Department of Computer and Information Science, Linköping University. |
|
| 1990 | ||
| [3] |
.
1990. NM3 - A three-valued non-monotonic formalism. Preliminary report. Techical Report.
In series: LITH-IDA-R #44. Department of Computer and Information Science, Linköping University. |
|
| [2] |
.
1990. A correspondence between inheritance hierarchies and a logic of preferential entailment. Techical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
|
| 1985 | ||
| [1] |
.
1985. A rule interpreter for an emycin-like expert system tool. Techical Report.
In series: Aslab Memo #85-05. Linköpings tekniska högskola. |
|
