Other Publications
| Show abstracts (where available) BibTeX entries | ||
| 2006 | ||
| [9] |
.
2006. Algebraic and Relational Deductive Tools. Conference Proceedings.
In series: Journal of Applied Non-Classical Logics #??. Éditions Hermès-Lavoisier. Note: Special Issue |
|
| 2003 | ||
| [8] |
.
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
|
| 2001 | ||
| [7] |
.
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... |
|
| 1996 | ||
| [6] |
.
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... |
|
| [5] |  |
.
1996. Declarative ptime queries to relational databases. Technical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
| [4] | |
.
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 | ||
| [3] |
.
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... |
|
| [2] | |
.
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 | ||
| [1] | |
.
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. |
