All Publications
| Show abstracts (where available) BibTeX entries | ||
| 2013 | ||
| [499] |  |
.
2013. Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR. Journal of Automation, Mobile Robotics & Intelligent Systems, 1(??):??–??. |
| [498] |
.
2013. High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation. Unmanned Systems, ??(??):??–??. World Scientific. Publication status: Accepted |
|
| [497] |
.
2013. Stream-Based Hierarchical Anchoring. Künstliche Intelligenz, ??(??):??–??. Springer. Publication status: Accepted |
|
| [496] |
.
2013. Exploiting Fully Observable and Deterministic Structures in Goal POMDP. In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS). Note: Accepted for publication. |
|
| [495] |
.
2013. Incremental Dynamic Controllability Revisited. In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS). Note: Accepted for publication. |
|
| [494] |
.
2013. Multi-UAV Trajectory Planning for Guaranteed Search. In Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013). Note: Accepted for publication |
|
| [493] |
.
2013. RMASBench: Benchmarking Dynamic Multi-Agent Coordination in Urban Search and Rescue. In Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013). Note: Accepted for publication |
|
| [492] |
.
2013. RoboCup Rescue Robot and Simulation Leagues. The AI Magazine, ??(??):??–??. Publication status: Accepted Note: Accepted for publication |
|
| [491] |
.
2013. Guaranteed Search With Large Teams of Unmanned Aerial Vehicles. In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA). Note: Accepted for publication |
|
| [490] |
.
2013. A Frontier-Void-Based Approach for Autonomous Exploration in 3D. Advanced Robotics, ??(??):??–??. Taylor and Francis. Publication status: Accepted Note: Accepted for publication |
|
| [489] |
.
2013. Logic-Based Roughification. In A. Skowron and Z. Suraj, editors, Rough Sets and Intelligent Systems - Professor ZdzisÅ‚aw Pawlak in Memoriam (vol. I), pages 517–543. In series: Intelligent Systems Reference Library #42. Springer Berlin/Heidelberg. ISBN: 978-3-642-30343-2. DOI: 10.1007/978-3-642-30344-9_19. |
|
| [488] |
.
2013. Distributed Paraconsistent Belief Fusion. In Giancarlo Fortino , Costin Badica , Michele Malgeri and Rainer Unland, editors, Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012, pages 59–69. In series: Studies in Computational Intelligence #446. Springer Berlin/Heidelberg. ISBN: 978-3-642-32523-6. DOI: 10.1007/978-3-642-32524-3_9. |
|
| [487] | |
.
2013. Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain. |
| 2012 | ||
| [486] |
.
2012. On the Logic of Delegation - Relating Theory and Practice. In Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli, editors, The Goals of Cognition: Essays in honour of Cristiano Castelfranchi, pages 467–496. College Publications. ISBN: 978-1848900943. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-184... |
|
| [485] |
.
2012. A Distributed Task Specification Language for Mixed-Initiative Delegation. In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 42–57. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, e-978-3-642-25920-3. DOI: 10.1007/978-3-642-25920-3_4. |
|
| [484] |
.
2012. Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study. In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 288–303. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, e-978-3-642-25920-3. DOI: 10.1007/978-3-642-25920-3_20. |
|
| [483] |
.
2012. Model-Based Hazard Analysis of Undesirable Environmental and Components Interaction. |
|
| [482] | |
.
2012. Weak Constraints Network Optimiser. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pages 1270–1277. IEEE. DOI: 10.1109/ICRA.2012.6225060. |
| [481] |
.
2012. Towards CSP-based mission dispatching in C2/C4I systems. In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). Note: Accepted for publication |
|
| [480] |
.
2012. The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments. In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). Note: Accepted for publication |
|
| [479] |
.
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. |
|
| [478] | |
.
2012. Towards Autonomous Landing of a Quadrotorusing Monocular SLAM Techniques. Student Thesis.
102 pages. ISRN: LIU-IDA/LITH-EX-A--12/026--SE. |
| [477] | |
.
2012. Toward rich geometric map for SLAM: Online Detection of Planes in 2D LIDAR. In Proceedings of the International Workshop on Perception for Mobile Robots Autonomy (PEMRA). |
| [476] |
.
2012. Concept Learning for Description Logic-based Information Systems. In KSE 2012 - International Conference on Knowledge and Systems Engineering, pages 65–73. IEEE Computer Society. DOI: 10.1109/KSE.2012.23. |
|
| [475] |
.
2012. A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics. In SoICT 2012 - 3rd International Symposium on Information and Communication Technology, pages 241–249. ACM Press. DOI: 10.1145/2350716.2350753. |
|
| [474] | |
.
2012. Pedagogical Experiences of Competitive Elements in an Algorithms Course. In Proceedings of LTHs 7:e Pedagogiska Inspirationskonferens (PIK). |
| [473] |
.
2012. Study of eciency of USAR operations with assistive technologies. Advanced Robotics, ??(??):??–??. Publication status: Accepted |
|
| [472] |
.
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/ |
|
| [471] |
.
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/ |
|
| [470] |
.
2012. Delegation-Based Collaboration. In Proceedings of the 5th International Conference on Cognitive Systems (CogSys). |
|
| [469] |
.
2012. Epistemic Profiles and Belief Structures. In Gordan Jezic , Mario Kusek , Ngoc-Thanh Nguyen , Robert J. Howlett and Lakhmi C. Jain, editors, Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings, pages 360–369. In series: Lecture Notes in Computer Science #7327. Springer Berlin/Heidelberg. ISBN: 978-3-642-30946-5, e- 978-3-642-30947-2. DOI: 10.1007/978-3-642-30947-2_40. |
|
| [468] |
.
2012. Paraconsistent Reasoning for Semantic Web Agents. In Ngoc Thanh Nguyen, editor, Transactions on Compuational Collective Intelligence VI, pages 36–55. In series: Lecture Notes in Computer Science #7190. Springer Berlin/Heidelberg. ISBN: 978-3-642-29355-9, e-978-3-642-29356-6. DOI: 10.1007/978-3-642-29356-6_2. |
|
| [467] | |
.
2012. Stream Processing in the Robot Operating System framework. Student Thesis.
79 pages. ISRN: LIU-IDA/LITH-EX-A--12/030--SE. |
| [466] | |
.
2012. Design Space Exploration of the Quality of Service for Stream Reasoning Applications. Student Thesis.
35 pages. ISRN: LIU-IDA/LITH-EX-A--12/027--SE. |
| [465] | |
.
2012. Semantic Information Integration for Stream Reasoning. In Proceedings of the 15th International Conference on Information Fusion (FUSION). Linköping University Electronic Press. |
| [464] |
.
2012. Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system. Engineering applications of artificial intelligence, 25(4):705–719. Elsevier. DOI: 10.1016/j.engappai.2011.02.018. |
|
| [463] |
.
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|| |
|
| [462] | |
.
2012. Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8. Student Thesis.
74 pages. ISRN: LIU-IDA/LITH-EX-A--12/008--SE. |
| [461] |
.
2012. Agents in Approximate Environments. In Jan Ejick and Rineke Verbrugge, editors, Games, Actions and Social Software: Multidisciplinary Aspects, pages 141–163. In series: Lecture Notes in Computer Science #7010. Springer. ISBN: 978-3-642-29325-2 (print), 978-3-642-29326-9 (online). DOI: 10.1007/978-3-642-29326-9_8. |
|
| [460] | |
.
2012. Temporal Composite Actions with Constraints. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488. AAAI Press. ISBN: 978-1-57735-560-1, 978-1-57735-561-8. Link: http://www.aaai.org/ocs/index.php/KR/KR1... |
| 2011 | ||
| [459] |
.
2011. A Visual Navigation System for UAS Based on Geo-referenced Imagery. In International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol. XXXVIII-1/C22Proceedings of the International Conference on Unmanned Aerial Vehicle in Geomatics, Zurich, Switzerland, September 14-16, 2011. |
|
| [458] | |
.
2011. Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS), pages 138–145. AAAI Press. ISBN: 978-1-57735-503-8, 978-1-57735-504-5. |
| [457] | |
.
2011. Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain. |
| [456] | |
.
2011. A Delegation-Based Collaborative Robotic Framework. In Christian Guttmann, editor, Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development. |
| [455] |
.
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. |
|
| [454] | |
.
2011. A Delegation-Based Architecture for Collaborative Robotics. In Danny Weyns and Marie-Pierre Gleizes, editors, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers, pages 205–247. In series: Lecture Notes in Computer Science #6788. Springer Berlin/Heidelberg. ISBN: 978-3-642-22635-9. DOI: 10.1007/978-3-642-22636-6_13. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-3-6... |
| [453] | |
.
2011. A Delegation-Based Cooperative Robotic Framework. In Proceedings of the IEEE International Conference on Robotics and Biomimetic. IEEE conference proceedings. |
| [452] |
.
2011. Living with Inconsistency and Taming Nonmonotonicity. In O. de Moor, G. Gottlob, T. Furche, A. Sellers, editors, Datalog Reloaded, pages 334–398. In series: Lecture Notes in Computer Science #6702. Springer Berlin/Heidelberg. ISBN: 978-3-642-24205-2. DOI: 10.1007/978-3-642-24206-9_22. |
|
| [451] |
.
2011. WORL: A Web Ontology Rule Language. In Proceedings of the 3rd International Conference on Knowledge and Systems Engineering (KSE), pages 32–39. IEEE. ISBN: 978-1-4577-1848-9. DOI: 10.1109/KSE.2011.14. |
|
| [450] |
.
2011. Tractable model checking for fragments of higher-order coalition logic. In Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum, editors, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, pages 743–750. AAAI Press. ISBN: 0-9826571-6-1, 978-0-9826571-6-4. Link: http://dl.acm.org/citation.cfm?id=203172... |
|
| [449] |
.
2011. On the Web Ontology Rule Language OWL 2 RL. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen and Kiem Hoang, editors, Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications (ICCCI), pages 254–264. In series: Lecture Notes in Computer Science #6922. Springer Berlin/Heidelberg. ISBN: 978-3-642-23934-2. DOI: 10.1007/978-3-642-23935-9_25. |
|
| [448] | |
.
2011. Contextual Coalitional Games. In Mohua Banerjee, Anil Seth, editors, Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA), pages 65–78. In series: Lecture Notes in Artificial Intelligence #6521. Springer Berlin/Heidelberg. DOI: 10.1007/978-3-642-18026-2_7. |
| [447] |
.
2011. Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics. |
|
| [446] |
.
2011. ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica: An International Journal for Symbolic Logic, 98(3):387–428. Springer Berlin/Heidelberg. DOI: 10.1007/s11225-011-9341-3. |
|
| [445] |
.
2011. Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. |
|
| [444] | |
.
2011. Mapping for the Support of First Responders in Critical Domains. |
| [443] | |
.
2011. Large Scale Graph-based SLAM using Aerial Images as Prior Information. |
| [442] | |
.
2011. A Mechanism for Dynamic Ride Sharing based on Parallel Auctions. In 22th International Joint Conference on Artificial Intelligence (IJCAI), pages 266–272. |
| [441] | |
.
2011. Lessons Learned from German Research for USAR. In IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). Note: Winner of the Young Author’s Award |
| [440] | |
.
2011. A Frontier-Void-Based Approach for Autonomous Exploration in 3D. In IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). Note: To appear |
| [439] | |
.
2011. Computing and Executing Strategies for Moving Target Search. In IEEE Int. Conf. on Robotics and Automation (ICRA), pages 4246–4253. IEEE. DOI: 10.1109/ICRA.2011.5980277. |
| [438] | |
.
2011. Using artificial landmarks to reduce the ambiguity in the environment of a mobile robot. In IEEE Int. Conf. on Robotics and Automation (ICRA), pages 5173–5178. DOI: 10.1109/ICRA.2011.5980111. |
| [437] | |
.
2011. ARMO -Â Adaptive Road Map Optimization for Large Robot Teams. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 3276–3282. IEEE conference proceedings. DOI: 10.1109/IROS.2011.6048339. |
| [436] | |
.
2011. Semantic Matching for Stream Reasoning. Student Thesis.
110 pages. ISRN: LIU-IDA/LITH-EX-A--11/041--SE. |
| [435] |
.
2011. Reports of the AAAI 2011 Spring Symposia. The AI Magazine, 32(3):119–127. AAAI Press. |
|
| [434] | |
.
2011. Increasing Autonomy of Unmanned Aircraft Systems Through the Use of Imaging Sensors. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1510. Linköping University Electronic Press. 96 pages. ISBN: 978-91-7393-034-5. |
| [433] | |
.
2011. Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1509. Linköping University Electronic Press. 107 pages. ISBN: 978-91-7393-037-6. |
| [432] | |
.
2011. Complex Task Allocation for Delegation: From Theory to Practice. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1506. Linköping University Electronic Press. 139 pages. ISBN: 978-91-7393-048-2. |
| [431] | |
.
2011. Semantic Analysis Of Multi Meaning Words Using Machine Learning And Knowledge Representation. Student Thesis.
74 pages. ISRN: LiU/IDA-EX-A- -11/011- -SE. |
| [430] | |
.
2011. Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1490. Linköping University Electronic Press. 169 pages. ISBN: 978-91-7393-151-9. |
| [429] | |
.
2011. Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1476. Linköping University Electronic Press. 140 pages. ISBN: 978-91-7393-200-4. |
| [428] |
.
2011. From systems to logic in the early development of nonmonotonic reasoning. |
|
| 2010 | ||
| [427] |
.
2010. Exercising Moral Copyright for Evolving Publications. ScieCom Info, 6(3):??–??. Svenskt Resurscentrum för Vetenskaplig Kommunikation. Link: http://www.sciecom.org/ojs/index.php/sci... |
|
| [426] |
.
2010. Graded Beliefs, Goals and Intentions. In Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS), pages 1–15. AAAI Press. |
|
| [425] | |
.
2010. DSeg: Détection directe de segments dans une image. In 17ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA). |
| [424] |
.
2010. RoboCupRescue - Virtual Robots Team STEEL (USA). In RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Simulation League. |
|
| [423] |
.
2010. RoboCupRescue 2010 - Robot League Team RescueRobots Freiburg (Germany). In RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Robot League. |
|
| [422] | |
.
2010. Online Learning Terrain Classification for Adaptive Velocity Control. In In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages 1–7. DOI: 10.1109/SSRR.2010.5981563. |
| [421] | |
.
2010. Evaluation of Maps using Fixed Shapes: The Fiducial Map Metric. In Proc. of the Int. Workshop on Performance Metrics for Intelligent Systems (PerMIS), pages 344–351. NIST. |
| [420] | |
.
2010. Solving Pursuit-Evasion Problems on Height Maps. In IEEE International Conference on Robotics and Automation (ICRA 2010) Workshop: Search and Pursuit/Evasion in the Physical World: Efficiency, Scalability, and Guarantees. IEEE. |
| [419] | |
.
2010. Improved GPS Sensor Model for Mobile Robots in Urban Terrain. In IEEE Int. Conf. on Robotics and Automation (ICRA), pages 4385–4390. IEEE. ISBN: 978-1-4244-5038-1. DOI: 10.1109/ROBOT.2010.5509895. |
| [418] | |
.
2010. Pursuit-Evasion in 2.5d based on Team-Visibility. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 4610–4616. IEEE. ISBN: 978-1-4244-6674-0. DOI: 10.1109/IROS.2010.5649270. |
| [417] | |
.
2010. Decentralized Hash Tables For Mobile Robot Teams Solving Intra-Logistics Tasks. In 9th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010), pages 923–930. International Foundation for Autonomous Agents and. |
| [416] |
.
2010. Three-Valued Paraconsistent Reasoning for Semantic Web Agents. In Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems – Technologies and Applications (KES-AMSTA), pages 152–162. In series: Lecture Notes in Artificial Intelligence #6070. Springer. ISBN: 978-3-642-13479-1. DOI: 10.1007/978-3-642-13480-7_17. |
|
| [415] |
.
2010. Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. Transactions on Computational Collective Intelligence, ??(1):21–38. Springer. ISBN: 978-3-642-15033-3. DOI: 10.1007/978-3-642-15034-0_2. |
|
| [414] |
.
2010. Defeasible inheritance with doubt index and its axiomatic characterization. |
|
| [413] |
.
2010. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. |
|
| [412] | |
.
2010. Research with Collaborative Unmanned Aircraft Systems. In Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik. |
| [411] | |
.
2010. Optimal placement of UV-based communications relay nodes. Journal of Global Optimization, 48(4):511–531. Springer. 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/ |
| [410] |
.
2010. Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems. In Proceedings of the 2010 IEEEÂ International Conference on Robotics and Automation (ICRA), pages 1913–1920. In series: Proceedings - IEEE International Conference on Robotics and Automation #2010. IEEE conference proceedings. ISBN: 978-1-4244-5038-1. DOI: 10.1109/ROBOT.2010.5509203. |
|
| [409] | |
.
2010. Choosing Path Replanning Strategies for Unmanned Aircraft Systems. In Ronen Brafman, Héctor Geffner, Jörg Hoffmann, Henry Kautz, editors, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS), pages 193–200. AAAI Press. ISBN: 978-1-57735-449-9. |
| [408] | |
.
2010. Stream-Based Reasoning in DyKnow. In Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri, editors, Proceedings of the Dagstuhl Workshop on Cognitive Robotics. In series: Dagstuhl Seminar Proceedings #10081. Leibniz-Zentrum für Informatik. |
| [407] | |
.
2010. Stream-Based Middleware Support for Embedded Reasoning. In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER). |
| [406] | |
.
2010. FlexDx: A reconfigurable diagnosis framework. Engineering applications of artificial intelligence, 23(8):1303–1313. Elsevier. DOI: 10.1016/j.engappai.2010.01.004. Note: Original Publication: Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk, FlexDx: A reconfigurable diagnosis framework, 2010, Engineering applications of artificial intelligence, (23), 8, 1303-1313. http://dx.doi.org/10.1016/j.engappai.2010.01.004 Copyright: Elsevier Science B.V., Amsterdam. http://www.elsevier.com/ |
| [405] | |
.
2010. Stream-Based Reasoning Support for Autonomous Systems. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8. DOI: 10.3233/978-1-60750-606-5-183. |
| [404] | |
.
2010. Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1063–1069. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707967. |
| [403] | |
.
2010. Automated Planning for Collaborative UAV Systems. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV), pages 1078–1085. IEEE conference proceedings. ISBN: 978-1-4244-7813-2, 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707969. IEEE Explore: http://ieeexplore.ieee.org/xpls/abs_all.... |
| [402] | |
.
2010. Generating UAV Communication Networks for Monitoring and Surveillance. In Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), pages 1070–1077. IEEE conference proceedings. ISBN: 978-1-4244-7814-9. DOI: 10.1109/ICARCV.2010.5707968. |
| [401] | |
.
2010. Iterative Bounding LAO*. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI), pages 341–346. In series: Frontiers in Artificial Intelligence and Applications #215. IOS Press. ISBN: 978-1-60750-605-8, 978-1-60750-606-5. DOI: 10.3233/978-1-60750-606-5-341. |
| [400] | |
.
2010. Planning for Loosely Coupled Agents using Partial Order Forward-Chaining. In Roland Bol, editor, Proceedings of the National Swedish Artificial Intelligence Workshop (SAIS). In series: Linköping Electronic Conference Proceedings #48. Linköping University Electronic Press, Linköpings universitet. |
| [399] |
.
2010. On the Correctness of Rough-Set Based Approximate Reasoning. In M. Szczuka, M. Kryszkiewicz, S. Ramanna, R. Jensen, Q. Hu, editors, Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 327–336. In series: Lecture Notes in Computer Science #6086. Springer. ISBN: 978-3-642-13528-6. DOI: 10.1007/978-3-642-13529-3_35. |
|
| [398] |
.
2010. A Framework for Graded Beliefs, Goals and Intentions. |
|
| [397] |
.
2010. A Layered Rule-Based Architecture for Approximate Knowledge Fusion. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 7(3):617–642. COMSIS CONSORTIUM. DOI: 10.2298/CSIS100209015D. |
|
| [396] | |
.
2010. Relay Positioning for Unmanned Aerial Vehicle Surveillance. The international journal of robotics research, 29(8):1069–1087. Sage Publications. DOI: 10.1177/0278364910369463. |
| [395] |
.
2010. Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. International Journal of Approximate Reasoning, 51(3):346–362. Elsevier. DOI: 10.1016/j.ijar.2009.11.002. |
|
| [394] |
.
2010. A case-based approach to dialogue systems. Journal of experimental and theoretical artificial intelligence (Print), 22(1):23–51. Taylor & Francis. DOI: 10.1080/09528130902723708. |
|
| [393] | |
.
2010. Evaluation of Hierarchical Temporal Memory in algorithmic trading. Student Thesis.
32 pages. ISRN: LIU-IDA/LITH-EX-G--10/005--SE. |
| [392] | |
.
2010. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. |
| [391] |
.
2010. Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks. In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7. |
|
| 2009 | ||
| [390] |
.
2009. Fusing Approximate Knowledge from Distributed Sources. In Proceedings of the 3rd International Symposium on Intelligent Distributed Computing (IDC), pages 75–86. In series: Studies in Computational Intelligence #237. Springer Berlin/Heidelberg. ISBN: 978-3-642-03213-4, 978-3-642-26930-1. DOI: 10.1007/978-3-642-03214-1_8. |
|
| [389] |
.
2009. Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*. In Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS&P), pages 431–442. |
|
| [388] |
.
2009. An Optimal Tableau Decision Procedure for Converse-PDL. In Proceedings of the 1st International Conference on Knowlegde and Systems Engineering (KSE), pages 207–214. IEEE Computer Society. ISBN: 978-1-4244-5086-2. DOI: 10.1109/KSE.2009.12. |
|
| [387] | |
.
2009. Perception de la géométrie de l'environment pour la navigation autonome. PhD Thesis.
Université de Toulouse. 164 pages. |
| [386] |
.
2009. Environment Modeling for Cooperative Aerial/Ground Robotic Systems. In Proceedings of the 14th International Symposium on Robotics Research (ISRR), pages 681–696. In series: Springer Tracts in Advanced Robotics #70. Springer. ISBN: 978-3-642-19456-6. DOI: 10.1007/978-3-642-19457-3_40. |
|
| [385] | |
.
2009. Event-driven loop closure in multi-robot mapping. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 1535–1540. IEEE conference proceedings. ISBN: 978-1-4244-3803-7. DOI: 10.1109/IROS.2009.5354335. |
| [384] | |
.
2009. RoboCupRescue Interleague Challenge 2009: Bridging the gap between Simulation and Reality. In In Proc. of the Int. Workshop on Performance Metrics for Intelligent Systems (PerMIS), pages 123–129. |
| [383] |
.
2009. Multi-Robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue. In Robocup 2008: Robot Soccer World Cup XII, pages 318–330. |
|
| [382] |
.
2009. Mapping and Exploration for Search and Rescue with Humans and Mobile Robots. Techical Report.
University of Freiburg. 227 pages. Note: This is a Ph.D. thesis originally defended at University of Freiburg. Link to Thesis: http://www.google.se/url?sa=t&rct=j&q=ma... |
|
| [381] | |
.
2009. A Comparison of SLAM Algorithms Based on a Graph of Relations. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 2089–2095. IEEE conference proceedings. DOI: 10.1109/IROS.2009.5354691. |
| [380] | |
.
2009. Operator-Assistive Mapping in Harsh Environments. In IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages 1–6. IEEE. ISBN: 978-1-4244-5627-7. DOI: 10.1109/SSRR.2009.5424159. Note: (Best Paper Award Finalist) |
| [379] | |
.
2009. Large Scale Graph-based SLAM using Aerial Images as Prior Information. In Proceedings of Robotics Science and Systems (RSS). MIT Press. |
| [378] | |
.
2009. On Measuring the Accuracy of SLAM Algorithms. |
| [377] |
.
2009. Annotation Theories over Finite Graphs. Studia Logica: An International Journal for Symbolic Logic, 93(2-3):147–180. Springer. DOI: 10.1007/s11225-009-9220-3. |
|
| [376] | |
.
2009. Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System. In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS). |
| [375] |
.
2009. Modelling and Reasoning with Paraconsistent Rough Sets. |
|
| [374] |
.
2009. Modeling and Efficient Inference for Troubleshooting Automotive Systems. Techical Report.
In series: LiTH-ISY-R #2921. Linköpings universitet. |
|
| [373] | |
.
2009. Planning as Heuristic Search for Incremental Fault Diagnosis and Repair. In Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 19th International Conference on Automated Planning and Scheduling (ICAPS). |
| [372] | |
.
2009. Anytime Near-Optimal Troubleshooting Applied to a Auxiliary Truck Braking System. In Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pages 1306–1311. |
| [371] |
.
2009. Optimal placement of communications relay nodes. Techical Report.
In series: LiTH-MAT-R #2009:3. Linköpings universitet. 21 pages. |
|
| [370] | |
.
2009. Temporal Action Logics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5. DOI: 10.1016/S1574-6526(07)03018-0. |
| [369] | |
.
2009. Logical Agents that Plan, Execute, and Monitor Communication. In Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2). |
| [368] | |
.
2009. Planning Speech Acts in a Logic of Action and Change. In Proceedings of the 25th Workshop of the Swedish Artificial Intelligence Society (SAIS 2009). In series: Linköping Electronic Conference Proceedings #??. LiU E-Press. |
| [367] | |
.
2009. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. |
| [366] | |
.
2009. Stream Reasoning in DyKnow: A Knowledge Processing Middleware System. In Proceedings of the Stream Reasoning Workshop. In series: CEUR Workshop Proceedings #466. M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen. |
| [365] | |
.
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/ |
| [364] |
.
2009. Paraconsistent Reasoning with Words. In Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday, pages 43–58. In series: Lecture Notes in Computer Science #5070. Springer. ISBN: 978-3-642-04734-3. DOI: 10.1007/978-3-642-04735-0_2. |
|
| [363] |
.
2009. Voting by Eliminating Quantifiers. Studia Logica: An International Journal for Symbolic Logic, 92(3):365–379. Springer. DOI: 10.1007/s11225-009-9200-7. |
|
| [362] |
.
2009. EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC. In Ngoc Thanh; Kowalczyk, Ryszard; Chen, Shyi-Ming, editors, Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems (ICCCI), pages 437–448. In series: Lecture Notes in Artificial Intelligence #5796. Springer. ISBN: 978-3-642-04440-3. DOI: 10.1007/978-3-642-04441-0_38. |
|
| [361] | |
.
2009. Abductive Reasoning with Filtered Circumscription. In Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC). UTSePress. ISBN: 978-0-9802840-7-2. |
| [360] | |
.
2009. A Stream-Based Hierarchical Anchoring Framework. In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS). IEEE conference proceedings. ISBN: 978-1-4244-3803-7. DOI: 10.1109/IROS.2009.5354372. IEEE Xplore: http://ieeexplore.ieee.org/stamp/stamp.j... |
| [359] |
.
2009. Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007. In Proceedings of the 1st International Conference on Computer Supported Education (CSEDU), pages 5–12. ISBN: 978-989-8111-82-1. |
|
| [358] |
.
2009. A tableau calculus for regular grammar logics with converse. In Proceedings of the 22nd International Conference on Automated Deduction (CADE), pages 421–436. In series: Lecture Notes in Artificial Intelligence #5663. Springer. ISBN: 978-364202958-5. DOI: 10.1007/978-3-642-02959-2_31. |
|
| [357] | |
.
2009. Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP Journal on Advances in Signal Processing, 2009(387308):1–18. Hindawi Publishing Corporation. DOI: 10.1155/2009/387308. |
| [356] | |
.
2009. Vision-Based Localization and Guidance for Unmanned Aerial Vehicles. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1260. Linköping University Electronic Press. 174 pages. ISBN: 978-91-7393-603-3. |
| [355] | |
.
2009. Evaluating the use of DyKnow in multi-UAV traffic monitoring applications. Student Thesis.
75 pages. ISRN: LIU-IDA/LITH-EX-A--09/019--SE. |
| [354] | |
.
2009. DyKnow: A Stream-Based Knowledge Processing Middleware Framework. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1240. Linköping University Electronic Press. 258 pages. ISBN: 978–91–7393–696–5. |
| 2008 | ||
| [353] |
.
2008. Use of Geo-referenced Images with Unmanned Aerial Systems. In Workshop Proceedings of SIMPAR 2008, International Conference on Simulation, Modeling and Programming for Autonomous Robots. Venice(Italy) 2008 November,3-4., pages 444–454. ISBN: 978-88-95872-01-8. |
|
| [352] | |
.
2008. Modélisation de l'environnement par facettes planes pour la Cartographie et la Localisation Simultanées par stéréovision. In Reconnaissance des Formes et Intelligence Artificielle (RFIA). |
| [351] | |
.
2008. Using planar facets for stereovision SLAM. In Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems (IROS), pages 1606–1611. IEEE conference proceedings. ISBN: 978-1-4244-2057-5. DOI: 10.1109/IROS.2008.4650986. |
| [350] |
.
2008. SP-Freiburg TechX Challenge Technical Paper. In TechX Challenge. Note: Finalist |
|
| [349] | |
.
2008. Towards Automated Online Diagnosis of Robot Navigation Software. In Proc. of Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR), pages 159–170. In series: Lecture Notes in Computer Science #5325. Springer. DOI: 10.1007/978-3-540-89076-8_18. |
| [348] | |
.
2008. Automated Learning of Communication Models for Robot Control Software. In MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI). |
| [347] |
.
2008. Route Planning for Relay UAV. In Proceedings of the 26th International Congress of the Aeronautical Sciences (ICAS). Optimage Ltd.. ISBN: ISBN 0-9533991-9-2. |
|
| [346] |
.
2008. Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI), pages 821–822. IOS Press. ISBN: 978-1-58603-891-5. DOI: 10.3233/978-1-58603-891-5-821. |
|
| [345] | |
.
2008. Towards Automatic Model Generation by Optimization. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), pages 114–123. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-58603-867-0, 978-1-60750-335-4. DOI: 10.3233/978-1-58603-867-0-114. Link to article: http://www.booksonline.iospress.nl/Conte... |
| [344] | |
.
2008. A Heuristic for Near-Optimal Troubleshooting Using AO*. In Proceedings of the International Workshop on the Principles of Diagnosis. |
| [343] | |
.
2008. Troubleshooting when Action Costs are Dependent with Application to a Truck Engine. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), pages 68–75. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-60750-335-4, 978-1-58603-867-0. DOI: 10.3233/978-1-58603-867-0-68. |
| [342] |
.
2008. Extending the concept of publication: Factbases and knowledgebases. Learned Publishing, 21(2):123–131. Association of Learned and Professional Society Publishers. DOI: 10.1087/095315108X288893. |
|
| [341] |
.
2008. An Integrated UAV Navigation System Based on Aerial Image Matching. In IEEE Aerospace Conference 2008,2008. |
|
| [340] | |
.
2008. High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms. In Proceedings of the AIAA Guidance, Navigation, and Control Conference (GNC). AIAA. ISBN: 978-1-56347-945-8. |
| [339] |
.
2008. Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery. In Proceedings of the IEEE Aerospace Conference, pages 1–8. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1487-1. DOI: 10.1109/Aero.2008.4526559. |
|
| [338] |
.
2008. Towards Incorporating Background Theories into Quantifier Elimination. Journal of applied non-classical logics, 18(2-3):325–340. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.18.325Â-340. |
|
| [337] |
.
2008. Artificial Intelligence Needs Open-Access Knowledgebase Contents. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), pages 1602–1605. AAAI Press. ISBN: 978-1-57735-368-3, 978-1-57735-367-6. Note: Senior Members track |
|
| [336] |
.
2008. Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription. In Gerhard Brewka, Jérôme Lang, editors, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 560–570. AAAI Press. ISBN: 978-1-57735-384-3. |
|
| [335] |
.
2008. Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Book.
In series: Studies in Logics #12. College Publications. 308 pages. ISBN: 978-1-904987-56-7. |
|
| [334] |
.
2008. The Leordo Computation System. In From Semantics to Computer Science: Essays in Honour of Gilles Kahn, pages 309–336. Cambridge University Press. ISBN: 9780521518253. DOI: 10.1017/CBO9780511770524.015. |
|
| [333] |
.
2008. Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions. In Dengel, A.; Berns, K.; Breuel, Th.; Bomarius, F.; Roth-Berghofer, Th.R., editors, Proceedings of the 31st German Conference on Advances in Artificial Intelligence (KI), pages 348–355. In series: Lecture Notes in Computer Science #5243. Springer. ISBN: 978-3-540-85844-7. DOI: 10.1007/978-3-540-85845-4_43. |
|
| [332] |
.
2008. A Review of the Handbook of Knowledge Representation. |
|
| [331] | |
.
2008. DyKnow Federations: Distributing and Merging Information Among UAVs. In Proceedings of the 11th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-3-8007-3092-6. |
| [330] | |
.
2008. Temporal Action Logic for Question Answering in an Adventure Game. In Artificial General Intelligence 2008. The First AGI Conference,2008, pages 236–247. IOS Press. ISBN: 9781586038335. |
| [329] | |
.
2008. Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI), pages 933–934. IOS Press. ISBN: 978-1-58603-891-5. DOI: 10.3233/978-1-58603-891-5-933. |
| [328] | |
.
2008. Deductive Planning with Inductive Loops. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 528–534. AAAI Press. ISBN: 978-1-57735-384-3. |
| [327] | |
.
2008. Logical Agents for Language and Action. In 4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008. AAAI Press. ISBN: 978-1-57735-391-1. |
| [326] | |
.
2008. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In Martin Hulse and Manfred Hild, editors, IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms. Note: No proceedings, but CD |
| [325] | |
.
2008. A Temporal Logic-Based Planning and Execution Monitoring System. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. ISBN: 978-1-57735-386-7, 978-1-57735-387-4. |
| [324] | |
.
2008. The Observer Algorithm For Visibility Approximation. In Proceedings of the 10th Scandinavian Conference on Artificial Intelligence (SCAI), pages 3–11. In series: Frontiers in Artificial Intelligence and Applications #173. IOS Press. ISBN: 978-1-58603-867-0, 978-1-60750-335-4. DOI: 10.3233/978-1-58603-867-0-3. |
| [323] |
.
2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. In Proceedings of the 2008 IEEE Aerospace Conference, pages 1–10. ISBN: 978-1-4244-1487-1, 978-1-4244-1488-8. DOI: 10.1109/AERO.2008.4526442. Related report: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
|
| [322] | |
.
2008. Dynamic Test Selection for Reconfigurable Diagnosis. In Proceedings of the 47th IEEE Conference on Decision and Control, pages 1066–1072. ISBN: 978-1-4244-3124-3, 978-1-4244-3123-6. DOI: 10.1109/CDC.2008.4738793. |
| [321] | |
.
2008. Four-valued Extension of Rough Sets. In Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology (RSKT), pages 106–114. In series: Lecture Notes in Computer Science #5009. Springer. ISBN: 978-3-540-79720-3. DOI: 10.1007/978-3-540-79721-0_19. |
| [320] | |
.
2008. Paraconsistent Logic Programs with Four-valued Rough Sets. In Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing (RSCTC). In series: Lecture Notes in Computer Science #5306. Springer. ISBN: 978-3-540-88423-1. DOI: 10.1007/978-3-540-88425-5_5. |
| [319] |
.
2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. In Proceedings of Reglermöte 2008, pages 313–322. Related report: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
|
| [318] | |
.
2008. FlexDx: A Reconfigurable Diagnosis Framework. In Proceedings of the 19th International Workshop on Principles of Diagnosis (DX). |
| [317] |
.
2008. Practical Pathfinding in Dynamic Environments. In AI Game Programming Wisdom 4. Charles River. ISBN: 978-1584505235. |
|
| [316] |
.
2008. Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration. In Proceedings of the IEEE Aerospace Conference. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1487-1. DOI: 10.1109/AERO.2008.4526558. |
|
| [315] | |
.
2008. Knowledge Processing Middleware. In S. Carpin, I. Noda, E. Pagello, M. Reggiani and O. von Stryk, editors, Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), pages 147–158. In series: Lecture Notes in Artificial Intelligence #5325. Springer. ISBN: 978-3-540-89075-1. DOI: 10.1007/978-3-540-89076-8_17. |
| [314] |
.
2008. A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles. Techical Report.
In series: Report / Department of Mathematics, Universitetet i Linköping, Tekniska högskolan #2008:7. Linköping University Electronic Press. 30 pages. |
|
| [313] | |
.
2008. Dynamic Abstraction for Interleaved Task Planning and Execution. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1363. Institutionen för datavetenskap. 94 pages. ISBN: 978-91-7393-905-8. Note: Report code: LiU-Tek-Lic-2008:21. |
| [312] | |
.
2008. A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1204. Linköping University Electronic Press. 178 pages. ISBN: 978-91-7393-823-5. |
| 2007 | ||
| [311] | |
.
2007. In-flight Identification of the Augmented Flight Dynamics of the Rmax Unmanned Helicopter. In 17th IFAC Symposium on Automatic Control in Aerospace. International Federation of Automatic Control. DOI: 10.3182/20070625-5-FR-2916.00038. |
| [310] |
.
2007. Towards Approximate BGI Systems. In Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pages 277–287. In series: Lecture Notes in Artificial Intelligence #4696. Springer Berlin/Heidelberg. ISBN: 9783540752530. DOI: 10.1007/978-3-540-75254-7_28. |
|
| [309] | |
.
2007. Vision-Based SLAM: Stereo and Monocular Approaches. |
| [308] |
.
2007. Fully Autonomous Planning and Obstacle Negotiation on Rough Terrain Using Behavior Maps. In In Video Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS). |
|
| [307] |
.
2007. Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation. In MobileResponse, pages 106–115. |
|
| [306] | |
.
2007. Towards Heterogeneous Robot Teams for Disaster Mitigation: Results and Performance Metrics from Robocup Rescue. |
| [305] | |
.
2007. Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios. |
| [304] | |
.
2007. Behavior Maps for Online Planning of Obstacle Negotiation and Climbing on Rough Terrain. In In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 3005–3011. IEEE conference proceedings. ISBN: 978-1-4244-0912-9. DOI: 10.1109/IROS.2007.4399107. |
| [303] | |
.
2007. Mapping Disaster Areas Jointly: RFID-Coordinated SLAM by Humans and Robots. In IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR), pages 1–6. IEEE. ISBN: 978-1-4244-1569-4. DOI: 10.1109/SSRR.2007.4381263. |
| [302] | |
.
2007. Genetic MRF Model Optimization for Real-Time Victim Detection in Search and Rescue. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 3025–3030. IEEE conference proceedings. ISBN: 978-1-4244-0912-9. DOI: 10.1109/IROS.2007.4399006. |
| [301] | |
.
2007. Decentralized SLAM for Pedestrians without direct Communication. In In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 1461–1466. IEEE conference proceedings. ISBN: 978-1-4244-0912-9. DOI: 10.1109/IROS.2007.4399013. |
| [300] | |
.
2007. Cooperative Exploration for USAR Robots with Indirect Communication. In Proc. of 6th IFAC Symposium on Intelligent Autonomous Vehicles (IAV). |
| [299] | |
.
2007. RFID-Based Exploration for Large Robot Teams. In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA), pages 4606–4613. IEEE. DOI: 10.1109/ROBOT.2007.364189. |
| [298] | |
.
2007. Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. |
| [297] |
.
2007. Dynamic Planning Problem Generation in a UAV Domain. In 6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 | Part# 1, pages 258–263. In series: IFAC Proceedings series #??. Elsevier. ISBN: 978-3-902661-65-4. DOI: 10.3182/20070903-3-FR-2921.00045. |
|
| [296] | |
.
2007. Communication between agents with heterogeneous perceptual capabilities. |
| [295] | |
.
2007. Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals. Studia Logica: An International Journal for Symbolic Logic, 87(1):37–50. Springer. DOI: 10.1007/s11225-007-9075-4. |
| [294] | |
.
2007. A correspondence framework between three-valued logics and similarity-based approximate reasoning. Fundamenta Informaticae, 75(1-4):179–193. IOS Press. |
| [293] |
.
2007. A Swedish Journal Publication Service. In Högskolor och samhälle i samverkan (HSS). |
|
| [292] |
.
2007. A framework for reconfigurable path planning for autonomous unmanned aerial vehicles. Manuscript (preprint).
|
|
| [291] | |
.
2007. LinkMAV, a prototype rotary wing micro aerial vehicle. In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier. |
| [290] |
.
2007. Dynamics of approximate information fusion. In Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP), pages 668–677. In series: Lecture Notes in Artificial Intelligence #4585. Springer Berlin/Heidelberg. ISBN: 978-3-540-73450-5. DOI: 10.1007/978-3-540-73451-2_70. |
|
| [289] |
.
2007. Towards a delegation framework for aerial robotic mission scenarios. In Proceedings of the 11th International Workshop on Cooperative Information Agents (CIA), pages 5–26. Springer Berlin/Heidelberg. ISBN: 978-3-540-75118-2. DOI: 10.1007/978-3-540-75119-9_2. |
|
| [288] |
.
2007. A UAV search and rescue scenario with human body detection and geolocalization. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI). Springer Berlin/Heidelberg. ISBN: 978-3-540-76926-2. |
|
| [287] |
.
2007. Stereo visual system for autonomous air vehicle navigation. In 6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume# 6 | Part# 1, pages 203–208. In series: IFAC Proceedings series #??. Elsevier. ISBN: 978-3-902661-65-4. DOI: 10.3182/20070903-3-FR-2921.00037. |
|
| [286] | |
.
2007. From Images to Traffic Behavior - A UAV Tracking and Monitoring Application. In Proceedings of the 10th International Conference on Information Fusion (FUSION). IEEE conference proceedings. ISBN: 978-0-662-45804-3, 978-0-662-47830-0. DOI: 10.1109/ICIF.2007.4408103. Link: http://www.ida.liu.se/~frehe/publication... |
| [285] |
.
2007. A Four-Valued Logic for Rough Set-Like Approximate Reasoning. In James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska and Lech Polkowski, editors, Transactions on Rough Sets VI Commemorating the Life and Work of Zdzislaw Pawlak, Part I. DOI: 10.1007/978-3-540-71200-8, pages 176–190. In series: Lecture Notes in Computer Science #4374/2007. Springer. ISBN: 3-540-71198-8, 978-3-540-71198-8. DOI: 10.1007/978-3-540-71200-8_11. |
|
| [284] | |
.
2007. Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. In Joachim Hertzberg, Michael Beetz and Roman Englert, editors, Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI), pages 460–463. In series: Lecture Notes in Computer Science #4667. Springer. ISBN: 978-3-540-74564-8. DOI: 10.1007/978-3-540-74565-5_40. Link: http://www.ida.liu.se/~frehe/publication... |
| [283] | |
.
2007. Deductive Planning with Temporal Constraints. In Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007. AAAI Press. ISBN: 978-1-57735-314-0. Link: http://www.ucl.ac.uk/commonsense07/paper... |
| [282] |
.
2007. A framework for designing constraint stores. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1302. Linköpings universitet. ISBN: 978-91-85715-70-1. |
|
| [281] | |
.
2007. Navigation Functionalities for an Autonomous UAV Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1307. Linköping University Electronic Press. 74 pages. ISBN: 978-91-85715-35-0. |
| [280] | |
.
2007. Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1329. Institutionen för datavetenskap. 85 pages. ISBN: 978-91-85895-93-9. |
| 2006 | ||
| [279] |
.
2006. Algebraic and Relational Deductive Tools. Conference Proceedings.
In series: Journal of Applied Non-Classical Logics #??. Éditions Hermès-Lavoisier. Note: Special Issue |
|
| [278] |
.
2006. RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany). In RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League. Note: (1st place in the autonomy competition) |
|
| [277] |
.
2006. Wearable Computing Meets Multiagent Systems: A Real-World Interface for the RoboCupRescue Simulation Platform. In First International Workshop on Agent Technology for Disaster Management at AAMAS06, pages 116–123. |
|
| [276] | |
.
2006. Visual Odometry for Tracked Vehicles. In In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR). |
| [275] | |
.
2006. RFID Technology-based Exploration and SLAM for Search And Rescue. In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 4054–4059. IEEE conference proceedings. ISBN: 1-4244-0258-1. DOI: 10.1109/IROS.2006.281867. |
| [274] |
.
2006. RoboCupRescue - Simulation League Team RescueRobots Freiburg (Germany). In RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Simulation League. Note: (1st place in the competition) |
|
| [273] |
.
2006. Systems - Opening up the process. |
|
| [272] | |
.
2006. Dynamic Abstraction for Hierarchical Problem Solving and Execution in Stochastic Dynamic Environments. In Loris Penserini, Pavlos Peppas, Anna Perini, editors, Proceedings of the Third Starting AI Researchers' Symposium (STAIRS), pages 263–264. In series: Frontiers in Artificial Intelligence and Applications #142. IOS Press. ISBN: 978-1-58603-645-4, 978-1-60750-190-9. Link to article: http://www.booksonline.iospress.nl/Conte... |
| [271] |
.
2006. Autonomous landing of an unmanned helicopter based on vision and inertial sensing. In Marcelo H. Ang and Oussama Khatib, editors, Proceedings of the 9th International Symposium on Experimental Robotics, pages 343–352. In series: Springer Tracts in Advanced Robotics #21. Springer. ISBN: 978-3-540-28816-9. DOI: 10.1007/11552246_33. Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
|
| [270] | |
.
2006. Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition. The journal of artificial intelligence research, 25(??):233–267. AAAI Press. DOI: 10.1613/jair.1885. |
| [269] |
.
2006. A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle. International Journal of Pattern Recognition and Artificial Intelligence, 20(5):763–780. DOI: 10.1142/S0218001406004867. |
|
| [268] | |
.
2006. On the fixpoint theory of equality and its applications. In Proceedings of the 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA), pages 388–401. In series: Lecture Notes in Computer Science #4136. Springer. DOI: 10.1007/11828563_26. |
| [267] | |
.
2006. Coordination of actions in an autonomous robotic system. In Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, pages 177–191. In series: Lecture Notes in Computer Science #4155. Springer. DOI: 10.1007/11829263_10. |
| [266] |
.
2006. Probabilistic roadmap based path planning for an autonomous unmanned helicopter. Journal of Intelligent & Fuzzy Systems, 17(4):395–405. IOS Press. |
|
| [265] | |
.
2006. A knowledge processing middleware framework and its relation to the JDL data fusion model. Journal of Intelligent & Fuzzy Systems, 17(4):335–351. IOS Press. |
| [264] |
.
2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning. Conference Proceedings.
AAAI Press. ISBN: 978-1-57735-281-5. |
|
| [263] | |
.
2006. Deductive Planning with Temporal Constraints using TAL. In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR). UWA Press. ISBN: 1-74052-130-7. DOI: 10.1145/1232425.1232444. |
| [262] |
.
2006. A Numeric Library for Use in Modelica Simulations with Lapack, SuperLU, Interpolation, and MatrixIO. In 5th International Modelica Conference Modelica2006,2006. |
|
| [261] |
.
2006. Second-order Reasoning in Description Logics. Journal of applied non-classical logics, 16(3 - 4):517–530. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.517-530. |
|
| [260] | |
.
2006. GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle. In Proceedings of the 21st Bristol International UAV Systems Conference (UAVS). University of Bristol, Department of Aerospace engineering. ISBN: 0-9552644-0-5. Note: ISBN: 0-9552644-0-5 |
| [259] | |
.
2006. Natural Language Understanding using Temporal Action Logic. In Proceedings of the Workshop on Knowledge and Reasoning for Language Processing (KRAQ). Association for Computational Linguistics. |
| [258] |
.
2006. Qualitative Reconstruction and Update of an Object Constellation. In Proceedings of the Spatial and Temporal Reasoning Workshop at the 17th European Conference on Artificial Intelligence (ECAI). |
|
| [257] |
.
2006. Qualitative Communication about Object Scenes. In Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI). |
|
| [256] | |
.
2006. From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle. In Proceedings of the 21st Bristol UAV Systems Conference (UAVS). Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
| [255] |
.
2006. Control System Framework for Autonomous Robots Based on Extended State Machines. In ICAS 2006 - International Conference on Autonomic and Autonomous Systems,2006. |
|
| [254] | |
.
2006. The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning. In Software Demonstrations at the International Conference on Automated Planning Scheduling (ICAPS-SD), pages 36–37. |
| [253] | |
.
2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In Derek Long, Stephen F. Smith, Daniel Borrajo, Lee McCluskey, editors, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS), pages 438–441. AAAI Press. ISBN: 978-1-57735-270-9. |
| [252] |
.
2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICHIT 2006 - International Conference on Hybrid Information Technology,2006. |
|
| [251] |
.
2006. The Art and Virtue of Symbolic Constraint Propagation. In CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006. |
|
| [250] |
.
2006. Automated Round-trip Software Engineering in Aspect Weaving Systems. In 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006,2006. IEEE/ACM. |
|
| [249] |
.
2006. Quantifier Elimination in Elementary Set Theory. In W. MacCaull, I. Duentsch, M. Winter, editors, Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS), pages 237–248. In series: Lecture Notes in Computer Science #3929. Springer Berlin/Heidelberg. DOI: 10.1007/11734673_19. |
|
| [248] |
.
2006. Knowledge Representation Techniques. A Rough Set Approach. Book.
In series: Studies in Fuzziness and Soft Computing #202. Springer. 342 pages. ISBN: 978-3-540-33518-4. DOI: 10.1007/3-540-33519-6. |
|
| [247] | |
.
2006. Approximate Databases: A support tool for approximate reasoning. Journal of applied non-classical logics, 16(1-2):87–118. Éditions Hermès-Lavoisier. DOI: 10.3166/jancl.16.87-117. Note: Special issue on implementation of logics |
| [246] | |
.
2006. The Use of Case-Based Reasoning in a Human-Robot Dialog System. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1248. Institutionen för datavetenskap. 130 pages. ISBN: 91-85523-78-X. Note: Report code: LiU{Tek{Lic{2006:29. |
| [245] | |
.
2006. Admissible Heuristics for Automated Planning. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #1004. Institutionen för datavetenskap. 164 pages. ISBN: 91-85497-28-2. Link to Licentiate Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
| [244] | |
.
2006. Sampling-based Path Planning for an Autonomous Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1229. Institutionen för datavetenskap. 141 pages. ISBN: 91–85497–15–0. Note: Report code: LiU–Tek–Lic–2006:10. |
| 2005 | ||
| [243] |
.
2005. Game AI: The Shrinking Gap Between Computer Games and AI Systems. In G. Riva, F. Vatalaro, F. Davide, M. Alcañiz, editors, Ambient Intelligence: The evolution of technology, communication and cognition towards the future of human-computer interaction, pages 143–155. IOS Press. Link: http://www.neurovr.org/emerging/volume6.... |
|
| [242] | |
.
2005. ResQ Freiburg: Team Description and Evaluation. Techical Report.
Institut für Informatik, Universität Freiburg. |
| [241] |
.
2005. Successful Search and Rescue in Simulated Disaster Areas. In Robocup 2005: Robot Soccer World Cup IX, pages 323–334. |
|
| [240] |
.
2005. Approaching Urban Disaster Reality: The ResQ Firesimulator. In RoboCup 2004: Robot Soccer World Cup VIII, pages 474–482. In series: Lecture Notes in Computer Science #3276/2005. DOI: 10.1007/978-3-540-32256-6_42. |
|
| [239] |
.
2005. RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany). In RoboCup 2005 (CDROM Proceedings), Team Description Paper, Rescue Robot League. Note: (1st place in the autonomy competition, 4th place in the teleoperation competition) |
|
| [238] | |
.
2005. Hazard: a Framework Towards Connecting Artificial Intelligence and Robotics. In IJCAI Workshop on Reasoning, Representation and Learning in Computer Games. |
| [237] | |
.
2005. Belief revision revisited. In Advances in Artificial Intelligence: Proceedings of the 4th Mexican International Conference on Artificial Intelligence (MICAI), pages 31–40. In series: Lecture Notes in Computer Science #3789. Springer. DOI: 10.1007/11579427_4. |
| [236] | |
.
2005. Similarity, approximations and vagueness. In Dominik Slezak, Guoyin Wang, Marcin S. Szczuka, Ivo Düntsch, Yiyu Yao, editors, Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC), pages 541–550. In series: Lecture Notes in Artificial Intelligence #3641. Springer. ISBN: 3-540-28653-5. DOI: 10.1007/11548669_56. |
| [235] | |
.
2005. A knowledge processing middleware framework and its relation to the JDL data fusion model. In The 8th International Conference on Information Fusion,2005. |
| [234] |
.
2005. Intelligent semi-structured information extraction: a user-driven approach to information extraction. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #946. Linköping University Electronic Press. 139 pages. ISBN: 91-85297-98-4. Note: This work has been supported by University of Kalmar and the Knowledge Foundation. |
|
| [233] |
.
2005. A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. In Proceedings of the 3rd Atlantic Web Intelligence Conference (AWIC), pages 991–995. In series: Lecture Notes in Computer Science #3528. Springer. DOI: 10.1007/11495772_29. |
|
| [232] |
.
2005. Leonardo, an Approach towards the Consolidation of Computer Software System. Note: Research Article, CAISOR Archival Website, Number 2005-016 |
|
| [231] |
.
2005. Actions as a Basic Software Concept in the Leonardo Computation System. In IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005. |
|
| [230] | |
.
2005. Integration of Live Video in a System for Natural Language Dialog with a Robot. In Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial). |
| [229] |
.
2005. Reconfigurable path planning for an autonomous unmanned aerial vehicle. In National Swedish Workshop on Autonomous Systems, SWAR 05,2005. |
|
| [228] |
.
2005. Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle. In Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG). |
|
| [227] |
.
2005. Knowledge representation and unmanned aerial vehicles. In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pages 9–16. IEEE Computer Society. ISBN: 0-7695-2416-8. DOI: 10.1109/IAT.2005.93. |
|
| [226] |
.
2005. Fuzzy gain scheduled visual servoing for an unmanned helicopter. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #938. Linköpings universitet. 148 pages. ISBN: 91-85297-76-3. |
|
| [225] | |
.
2005. New Admissible Heuristics for Domain-Independent Planning. In Proceedings of the 20th national ´Conference on Artificial Intelligence (AAAI). AAAI Press. ISBN: 1-57735-236-X. |
| [224] | |
.
2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In SWAR 05,2005, pages 50–51. |
| [223] | |
.
2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In 3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005. Mälardalens University. |
| [222] |
.
2005. Hazard: A Framework Towards Connecting Artificial Intelligence and Robotics. In Proceedings of the 1st International Workshop on Multi-Agent Robotic Systems (MARS). INSTICC PRESS. |
|
| [221] | |
.
2005. Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
| [220] | |
.
2005. An Experimental Platform for Approximate Databases. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
| [219] | |
.
2005. Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter. In Peter Funk, Thorsteinn Rögnvaldsson and Ning Xiong, editors, Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS). Mälardalen University. |
| [218] | |
.
2005. Towards a Robotic Dialogue System with Learning and Planning Capabilities. In Ingrid Zukerman, Jan Alexandersson , Arne Jönsson, editors, Proceedings of the IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems (KRPDS), pages 1–7. |
| [217] | |
.
2005. Integrating a Discourse Model with a Learning Case-Based Reasoning System. In Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial). |
| [216] | |
.
2005. An Integrated Discourse Model for a Case-Based Reasoning Dialogue System. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005. |
| [215] | |
.
2005. TALplanner and other extensions to Temporal Action Logic. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #937. Linköpings universitet. 302 pages. ISBN: 91-85297-75-5. |
| [214] |
.
2005. Towards a Qualitative Model for Natural Language Communication about Vehicle Traffic. In IJCAI 2005 Workshop on Spatial and Temporal Reasoning,2005. |
|
| [213] |
.
2005. A Qualitative Model for Natural Language Communication about Vehicle Traffic. In Proceedings of the AAAI Spring Symposium on Reasoning with Mental and External Diagrams - Computational Modeling and Spatial Assistance, pages 52–57. AAAI Press. ISBN: 978-1-57735-232-7. |
|
| [212] |
.
2005. An Empirical Study on Debugging Equation-based Simulation Models. |
|
| 2004 | ||
| [211] | |
.
2004. Rescue3D: Making Rescue Simulation Attractive to the Public. Techical Report.
Institut für Informatik, Universität Freiburg. |
| [210] |
.
2004. ResQ Freiburg: Team Description and Evaluation. In RoboCup 2004 (CDROM Proceedings), Team Description Paper, Rescue Simulation League. Note: (1st place in the competition) |
|
| [209] |
.
2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the Second Joint SAIS/SSLS Workshop. |
|
| [208] | |
.
2004. Patterns in Reactive Programs. In Patrick Doherty, Gerhard Lakemeyer, Angel P. de Pobil, editors, Proceedings of the 4th International Cognitive Robotics Workshop (COGROB), pages 25–29. |
| [207] | |
.
2004. Towards a logical analysis of biochemical pathways. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA), pages 667–679. In series: Lecture Notes in Computer Science #3229. Springer. ISBN: 978-3-540-23242-1. DOI: 10.1007/978-3-540-30227-8_55. |
| [206] | |
.
2004. DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent & Fuzzy Systems, 15(1):3–13. IOS Press. |
| [205] | |
.
2004. Elaboration tolerance through object-orientation. |
| [204] |
.
2004. Automated static analysis of equation-based components. |
|
| [203] | |
.
2004. A fuzzy gain-scheduler for the attitude control of an unmanned helicopter. IEEE transactions on fuzzy systems, 12(4):502–515. IEEE Computer Society. DOI: 10.1109/TFUZZ.2004.832539. |
| [202] |
.
2004. Debugging techniques for equation-based languages. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #873. Linköping University. 243 pages. ISBN: 91-7373-941-3. |
|
| [201] |
.
2004. Towards Automatic Generation of Model Checkable Code from Modelica. In SIMS 2004, the 45th Conference on Simulation and Modelling. September 2004,2004. |
|
| [200] |
.
2004. Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices. In SIMSAFE2004,2004. |
|
| [199] |
.
2004. Robust Fuzzy Gain Scheduled visual-servoing with Sampling Time Uncertainties. In IEEE International Symposium on Intelligent Control ISIC,2004. |
|
| [198] |
.
2004. A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control. |
|
| [197] |
.
2004. Takagi-Sugeno Fuzzy Gain Scheduling with Sampling-Time Uncertainties. In IEEE International Conference on Fuzzy Systems Fuzz-IEEE 2004,2004. |
|
| [196] | |
.
2004. Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. The AI Magazine, 25(2):137–138. AAAI Press. |
| [195] | |
.
2004. Advanced Research with Autonomous Unmanned Aerial Vehicles. In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 731–732. AAAI Press. ISBN: 978-1-57735-199-3. |
| [194] | |
.
2004. Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004, pages 49–55. |
| [193] |
.
2004. The Qualitative Description of Traffic Maneuvers. In ECAI Workshop on Spatial and Temporal Reasoning,2004, pages 141–148. |
|
| [192] | |
.
2004. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS. |
| [191] | |
.
2004. Managing Dynamic Object Structures using Hypothesis Generation and Validation. In AAAI Workshop on Anchoring Symbols to Sensor Data,2004, pages 54–62. AAAI Press. |
| [190] | |
.
2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Barbara Dunin-Keplicz, Andrzej Jankowski, Andrzej Skowron, Marcin Szczuka, editors, Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems (MSRAS), pages 479–492. In series: Advances in Soft Computing #28. Springer. ISBN: 978-3540232452. DOI: 10.1007/3-540-32370-8_37. |
| [189] |
.
2004. Building a System for Autonomous Aerial Robotics Research. In Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles (IAV). Elsevier. ISBN: 008-044237-4. |
|
| [188] | |
.
2004. Dynamic 3D path following for an autonomous helicopter. In Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles (IAV). Elsevier. ISBN: 008-044237-4. Link to Licentiate Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
| [187] | |
.
2004. Towards a Logical Analysis of Biochemical Reactions (Extended abstract). In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pages 997–998. IOS Press. ISBN: 1-58603-452-9. |
| [186] | |
.
2004. Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities. In Proceedings of the 7th International Conference on Information Fusion, pages 175–182. ISIF. ISBN: 91-7056-115-X. |
| [185] | |
.
2004. On the Correspondence between Approximations and Similarity. In Shusaku Tsumoto, Roman Slowinski, Jan Komorowski and Jerzy W. Grzymala-Busse, editors, Proceedings of the International Conference on Rough Sets and Current Trends in Computing (RSCTC), pages 143–152. In series: Lecture Notes in Computer Science #3066. Springer. DOI: 10.1007/978-3-540-25929-9_16. |
| [184] | |
.
2004. Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning, pages 459–468. AAAI Press. ISBN: 978-1-57735-199-3. |
| [183] | |
.
2004. Improving Heuristics Through Search. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI), pages 1031–1032. IOS Press. ISBN: 1-58603-452-9. |
| 2003 | ||
| [182] |
.
2003. Knowledge Representation and Approximate Reasoning. Conference Proceedings.
In series: Fundamenta Informaticae #2003(57):2-4. IOS Press. Note: Special Issue |
|
| [181] |
.
2003. A Plugin-Based Architecture for Simulation in the F2000 League. In In RoboCup 2003: Robot Soccer World Cup VII, pages 434–445. |
|
| [180] | |
.
2003. Self-Localization in Dynamic Environments based on Laser and Vision Data. In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), pages 998–1004. IEEE. ISBN: 0-7803-7860-1. DOI: 10.1109/IROS.2003.1250758. |
| [179] | |
.
2003. Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och lärarutbildningen vid Linköpings universitet. Techical Report.
In series: CUL-rapporter #2003:5. Linköping University Electronic Press. 56 pages. |
| [178] |
.
2003. Meta Programming and Function Overloading in OpenModelica. In Proceedings of the 3rd International Modelica Conference (November 3-4, Linköping, Sweden). |
|
| [177] | |
.
2003. DrModelica - A Web-Based Teaching Environment for Modelica. In Proceedings of the 44th Conference on Simulation and Modeling (SIMS). Malardalen University. ISBN: 91-631-4716-5. |
| [176] |
.
2003. Semi-automatic Fault Localization and Behaviour Verification for Physical System Simulation Models. In In Proceedings 8th IEEE International Conference on Automated Software Engineering. (Montreal, Canada, October 6-10, 2003). |
|
| [175] |
.
2003. Mechanical CAD with Multibody Dynamic Analysis Based on Modelica Simulation. In SIMS 2003 - 44th Conference on Simulation and Modeling on September 18 -19, 2003 in Västerås. |
|
| [174] |
.
2003. DrModelica - An Interactive Tutoring Environment for Modelica. In Proceedings of the 3rd International Modelica Conference. Modelica Association. |
|
| [173] | |
.
2003. Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle. In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 52–63. In series: Lecture Notes in Computer Science #2821. Springer Verlag. DOI: 10.1007/978-3-540-39451-8_5. |
| [172] |
.
2003. On a logical approach to estimating computational complexity of potentially intractable problems. In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings of the 14th International Symposium on Fundamentals of Computation Theory (FCT), pages 423–431. In series: Lecture Notes in Computer Science #2751. Springer. DOI: 10.1007/978-3-540-45077-1_39. |
|
| [171] | |
.
2003. TALplanner in the Third International Planning Competition: Extensions and control rules. The journal of artificial intelligence research, 20(??):343–377. AAAI Press. DOI: 10.1613/jair.1189. |
| [170] |
.
2003. 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR). |
|
| [169] | |
.
2003. Formalizing defeasible logic in CAKE. Fundamenta Informaticae, 57(2-3):193–213. IOS Press. |
| [168] | |
.
2003. Towards a framework for approximate ontologies. Fundamenta Informaticae, 57(2-4):147–165. IOS Press. |
| [167] | |
.
2003. On mutual understanding among communicating agents. In B. Dunin-Keplicz and R. Verbrugge, editors, Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), pages 83–97. |
| [166] |
.
2003. 2003 AAAI Spring Symposium Series. The AI Magazine, 24(3):131–140. AAAI Press. |
|
| [165] | |
.
2003. Faces Everywhere: Towards Ubiquitous Production and Delivery of Face Animation. In Proceedings of the 2nd International Conference on Mobile and Ubiquitous Multimedia (MUM), pages 49–56. In series: Linköping Electronic Conference Proceedings #11. Linköping University Electronic Press. Link: http://www.ep.liu.se/ecp/011/010/ecp0110... |
| [164] | |
.
2003. High-level design of WWW servers in Allegro Common Lisp. In Proceedings of the International Lisp Conference (ILC). |
| [163] | |
.
2003. A software architecture for AI systems based on self-modifying software individuals. In Proceedings of the International Lisp Conference (ILC). |
| [162] | |
.
2003. Tolerance Spaces and Approximative Representational Structures. In Proceedings of the 26th German Conference on Artificial Intelligence (KI), pages 475–489. In series: Lecture Notes in Computer Science #2821. Springer. DOI: 10.1007/978-3-540-39451-8_35. |
| [161] |
.
2003. Information Granules for Intelligent Knowledge Structures. In Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron, editors, Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC), pages 405–412. In series: Lecture Notes in Computer Science #2639. Springer. ISBN: 978-3-540-14040-5. DOI: 10.1007/3-540-39205-X_68. |
|
| [160] | |
.
2003. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 978-3-540-43059-9. |
| [159] | |
.
2003. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer. |
| [158] | |
.
2003. Domain Knowledge in Planning: Representation and Use. In Proceedings of the ICAPS workshop on PDDL, pages 69–78. |
| [157] | |
.
2003. Adaptive Semi-structured Information Extraction. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #1000. Institutionen för datavetenskap. 85 pages. ISBN: 91-7373-589-2. Note: Report code: LiU-Tek-Lic-2002:73. |
| 2002 | ||
| [156] |
.
2002. Towards a Life-Long Learning Soccer Agent. In In RoboCup 2002: Robot Soccer World Cup VI, pages 126–134. |
|
| [155] | |
.
2002. CS Freiburg: Coordinating Robots for Successful Soccer Playing. |
| [154] |
.
2002. The Open Source Modelica Project. In Proceedings of the 2nd International Modelica Conference. Modelica Association. Note: Oberpfaffenhofen, Germany, March 18-19, 2002 |
|
| [153] |
.
2002. Incremental declaration handling in Open Source Modelica. In Scandinavian Simulation Conference (SIMS), September 2002, Oulu, Finland.. |
|
| [152] | |
.
2002. Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency. In Proceedings of the AIPS 2002 workshop on Planning via Model Checking. |
| [151] | |
.
2002. Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner. In Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS). AAAI Press. ISBN: 0-57735-142-8. DOI: 10.3233/978-1-60750-606-5-341. |
| [150] |
.
2002. EEG waves as chaotic self-oscillations. In International Journal of Psychophysiology, pages 138–138. |
|
| [149] |
.
2002. Use of cognitive robotics logic in a double helix architecture for autonomous systems. In Advances in Plan-Based Control of Robotic Agents: Revised Papers from the International Seminar at Dagstuhl Castle, pages 226–248. In series: Lecture Notes in Computer Science #2466. Springer. DOI: 10.1007/3-540-37724-7_14. |
|
| [148] |
.
2002. Second-order quantifier elimination in modal contexts. In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), pages 223–232. In series: Lecture Notes in Computer Science #2424. Springer. ISBN: 978-354044190-8. DOI: 10.1007/3-540-45757-7_19. |
|
| [147] |
.
2002. Preferential Action Semantics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 7: Agent-Based Defeasible Control in Dynamic Environments. In series: Handbook of Defeasible Reasoning and Uncertainty Management Systems #7. Kluwer. ISBN: 978-1-4020-0834-4. |
|
| [146] | |
.
2002. Vision for a UAV helicopter. In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland. |
| [145] | |
.
2002. CAKE: A computer aided knowledge engineering technique. In Frank van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence,2002, pages 220–224. IOS Press. |
| [144] | |
.
2002. Integrating a computational model and a run time system for image processing on a UAV. In Euromicro Symposium on Digital System Design (DSD), pages 102–109. DOI: 10.1109/DSD.2002.1115357. |
| [143] | |
.
2002. Debugging and Structural Analysis of Declarative Equation-Based Languages. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #964. Institutionen för datavetenskap. 156 pages. ISBN: 91-7373-382-2. Note: Report code: LiU-Tek-Lic-2002:37. |
| [142] | |
.
2002. Prediction as a Knowledge Representation Problem: A Case Study in Model Design. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #942. Institutionen för datavetenskap. 106 pages. ISBN: 91-7373-331-8. Note: Report code: LiU-Tek-Lic-2002:15. Link to Ph.D. Thesis: http://urn.kb.se/resolve?urn=urn:nbn:se:... |
| [141] | |
.
2002. Fuzzy Control for an Unmanned Helicopter. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #938. Institutionen för datavetenskap. 108 pages. ISBN: 91-7373-313-X. Note: Report code: LiU-Tek-Lic-2002:11. The format of the electronic version of this thesis differs slightly from the printed one: this is due mainly to font compatibility. The figures and body of the thesis are remaining unchanged. |
| 2001 | ||
| [140] |
.
2001. On the Design of Software Individuals. Electronic Transactions on Artifical Intelligence, 5(??):??–??. Linköpings Universitet. |
|
| [139] |
.
2001. On a Static Approach to Verification of Integrity Constraints in Relational Databases. In Eva Orlowska, Andrzej Szalas, editors, Relational Methods for Computer Science Applications, pages 97–109. In series: Studies in Fuzziness and Soft Computing #65. Springer Physica-Verlag. ISBN: 3-7908-1365-6. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
|
| [138] |
.
2001. Relational Methods for Computer Science Applications. In series: Studies in Fuziness and Soft Computing #??. Springer Physica Verlag. 297 pages. ISBN: 37-9081-365-6, 978-37-9081-365-4. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=37-9081... |
|
| [137] | |
.
2001. Conditional Progressive Planning: A Preliminary Report. In Proceedings of the Scandinavian Conference on Artificial Intelligence (SCAI), pages 90–100. In series: Frontiers in Artificial Intelligence and Applications #66. IOS Press. |
| [136] |
.
2001. CS Freiburg 2001. In RoboCup 2001 : Robot Soccer World Cup V, pages 26–38. |
|
| [135] | |
.
2001. Object-oriented Reasoning about Action and Change. In H.H. Lund, B. Mayoh, J. Perram, editors, Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence (SCAI), pages 53–64. In series: Frontiers in Artificial Intelligence and Applications #66. IOS Press. ISBN: 1-58603-161-9. |
| [134] |
.
2001. Autonomous Helicopter Control Using Gradient Descent Optimization Method. In Proceedings of the Asian Conference on Robotic & Automation (ACRA). |
|
| [133] | |
.
2001. Autonomous Helicopter Control Using Fuzzy-Gain Scheduling. In Proceedings of the IEEE International Conference on Robotic & Automation (ICRA), pages 2980–2985. IEEE conference proceedings. ISBN: 0-7803-6576-3. DOI: 10.1109/ROBOT.2001.933074. |
| [132] | |
.
2001. Fuzzy Control of an Autonomous Helicopter. In Proceedings of the 9th IEEE International Fuzzy Systems Association (IFSA) World Congress, pages 2797–2802. IEEE Computer Society. ISBN: 0-7803-7078-3. DOI: 10.1109/NAFIPS.2001.943669. |
| [131] |
.
2001. Autonomous Helicopter Control using Linguistic and Model-Based Fuzzy Control. In Proceedings of the IEEE International Symposium on Intelligent Control (CCA/ISIC), pages 348–352. ISBN: 0-7803-6722-7. DOI: 10.1109/ISIC.2001.971534. |
|
| [130] |
.
2001. Using Simulated RoboCup to Teach AI in Undergraduate Education. In Proceedings of the 7th Scandinavian Conference on Artificial Intelligence (SCAI), pages 13–21. In series: Frontiers in Artificial Intelligence and Applications #66. IOS Press. ISBN: 1-58603-161-9. |
|
| [129] | |
.
2001. Chronicle Recognition in the WITAS UAV Project: A Preliminary Report. In Proceedings of the Swedish AI Society Workshop. |
| [128] | |
.
2001. Models for Prediction. In Proceedings of the IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (PRO-2). |
| [127] | |
.
2001. Heuristic Planning with Time and Resources. In Proceedings of the 6th European Conference on Planning (ECP). |
| [126] | |
.
2001. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense). |
| [125] | |
.
2001. TALPLANNER - A temporal logic-based planner. The AI Magazine, 22(3):95–102. AAAI Press. |
| [124] | |
.
2001. Computing strongest necessary and weakest sufficient conditions of first-order formulas. In 17th International Joint Conference on Artificial Intelligence,2001. Morgan Kaufmann. |
| [123] | |
.
2001. Model-based execution monitoring. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #688. Linköpings universitet. 153 pages. ISBN: 91-7373-016-5. |
| [122] | |
.
2001. Extending temporal action logic. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #689. Linköpings universitet. 218 pages. ISBN: 91-7373-017-3. |
| 2000 | ||
| [121] |
.
2000. Defining and Certifying Electronic Publication in Science. Learned Publishing, 13(4):251–258. Association of Learned and Professional Society Publishers. Link to article: http://www.ida.liu.se/ext/caisor/archive... |
|
| [120] |
.
2000. Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language. In Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy, pages 101–115. WSIiE, Olsztyn, Poland. |
|
| [119] |
.
2000. On Rule-Based Approach to the Construction of Logical Transformers. In Proceedings of the 1st International Workshop on Rule-Based Programming (RULE), pages 57–71. Springer Physica-Verlag. |
|
| [118] | |
.
2000. Self Organising Maps for Value Estimation to Solve Reinforcement Learning Tasks. In Proc. of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000), pages 74–83. |
| [117] |
.
2000. A New Algorithm for Learning Bayesian Classifiers from Data. In Artificial Intelligence and Soft Computing, pages 191–197. |
|
| [116] |
.
2000. Execution monitoring of industrial process controllers: an application of Ontological Control. In Prooceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS '00). |
|
| [115] | |
.
2000. Maintainability: a weaker stabilizability-like notion for high level control of agents. In Proceedings of the 17th National Conference on Artificial Intelligence (AAAI), pages 62–66. AAAI Press. ISBN: 978-0-262-51112-4, 978-1-57735-272-3. |
| [114] |
.
2000. Simulated RoboCup in University Undergraduate Education. In Proceedings of the Fourth Internation Workshop on RoboCup. |
|
| [113] | |
.
2000. Planning with Reduced Operator Sets. In Steve Chien, Subbarao Kambhampati, Craig A. Knoblock, editors, Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pages 150–158. AAAI Press. ISBN: 978-1-57735-111-5. |
| [112] | |
.
2000. Admissible Heuristics for Optimal Planning. In Steve Chien, Subbarao Kambhampati, Craig A. Knoblock, editors, Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pages 140–149. AAAI Press. ISBN: 978-1-57735-111-5. Note: There is an error in the paper: the condition for commutativity of actions (section "Commutativity Pruning") must also include that neither action adds a precondition of the other. Thus, commutativity is not the same as Graphplan-style "non-interference". |
| [111] |
.
2000. M. Shanahan, Solving the Frame Problem. |
|
| [110] |
.
2000. FCFoo99. In Proceedings of RoboCup-99: Robot Soccer World Cup III (RoboCup), pages 563–566. In series: Lecture Notes in Computer Science #1856. Springer London. ISBN: 3-540-41043-0. |
|
| [109] | |
.
2000. Towards efficient universal planning: A randomized approach. |
| [108] | |
.
2000. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119–169. Springer. DOI: 10.1023/A:1016619613658. |
| [107] |
.
2000. The PMA and relativizing minimal change for action update. Fundamenta Informaticae, 44(1-2):95–131. IOS Press. |
|
| [106] | |
.
2000. Tackling the qualification problem using fluent dependency constraints. |
| [105] | |
.
2000. Extending TALplanner with concurrency and resources. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). In series: Frontiers in Artificial Intelligence and Applications #54. IOS Press. ISBN: 1586030132. |
| [104] | |
.
2000. Efficient reasoning using the local closed-world assumption. In Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA), pages 49–58. In series: Lecture Notes in Computer Science #1904. Springer. ISBN: 3-540-41044-9. DOI: 10.1007/3-540-45331-8_5. |
| [103] | |
.
2000. The WITAS unmanned aerial vehicle project. In Werner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pages 747–755. IOS Press. ISBN: 1-58603-013-2, 4-274-90388-5. |
| [102] | |
.
2000. WITAS: An Intelligent Autonomous Aircraft Using Active Vision. In Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV). Euro UVS. |
| 1999 | ||
| [101] |
.
1999. Elimination of Predicate Quantifiers. In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159–181. Kluwer Academic Publishers. |
|
| [100] | |
.
1999. Reasoning about Concurrent Interaction. Journal of logic and computation (Print), 9(5):623–650. Oxford University Press. DOI: 10.1093/logcom/9.5.623. |
| [99] | |
.
1999. Model Checking by Random Walk. In Proceedings of the ECSEL Workshop (CCSSE). |
| [98] | |
.
1999. Fuzzy matching of visual cues in an unmanned airborne vehicle. Techical Report.
Linköping University, Department of Electrical Engineering. |
| [97] |
.
1999. Reasoning about action in polynomial time. |
|
| [96] |
.
1999. A user oriented system for developing behavior based agents. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 173–186. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 978-3-540-66320-1, e-978-3-540-48422-6, 3-540-66320-7. DOI: 10.1007/3-540-48422-1_14. |
|
| [95] |
.
1999. How to make a challenging AI course enjoyable using the RoboCup soccer simulation system. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 120–124. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 3-540-66320-7. DOI: 10.1007/3-540-48422-1_9. |
|
| [94] | |
.
1999. Exploiting bipartiteness to identify yet another tractable subclass of CSP. In Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP), pages 118–128. In series: Lecture Notes in Computer Science #1713. Springer. DOI: 10.1007/978-3-540-48085-3_9. |
| [93] | |
.
1999. Some results on the complexity of planning with incomplete information. In Proceedings of the 5th European Conference on Planning (ECP), pages 308–318. In series: Lecture Notes in Computer Science #1809. Springer. DOI: 10.1007/10720246_24. |
| [92] | |
.
1999. Meta-queries on deductive databases. |
| [91] | |
.
1999. Declarative PTIME queries for relational databases using quantifier elimination. Journal of logic and computation (Print), 9(5):737–758. Oxford University Press. DOI: 10.1093/logcom/9.5.737. |
| [90] |
.
1999. Computing MPMA updates using dijkstra's semantics. In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer. |
|
| [89] | |
.
1999. TALplanner: An empirical investigation of a temporal logic-based forward chaining planner. In Clare Dixon, Michael Fisher, editors, 6th International Workshop on Temporal Representation and Reasoning (TIME-99). IEEE Computer Society. ISBN: 0-7695-0173-7. |
| [88] |
.
1999. Preferential action semantics (preliminary report). In Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers, pages 187–201. In series: Lecture Notes in Artificial Intelligence #1760. Springer. ISBN: 3-540-67027-0. DOI: 10.1007/3-540-46581-2_13. Note: Preliminary report |
|
| [87] | |
.
1999. Actions, interactions and narratives. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #593. Linköpings universitet. 222 pages. ISBN: 91-7219-534-7. |
| [86] |
.
1999. Anchoring symbols to sensory data. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #611. Linköpings universitet. 136 pages. ISBN: 91-7219-623-8. |
|
| [85] |
.
1999. Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance. In Proceedings of the International Conference on Vision Systems '99: Grand Canary. |
|
| 1998 | ||
| [84] |
.
1998. Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 159 pages. ISBN: 83-7101-403-1, 978-83-7101-403-1. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-7101... |
|
| [83] |
.
1998. A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In Ewa Orlowska, editor, Logic at work: essays dedicated to the memory of Helena Rasiowa, pages 307–328. In series: Studies in Fuzziness and Soft Computing #24. Physica Verlag. ISBN: 3-7908-1164-5. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
|
| [82] | |
.
1998. Two Aspects of Automating Logics of Action and Change: Regression and Tractability. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #674. Note: Thesis No 674. LiU-Tek-Lic 1998:09 |
| [81] | |
.
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/ |
| [80] | |
.
1998. (TAL) temporal action logics: Language specification and tutorial. Electronic Transactions on Artifical Intelligence, 2(3-4):273–306. Link: http://www.ep.liu.se/ej/etai/1998/009/ |
| [79] |
.
1998. General domain circumscription and its effective reductions. |
|
| [78] |
.
1998. Delayed effects of actions. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), pages 542–546. John Wiley & Sons. ISBN: 978-0471984313. |
|
| [77] | |
.
1998. The PMA and relativizing change for action update. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 258–269. Morgan Kaufmann Publishers. |
| [76] | |
.
1998. Tackling the qualification problem using fluent dependency constraints. In Lina Khatib, Robert Morris, editors, Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98). IEEE Computer Society. ISBN: 0-8186-8473-9. Note: Preliminary report |
| 1997 | ||
| [75] | |
.
1997. Reasoning about Action in Polynomial Time. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI). |
| [74] | |
.
1997. Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism. In Proceedings of the 15th International Joint Conference on Artficial Intelligence (IJCAI). |
| [73] | |
.
1997. Strategies and policies of Linköping University Electronic Press. Techical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol. 1. Linköping University Electronic Press. 15 pages. |
| [72] | |
.
1997. A Neo-Classical Structure for Scientific Publication and Reviewing. Techical Report.
In series: Linköping Electronic Articles on Academic Policies and Trends #1 Vol, 2. Linköping University Electronic Press. 28 pages. |
| [71] | |
.
1997. Computing circumscription revisited: A reduction algorithm. Journal of automated reasoning, 18(3):297–336. Kluwer Academic Publishers. DOI: 10.1023/A:1005722130532. |
| [70] |
.
1997. Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance. In Knowledge Based Computer Vision, Seminar-Report 196: Schloss Dagstuhl, Germany. |
|
| 1996 | ||
| [69] |
.
1996. On Natural Deduction in First-Order Fixpoint Logics. |
|
| [68] |
.
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... |
|
| [67] |
.
1996. A New Tractable Planner for the SAS+ Formalism. Student Thesis.
In series: LiTH-IDA-Ex #9625. 283 pages. ISRN: LiTH-IDA-Ex-9625. |
|
| [66] | |
.
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. |
| [65] | |
.
1996. Declarative ptime queries to relational databases. Techical Report.
In series: LITH-IDA-R #34. Department of Computer and Information Science, Linköping University. |
| [64] | |
.
1996. Preferential action semantics, preliminary report. Techical Report.
In series: LITH-IDA-R #??. Department of Computer and Information Science, Linköping University. |
| [63] | |
.
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. |
| [62] |
.
1996. A study in modal embeddings of NML3. In Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information., pages 145–168. CSLI Publications. |
|
| [61] | |
.
1996. A reduction result for circumscribed semi-horn formulas. |
| [60] | |
.
1996. Embracing occlusion in specifying the indirect effects of actions. In Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro, editors, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pages 87–98. Morgan Kaufmann Publishers. ISBN: 1-55860-421-9. |
| [59] | |
.
1996. Explaining explanation closure. In Zbigniew W. Ras, Maciek Michalewicz, editors, Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996, pages 521–530. In series: Lecture Notes in Computer Science #1079. Springer Berlin/Heidelberg. ISBN: 3-540-61286-6. DOI: 10.1007/3-540-61286-6_176. |
| [58] | |
.
1996. General domain circumscription and its first-order reduction. In Dov Gabbay, Hans Olbach, editors, Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning (FAPR), pages 93–109. In series: Lecture Notes in Computer Science #1085. Springer Berlin/Heidelberg. ISBN: 978-3-540-61313-8. DOI: 10.1007/3-540-61313-7_65. |
| 1995 | ||
| [57] |
.
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... |
|
| [56] |
.
1995. Temporal Logic: A Standard Approach. In Leonard Bolc, Andrzej Szalas, editors, Time And Logic: A Computational Approach, pages 1–50. UCL Press Ltd.. ISBN: 1-85728-233-7, 978-1857282337. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=1... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-185... |
|
| [55] |
.
1995. Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne. Book.
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ). 247 pages. ISBN: 9788371012884. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=9788371... |
|
| [54] | |
.
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. |
| [53] | |
.
1995. Computing circumscription revisited. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), pages 1502–1508. ISBN: 978-1558603639. Note: Volume 2. Preliminary report |
| [52] |
.
1995. A comparison between two approaches to ramification: PMON(R) and AR0. In 8th Australian Joint Conference on Artificial Intelligence,1995. Note: World Scientific |
|
| 1994 | ||
| [51] |
.
1994. On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic. Journal of Applied Non-Classical Logics, 4(2):119–127. Éditions Hermès-Lavoisier. |
|
| [50] |
.
1994. Genetic Algorithms for Decision Problems. In Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR), pages 383–390. World Scientific. ISBN: 981-02-1877-X. |
|
| [49] | |
.
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. |
| [48] |
.
1994. Notes on PMON circumscription. Techical Report.
In series: LITH-IDA-R #43. Department of Computer and Information Science, Linköping University. |
|
| [47] |
.
1994. Circumscribing features and fluents. A fluent logic for reasoning about action and change. In 8th International Symposium on Methodologies for Intelligent Systems,1994. Springer Verlag. |
|
| [46] |
.
1994. Circumscribing features and fluents. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings, pages 82–100. In series: Lecture Notes in Computer Science #827. Springer Berlin/Heidelberg. ISBN: 3-540-58241-X, 0-387-58241-X. DOI: 10.1007/BFb0013982. |
|
| [45] |
.
1994. Reasoning about action and change using occlusion. In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons. |
|
| 1993 | ||
| [44] |
.
1993. On the Correspondence between Modal and Classical Logic: An Automated Approach. Journal of logic and computation (Print), 3(6):605–620. Oxford University Press. DOI: 10.1093/logcom/3.6.605. |
|
| [43] |
.
1993. Nonmonotonicity, fuzziness, and multi-values. In Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Soving.. In series: Volume 12 #12. Kluwer Academic Publishers. |
|
| [42] |
.
1993. Fuzzy if-then-unless rules and their implementation. International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 1(2):167–182. World Scientific. DOI: 10.1142/S0218488593000097. |
|
| 1992 | ||
| [41] |
.
1992. Axiomatizing Fixpoint Logics. |
|
| [40] |
.
1992. Zarys dedukcyjnych metod automatycznego wnioskowania. Book.
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM). 120 pages. ISBN: 83-9004-517-6, 978-83-9004-517-7. |
|
| [39] |
.
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. |
|
| [38] |
.
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. |
|
| [37] |
.
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. |
|
| [36] |
.
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. |
|
| [35] |
.
1992. Distinguishing between facts and default assumptions. In Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.. Ellis Horwood Ltd.. |
|
| [34] |
.
1992. A non-monotonic fuzzy logic. In Fuzzy Logic for the Management of Uncertainty, pages 171–190. John Wiley & Sons. ISBN: 0-471-54799-9. |
|
| [33] |
.
1992. NML-3 - A non-monotonic logic with explicit defaults. Journal of applied non-classical logics, 2(1):9–48. Éditions Hermès-Lavoisier. |
|
| [32] |
.
1992. Defaults as first-class citizens. In Proceedings of the 22nd International Symposium on Multiple-Valued Logic (SMVL), pages 146–154. In series: Proceedings of the International Symposium on Multiple Valued Logic #??. IEEE Computer Society. ISBN: 0-8186-2680-1. |
|
| [31] |
.
1992. FONML3 - A first-order non-monotonic logic with explicit defaults. In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons. |
|
| [30] |
.
1992. Fuzzy if-then-unless rules and their implementation. In International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992. Springer. |
|
| [29] |
.
1992. Partial logics and partial preferences. In International Conference on Economics/Management and Information Technology,1992. |
|
| 1991 | ||
| [28] |
.
1991. On Strictly Arithmetical Completeness in Logics of Programs. |
|
| [27] |
.
1991. Loglan. Book.
Wydawnictwa Naukowo-Techniczne WNT. 172 pages. ISBN: 83-2041-295-1, 978-83-2041-295-6. Note: In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=83-2041... |
|
| [26] |
.
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. |
|
| [25] |
.
1991. A non-monotonic fuzzy logic. In International Fuzzy Systems Association, Fourth World Congress,1991. |
|
| [24] |
.
1991. NML3: a non-monotonic formalism with explicit defaults. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #258. Linköpings tekniska högskola. 290 pages. ISBN: 91-7870-816-8. |
|
| [23] |
.
1991. A constraint-based approach to proof procedures for multi-valued logics. In Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI). Springer. |
|
| 1990 | ||
| [22] |
.
1990. A three-valued approach to non-monotonic reasoning. Licentiate Thesis.
In series: Linköping Studies in Science and Technology. Thesis #230. Linköping University. ISBN: 91-7870-672-6. |
|
| [21] |
.
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. |
|
| [20] |
.
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. |
|
| [19] |
.
1990. NME - A three-valued non-monotonic formalism. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS). Note: Preliminary report |
|
| [18] |
.
1990. NM3 - A three-valued cumulative non-monotonic formalism. In Jan van Eijck, editor, Logics in AI, European Workshop (JELIA), pages 196–211. In series: Lecture Notes in Artificial Intelligence #478. Springer Berlin/Heidelberg. ISBN: 978-3-540-53686-4. DOI: 10.1007/BFb0018442. |
|
| 1989 | ||
| [17] |
.
1989. On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts. Fundamenta Informaticae, 12(??):191–204. IOS Press. |
|
| [16] |
.
1989. A correspondence between inheritance hierarchies and a logic of preferential entailment. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras, editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS). University of North Carolina Press. |
|
| [15] |
.
1989. A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment. In Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence (SCAI). IOS Press. |
|
| 1988 | ||
| [14] |
.
1988. Towards the Temporal Approach to Abstract Data Types. Fundamenta Informaticae, 11(1):49–64. IOS Press. |
|
| [13] |
.
1988. An Incompleteness Result in Process Algebra. |
|
| [12] |
.
1988. Propositional Description of Finite Cause-Effect Structures. |
|
| [11] |
.
1988. Incompleteness of First-Order Temporal Logic with Until. |
|
| 1987 | ||
| [10] |
.
1987. A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. |
|
| [9] |
.
1987. Arithmetical Axiomatization of First-Order Temporal Logic. |
|
| [8] |
.
1987. A Compositional Method for the Design and Proof of Asynchronous Processes. In Proceedings of the 4th Annual ESPRIT Conference (ESPRIT), pages 566–580. North-Holland. ISBN: 0-444-70333-0. |
|
| 1986 | ||
| [7] |
.
1986. Concerning the Semantic Consequence Relation in First-Order Temporal Logic. |
|
| 1985 | ||
| [6] |
.
1985. A Note on PCI: Distributed Processes Communicating by Interrupts. |
|
| [5] |
.
1985. Exception Handling in Parallel Computations. |
|
| [4] |
.
1985. A rule interpreter for an emycin-like expert system tool. Techical Report.
In series: Aslab Memo #85-05. Linköpings tekniska högskola. |
|
| 1984 | ||
| [3] |
.
1984. On an Application of Algorithmic Theory of Stacks. Fundamenta Informaticae, 7(3):378–388. IOS Press. |
|
| 1981 | ||
| [2] |
.
1981. Algorithmic Logic with Recursive Functions. Fundamenta Informaticae, 4(4):975–995. IOS Press. |
|
| 1977 | ||
| [1] |
.
1977. A program manipulation system based on partial evaluation. PhD Thesis.
In series: Linköping Studies in Science and Technology. Dissertations #14. Linköpings universitet. 264 pages. ISBN: 91-7372-144-1. Note: Date of defense not available. |
|
