AIICS

AIICS Publications

AIICS

Conference and Workshop Publications

Show abstracts (where available) BibTeX entries
2013
[281]		Andreas Kolling and Alexander Kleiner. 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
[280]		Alexander Kleiner, A. Farinelli, S. Ramchurn, B. Shi, F. Maffioletti and R. Reffato. 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
[279]		Alexander Kleiner and Andreas Kolling. 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
2012
[278]		Gerald Steinbauer and Alexander Kleiner. 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
[277]		L. Marconi, C. Melchiorri, M. Beetz, D. Pangercic, R. Siegwart, S. Leutenegger, R. Carloni, S. Stramigioli, H. Bruyninckx, Patrick Doherty, Alexander Kleiner, V. Lippiello, A. Finzi, B. Siciliano, A. Sala and N. Tomatis. 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
[276]		Cyrille Berger. 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).
[275]		Ha Quang-Thuy, Hoang Thi-Lan-Giao, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas and Tran Thanh-Luong. 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.
[274]		Ha Quang-Thuy, Hoang Thi-Lan-Giao, Linh Anh Nguyen, Nguyen Hung-Son, Andrzej Szalas and Tran Thanh-Luong. 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.
[273]		Fredrik Heintz and Tommy Färnqvist. 2012. Pedagogical Experiences of Competitive Elements in an Algorithms Course. In Proceedings of LTHs 7:e Pedagogiska Inspirationskonferens (PIK).
[272]		Patrick Doherty and Fredrik Heintz. 2012. Delegation-Based Collaboration. In Proceedings of the 5th International Conference on Cognitive Systems (CogSys).
[271]		Fredrik Heintz and Zlatan Dragisic. 2012. Semantic Information Integration for Stream Reasoning. In Proceedings of the 15th International Conference on Information Fusion (FUSION). Linköping University Electronic Press.
[270]		Patrick Doherty, Jonas Kvarnström and Andrzej Szalas. 2012. Temporal Composite Actions with Constraints. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 478–488.
2011
[269]		Gianpaolo Conte and Patrick Doherty. 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.
[268]		Jonas Kvarnström. 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). AAAI Press. ISBN: 978-1-57735-504-5.
[267]		Patrick Doherty, Fredrik Heintz and David Landén. 2011. A Delegation-Based Collaborative Robotic Framework. In Christian Guttmann, editor, Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development.
[266]		Patrick Doherty and Fredrik Heintz. 2011. A Delegation-Based Cooperative Robotic Framework. In Proceedings of the IEEE International Conference on Robotics and Biomimetic. IEEE conference proceedings.
[265]		Jan Maluszynski and Andrzej Szalas. 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.
[264]		Son Thanh Cao, Linh Anh Nguyen and Andrzej Szalas. 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.
[263]		Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 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: 978-0-9826571-6-4.
[262]		Son Thanh Cao, Anh Linh Nguyen and Andrzej Szalas. 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.
[261]		Patrick Doherty, Tomasz Michalak, Jacek Sroka and Andrzej Szalas. 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.
[260]		Alexander Kleiner, B. Nebel and V. Ziparo. 2011. A Mechanism for Dynamic Ride Sharing based on Parallel Auctions. In 22th International Joint Conference on Artificial Intelligence (IJCAI), pages 266–272.
[259]		Q. Hamp, L. Reindl and Alexander Kleiner. 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
[258]		C. Dornhege and Alexander Kleiner. 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
[257]		A. Kolling, Alexander Kleiner, M. Lewis and K. Sycara. 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.
[256]		D. Meyer-Delius, M. Beinhofer, Alexander Kleiner and W. Burgard. 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.
[255]		Alexander Kleiner, D. Sun and D. Meyer-Delius. 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.
2010
[254]		Barbara Dunin-Keplicz, Anh Linh Nguyen and Andrzej Szalas. 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.
[253]		Cyrille Berger and Simon Lacroix. 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).
[252]		Prasanna Velagapudi, Alexander Kleiner, Nathan Brooks, Paul Scerri, Michael Lewis and Katia Sycara. 2010. RoboCupRescue - Virtual Robots Team STEEL (USA). In RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Simulation League.
[251]		Christian Dornhege, Johannes Bendler, Roxana Bersan, Philipp Blohm, Martin Gloderer, Andreas Hertle, Thomas Liebetraut, Diego Cerdan Puyol, Alexander Kleiner and Bernhard Nebel. 2010. RoboCupRescue 2010 - Robot League Team RescueRobots Freiburg (Germany). In RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Robot League.
[250]		Wei Mou and Alexander Kleiner. 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.
[249]		Sören Schwertfeger, Adam Jacoff, Chris Scrapper, Johannes Pellenz and Alexander Kleiner. 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.
[248]		A. Kolling, Alexander Kleiner, M. Lewis and K. Sycara. 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.
[247]		D. Maier and Alexander Kleiner. 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.
[246]		A. Kolling, Alexander Kleiner, M. Lewis and K. Sycara. 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.
[245]		D. Sun, Alexander Kleiner and C. Schindelhauer. 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.
[244]		Anh Linh Nguyen and Andrzej Szalas. 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.
[243]		Patrick Doherty, Jonas Kvarnström, Fredrik Heintz, David Landén and Per-Magnus Olsson. 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.
[242]		Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 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.
[241]		Mariusz Wzorek, Jonas Kvarnström and Patrick Doherty. 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.
[240]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 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.
[239]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2010. Stream-Based Middleware Support for Embedded Reasoning. In Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems (ER).
[238]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 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.
[237]		Fredrik Heintz and Patrick Doherty. 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.
[236]		Jonas Kvarnström and Patrick Doherty. 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-7814-9. DOI: 10.1109/ICARCV.2010.5707969.
[235]		Per-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov and Kaj Holmberg. 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.
[234]		Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 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-606-5. DOI: 10.3233/978-1-60750-606-5-341.
[233]		Jonas Kvarnström. 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.
[232]		Patrick Doherty and Andrzej Szalas. 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.
2009
[231]		Barbara Dunin-Keplicz, Linh Anh Nguyen and Andrzej Szalas. 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-26930-1. DOI: 10.1007/978-3-642-03214-1_8.
[230]		Linh Anh Nguyen and Andrzej Szalas. 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.
[229]		Linh Anh Nguyen and Andrzej Szalas. 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.
[228]		Teresa Vidal-Calleja, Cyrille Berger, Joan Solà and Simon Lacroix. 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.
[227]		Teresa Vidal-Calleja, Cyrille Berger and Simon Lacroix. 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.
[226]		Alexander Kleiner, Chris Scrapper and Adam Jacoff. 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.
[225]		Dali Sun, Alexander Kleiner and Thomas M. Wendt. 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.
[224]		W. Burgard, C. Stachniss, G. Grisetti, B. Steder, R. Kümmerle, C. Dornhege, M. Ruhnke, Alexander Kleiner and Juan D. Tardós. 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.
[223]		Alexander Kleiner and C. Dornhege. 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)
[222]		R. Kümmerle, B. Steder, C. Dornhege, Alexander Kleiner, G. Grisetti and W. Burgard. 2009. Large Scale Graph-based SLAM using Aerial Images as Prior Information. In Proceedings of Robotics Science and Systems (RSS). MIT Press.
[221]		Anna Pernestål, Håkan Warnquist and Mattias Nyberg. 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).
[220]		Håkan Warnquist, Jonas Kvarnström and Patrick Doherty. 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).
[219]		Håkan Warnquist, Anna Pernestål and Mattias Nyberg. 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.
[218]		Martin Magnusson, David Landén and Patrick Doherty. 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).
[217]		Martin Magnusson and Patrick Doherty. 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.
[216]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 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.
[215]		Andrzej Szalas and Linh Anh Nguyen. 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.
[214]		Martin Magnusson, Jonas Kvarnström and Patrick Doherty. 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.
[213]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 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.
[212]		M. Wiggberg and Peter Dalenius. 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.
[211]		Linh Anh Nguyen and Andrzej Szalas. 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.
2008
[210]		Gianpaolo Conte and Patrick Doherty. 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.
[209]		Cyrille Berger and Simon Lacroix. 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).
[208]		Cyrille Berger and Simon Lacroix. 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.
[207]		Christian Dornhege, Alexander Kleiner, Rainer Kümmerle, Bastian Steder, Wolfram Burgard and Bernhard Nebel. 2008. SP-Freiburg TechX Challenge Technical Paper. In TechX Challenge. Note: Finalist
[206]		Alexander Kleiner, Gerald Steinbauer and Franz Wotawa. 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.
[205]		Alexander Kleiner, Gerald Steinbauer and Franz Wotawa. 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).
[204]		Anders Holmberg and Per-Magnus Olsson. 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.
[203]		Joe Steinhauer. 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.
[202]		Per Nyblom and Patrick Doherty. 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-60750-335-4. DOI: 10.3233/978-1-58603-867-0-114.
[201]		Håkan Warnquist and Mattias Nyberg. 2008. A Heuristic for Near-Optimal Troubleshooting Using AO*. In Proceedings of the International Workshop on the Principles of Diagnosis.
[200]		Håkan Warnquist, Mattias Nyberg and Petter Säby. 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-58603-867-0. DOI: 10.3233/978-1-58603-867-0-68.
[199]		Gianpaolo Conte and Patrick Doherty. 2008. An Integrated UAV Navigation System Based on Aerial Image Matching. In IEEE Aerospace Conference 2008,2008.
[198]		Gianpaolo Conte, Maria Hempel, Piotr Rudol, David Lundström, Simone Duranti, Mariusz Wzorek and Patrick Doherty. 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.
[197]		Piotr Rudol and Patrick Doherty. 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.
[196]		Erik Sandewall. 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-367-6. Note: Senior Members track
[195]		Patrick Doherty and Andrzej Szalas. 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.
[194]		H.Joe Steinhauer. 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.
[193]		Fredrik Heintz and Patrick Doherty. 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.
[192]		Martin Magnusson and Patrick Doherty. 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.
[191]		Martin Magnusson, David Landén and Patrick Doherty. 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.
[190]		Martin Magnusson and Patrick Doherty. 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.
[189]		Martin Magnusson and Patrick Doherty. 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.
[188]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 2008. Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing. In IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms,2008. Note: No proceedings, but CD
[187]		Jonas Kvarnström, Fredrik Heintz and Patrick Doherty. 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-387-4.
[186]		Per-Magnus Olsson and Patrick Doherty. 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-60750-335-4. DOI: 10.3233/978-1-58603-867-0-3.
[185]		Rickard Karlsson, Thomas Schön, David Törnqvist, Gianpaolo Conte and Fredrik Gustafsson. 2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. In Proceedings of the IEEE Aerospace Conference, pages 1–10. In series: Aerospace Conference Proceedings #2008. IEEE conference proceedings. ISBN: 978-1-4244-1488-8 (online). DOI: 10.1109/AERO.2008.4526442.
[184]		Mattias Krysander, Fredrik Heintz, Jacob Roll and Erik Frisk. 2008. Dynamic Test Selection for Reconfigurable Diagnosis. In Proceedings of the 47th IEEE Conference on Decision and Control (CDC), pages 1066–1072. IEEE. ISBN: 978-1-4244-3123-6. DOI: 10.1109/CDC.2008.4738793.
[183]		Aida Vitoria, Andrzej Szalas and Jan Maluszynski. 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.
[182]		Jan Maluszynski, Aida Vitoria and Andrzej Szalas. 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.
[181]		G Rickard Karlsson, Thomas Schön, David Törnqvist, Gianpaolo Conte and Fredrik Gustafsson. 2008. Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application. In Reglermöte,2008, pages 1–10.
[180]		Fredrik Heintz, Mattias Krysander, Jacob Roll and Erik Frisk. 2008. FlexDx: A Reconfigurable Diagnosis Framework. In 19th International Workshop on Principles of Diagnosis, DX,2008. DX.
[179]		Piotr Rudol, Mariusz Wzorek, Gianpaolo Conte and Patrick Doherty. 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.
[178]		Fredrik Heintz, Jonas Kvarnström and Patrick Doherty. 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.
2007
[177]		Simone Duranti and Gianpaolo Conte. 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.
[176]		Barbara Dunin-Keplicz and Andrzej Szalas. 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.
[175]		Christian Dornhege and Alexander Kleiner. 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).
[174]		Holger Kenn and Alexander Kleiner. 2007. Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation. In MobileResponse, pages 106–115.
[173]		Christian Dornhege and Alexander Kleiner. 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.
[172]		Alexander Kleiner, C. Dornhege and D. Sun. 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.
[171]		Alexander Kleiner and R. Kümmerle. 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.
[170]		Alexander Kleiner and D. Sun. 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.
[169]		V. A. Ziparo, Alexander Kleiner, A. Farinelli, L. Marchetti and D. Nardi. 2007. Cooperative Exploration for USAR Robots with Indirect Communication. In Proc. of 6th IFAC Symposium on Intelligent Autonomous Vehicles (IAV).
[168]		V. A. Ziparo, Alexander Kleiner, B. Nebel and D. Nardi. 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.
[167]		Karolina Eliasson. 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.
[166]		Per Nyblom. 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.
[165]		David Lawrence, Erik Sandewall and Peter Berkesand. 2007. A Swedish Journal Publication Service. In Högskolor och samhälle i samverkan (HSS).
[164]		Simone Duranti, Gianpaolo Conte, David Lundström, Piotr Rudol, Mariusz Wzorek and Patrick Doherty. 2007. LinkMAV, a prototype rotary wing micro aerial vehicle. In 17th IFAC Symposium on Automatic Control in Aerospace,2007. Elsevier.
[163]		Patrick Doherty, Barbara Dunin-Keplicz and Andrzej Szalas. 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.
[162]		Patrick Doherty and John-Jules Meyer. 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.
[161]		Patrick Doherty and Piotr Rudol. 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.
[160]		Luis Mejias, Pascual Campoy, Iván F. Mondragón and Patrick Doherty. 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.
[159]		Fredrik Heintz, Piotr Rudol and Patrick Doherty. 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-47830-0. DOI: 10.1109/ICIF.2007.4408103.
[158]		Fredrik Heintz, Piotr Rudol and Patrick Doherty. 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.
[157]		Martin Magnusson and Patrick Doherty. 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.
2006
[156]		Alexander Kleiner, Christian Dornhege, Rainer Kümmerle, Michael Ruhnke, Bastian Steder, Bernhard Nebel, Patrick Doherty, Mariusz Wzorek, Piotr Rudol, Gianpaolo Conte, Simone Duranti and David Lundström. 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)
[155]		Alexander Kleiner, Nils Behrens and Holger Kenn. 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.
[154]		Christian Dornhege and Alexander Kleiner. 2006. Visual Odometry for Tracked Vehicles. In In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics (SSRR).
[153]		Alexander Kleiner, J. Prediger and Bernhard Nebel. 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.
[152]		Alexander Kleiner and V. A. Ziparo. 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)
[151]		Per Nyblom. 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-60750-190-9.
[150]		Torsten Merz, Simone Duranti and Gianpaolo Conte. 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.
[149]		Andrzej Szalas and Jerzy Tyszkiewicz. 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.
[148]		Martin Magnusson and Patrick Doherty. 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.
[147]		Anders Sandholm, Peter Bunus and Peter Fritzson. 2006. A Numeric Library for Use in Modelica Simulations with Lapack, SuperLU, Interpolation, and MatrixIO. In 5th International Modelica Conference Modelica2006,2006.
[146]		Mariusz Wzorek, David Landén and Patrick Doherty. 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
[145]		Martin Magnusson. 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.
[144]		H.Joe Steinhauer. 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).
[143]		H.Joe Steinhauer. 2006. Qualitative Communication about Object Scenes. In Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI).
[142]		Mariusz Wzorek, Gianpaolo Conte, Piotr Rudol, Torsten Merz, Simone Duranti and Patrick Doherty. 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).
[141]		Torsten Merz, Piotr Rudol and Mariusz Wzorek. 2006. Control System Framework for Autonomous Robots Based on Extended State Machines. In ICAS 2006 - International Conference on Autonomic and Autonomous Systems,2006.
[140]		Mariusz Wzorek and Patrick Doherty. 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.
[139]		Mariusz Wzorek and Patrick Doherty. 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.
[138]		Mariusz Wzorek and Patrick Doherty. 2006. Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. In ICHIT 2006 - International Conference on Hybrid Information Technology,2006.
[137]		Björn Hägglund and Anders Haraldsson. 2006. The Art and Virtue of Symbolic Constraint Propagation. In CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006.
[136]		Mikhail Chalabine, Christoph Kessler and Peter Bunus. 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.
[135]		Ewa Orlowska and Andrzej Szalas. 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.
2005
[134]		Alexander Kleiner, Michael Brenner, Tobias Bräuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger, Jörg Stückler and Bernhard Nebel. 2005. Successful Search and Rescue in Simulated Disaster Areas. In Robocup 2005: Robot Soccer World Cup IX, pages 323–334.
[133]		T. A. Nüssle, Alexander Kleiner and M. Brenner. 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.
[132]		Alexander Kleiner, B. Steder, C. Dornhege, D. Höfer, D. Meyer-Delius, J. Prediger, J. Stückler, K. Glogowski, M. Thurner, M. Luber, M. Schnell, R. Kuemmerle, T. Burk, T. Bräuer and B. Nebel. 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)
[131]		Peter Andersson. 2005. Hazard: a Framework Towards Connecting Artificial Intelligence and Robotics. In IJCAI Workshop on Reasoning, Representation and Learning in Computer Games.
[130]		Ewa Madalinska-Bugaj and Witold Lukaszewicz. 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.
[129]		Patrick Doherty, Andrzej Szalas and Witold Lukaszewicz. 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.
[128]		Fredrik Heintz and Patrick Doherty. 2005. A knowledge processing middleware framework and its relation to the JDL data fusion model. In The 8th International Conference on Information Fusion,2005.
[127]		Michali Grabowski and Andrzej Szalas. 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.
[126]		Erik Johan Sandewall. 2005. Actions as a Basic Software Concept in the Leonardo Computation System. In IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005.
[125]		Erik Johan Sandewall. 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).
[124]		Mariusz Wzorek and Patrick Doherty. 2005. Reconfigurable path planning for an autonomous unmanned aerial vehicle. In National Swedish Workshop on Autonomous Systems, SWAR 05,2005.
[123]		Mariusz Wzorek and Patrick Doherty. 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).
[122]		Patrick Doherty. 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.
[121]		Patrik Haslum, Blai Bonet and Hector Geffner. 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.
[120]		Fredrik Heintz and Patrick Doherty. 2005. A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model. In SWAR 05,2005, pages 50–51.
[119]		Fredrik Heintz and Patrick Doherty. 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.
[118]		Peter Andersson. 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.
[117]		Per Nyblom. 2005. Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[116]		Martin Magnusson, Patrick Doherty and Andrzej Szalas. 2005. An Experimental Platform for Approximate Databases. In 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005.
[115]		Per Olof Pettersson and Patrick Doherty. 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.
[114]		Karolina Eliasson. 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.
[113]		Karolina Eliasson. 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).
[112]		Karolina Eliasson. 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.
[111]		H.Joe Steinhauer. 2005. Towards a Qualitative Model for Natural Language Communication about Vehicle Traffic. In IJCAI 2005 Workshop on Spatial and Temporal Reasoning,2005.
[110]		H.Joe Steinhauer. 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.
[109]		Peter Bunus. 2005. An Empirical Study on Debugging Equation-based Simulation Models. In 4th International Modelica Conference,2005.
2004
[108]		Alexander Kleiner, Michael Brenner, Tobias Bräuer, Christian Dornhege, Moritz Göbelbecker, Matthias Luber, Johann Prediger and Joerg Stückler. 2004. ResQ Freiburg: Team Description and Evaluation. In RoboCup 2004 (CDROM Proceedings), Team Description Paper, Rescue Simulation League. Note: (1st place in the competition)
[107]		Fredrik Heintz and Patrick Doherty. 2004. DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems. In Proceedings of the Second Joint SAIS/SSLS Workshop.
[106]		Patrik Haslum. 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.
[105]		Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 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.
[104]		Håkan Lundvall, Peter Bunus and Peter Fritzson. 2004. Towards Automatic Generation of Model Checkable Code from Modelica. In SIMS 2004, the 45th Conference on Simulation and Modelling. September 2004,2004.
[103]		Peter Fritzson, Vadim Engelson, Andreas Idebrant, Peter Aronsson, Håkan Lundvall, Peter Bunus and Kaj Nyström. 2004. Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices. In SIMSAFE2004,2004.
[102]		Bourhane Kadmiry and P Bergsten. 2004. Robust Fuzzy Gain Scheduled visual-servoing with Sampling Time Uncertainties. In IEEE International Symposium on Intelligent Control ISIC,2004.
[101]		Bourhane Kadmiry and Dimiter Driankov. 2004. Takagi-Sugeno Fuzzy Gain Scheduling with Sampling-Time Uncertainties. In IEEE International Conference on Fuzzy Systems Fuzz-IEEE 2004,2004.
[100]		Patrick Doherty. 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.
[99]		Per Olof Pettersson and Patrick Doherty. 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.
[98]		H.Joe Steinhauer. 2004. The Qualitative Description of Traffic Maneuvers. In ECAI Workshop on Spatial and Temporal Reasoning,2004, pages 141–148.
[97]		Patrick Doherty, Patrik Haslum, Fredrik Heintz, Torsten Merz, Per Nyblom, Tommy Persson and Björn Wingman. 2004. A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation. In 7th International Symposium on Distributed Autonomous Robotic Systems,2004. LAAS.
[96]		Fredrik Heintz and Patrick Doherty. 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.
[95]		Fredrik Heintz and Patrick Doherty. 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.
[94]		Torsten Merz. 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.
[93]		Gianpaolo Conte, Simone Duranti and Torsten Merz. 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.
[92]		Patrick Doherty, Steven Kertes, Martin Magnusson and Andrzej Szalas. 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.
[91]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[90]		Patrick Doherty and Andrzej Szalas. 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.
[89]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[88]		Patrik Haslum. 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
[87]		Alexander Kleiner and T. Buchheim. 2003. A Plugin-Based Architecture for Simulation in the F2000 League. In In RoboCup 2003: Robot Soccer World Cup VII, pages 434–445.
[86]		E. Schulenburg, T. Weigel and Alexander Kleiner. 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.
[85]		Peter Aronsson, Peter Fritzson, Levon Saldamli, Peter Bunus and Kaj Nyström. 2003. Meta Programming and Function Overloading in OpenModelica. In Proceedings of the 3rd International Modelica Conference (November 3-4, Linköping, Sweden).
[84]		Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson and Peter Bunus. 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.
[83]		Peter Bunus and Peter Fritzson. 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).
[82]		Vadim Engelson, Peter Bunus, Lucian Popescu and Peter Fritzson. 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.
[81]		Eva-Lena Lengquist Sandelin, Susanna Monemar, Peter Fritzson and Peter Bunus. 2003. DrModelica - An Interactive Tutoring Environment for Modelica. In Proceedings of the 3rd International Modelica Conference. Modelica Association.
[80]		Erik Sandewall, Patrick Doherty, Oliver Lemon and Stanley Peters. 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.
[79]		Andrzej Szalas. 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.
[78]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[77]		Igor S. Pandzic, Jörgen Ahlberg, Mariusz Wzorek, Piotr Rudol and Miran Mosmondor. 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.
[76]		Erik Johan Sandewall. 2003. High-level design of WWW servers in Allegro Common Lisp. In Proceedings of the International Lisp Conference (ILC).
[75]		Erik Johan Sandewall. 2003. A software architecture for AI systems based on self-modifying software individuals. In Proceedings of the International Lisp Conference (ILC).
[74]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[73]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[72]		Patrik Haslum and Ulrich Scholz. 2003. Domain Knowledge in Planning: Representation and Use. In Proceedings of the ICAPS workshop on PDDL, pages 69–78.
2002
[71]		Alexander Kleiner, M. Dietl and Bernhard Nebel. 2002. Towards a Life-Long Learning Soccer Agent. In In RoboCup 2002: Robot Soccer World Cup VI, pages 126–134.
[70]		Levon Saldamli, Peter Fritzson, Peter Aronsson, Peter Bunus, Vadim Engelson, Henrik Johansson and Andreas Karström. 2002. The Open Source Modelica Project. In Proceedings of the 2nd International Modelica Conference. Modelica Association. Note: Oberpfaffenhofen, Germany, March 18-19, 2002
[69]		Peter Aronsson, Peter Fritzson, Levon Saldamli and Peter Bunus. 2002. Incremental declaration handling in Open Source Modelica. In Scandinavian Simulation Conference (SIMS), September 2002, Oulu, Finland..
[68]		Patrik Haslum. 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.
[67]		Jonas Kvarnström. 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.
[66]		Erik Skarman and AB Saab. 2002. EEG waves as chaotic self-oscillations. In International Journal of Psychophysiology, pages 138–138.
[65]		Erik Johan Sandewall. 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.
[64]		Andrzej Szalas. 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.
[63]		Klas Nordberg, Patrick Doherty, Gunnar Farnebäck, Per-Erik Forssén, Gösta Granlund, Anders Moe and Johan Wiklund. 2002. Vision for a UAV helicopter. In International Conference on Intelligent Robots and Systems (IROS), Workshop on Aerial Robotics: Lausanne, Switzerland.
[62]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[61]		Per Andersson, Krzysztof Kuchcinski, Klas Nordberg and Patrick Doherty. 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.
2001
[60]		Lars Karlsson. 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.
[59]		T. Weigel, Alexander Kleiner, F. Diesch, M. Dietl, J. -S Gutmann, B. Nebel, P. Stiegeler and B. Szerbakowski. 2001. CS Freiburg 2001. In RoboCup 2001 : Robot Soccer World Cup V, pages 26–38.
[58]		Joakim Gustafsson. 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.
[57]		Bourhane Kadmiry, Rainer Palm and Dimiter Driankov. 2001. Autonomous Helicopter Control Using Gradient Descent Optimization Method. In Proceedings of the Asian Conference on Robotic & Automation (ACRA).
[56]		Bourhane Kadmiry, Pontus Bergsten and Dimiter Driankov. 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.
[55]		Bourhane Kadmiry and Dimiter Driankov. 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.
[54]		Bourhane Kadmiry and Dimiter Driankov. 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.
[53]		Fredrik Heintz, Johan Kummeneje and Paul Scerri. 2001. Simulated RoboCup in University Undergraduate Education. In Proceedings of the Seventh 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.
[52]		Fredrik Heintz and Patrick Doherty. 2001. Chronicle Recognition in the WITAS UAV Project: A Preliminary Report. In Proceedings of the Swedish AI Society Workshop.
[51]		Patrik Haslum. 2001. Models for Prediction. In Proceedings of the IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (PRO-2).
[50]		Patrik Haslum and Héctor Geffner. 2001. Heuristic Planning with Time and Resources. In Proceedings of the 6th European Conference on Planning (ECP).
[49]		Joakim Gustafsson and Jonas Kvarnström. 2001. Elaboration Tolerance through Object-Orientation. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense).
[48]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 2001. Computing strongest necessary and weakest sufficient conditions of first-order formulas. In 17th International Joint Conference on Artificial Intelligence,2001. Morgan Kaufmann.
2000
[47]		Jaroslaw Kachniarz and Andrzej Szalas. 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.
[46]		Jaroslaw Kachniarz and Andrzej Szalas. 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.
[45]		Alexander Kleiner, Bernadette Sharp and Oliver Bittel. 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.
[44]		Alexander Kleiner and Bernadette Sharp. 2000. A New Algorithm for Learning Bayesian Classifiers from Data. In Artificial Intelligence and Soft Computing, pages 191–197.
[43]		Marcus Bjäreland and George Fodor. 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).
[42]		Mutsumi Nakamura, Chitta Baral and Marcus Bjäreland. 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-1-57735-272-3.
[41]		Fredrik Heintz, Johan Kummeneje and Paul Scerri. 2000. Simulated RoboCup in University Undergraduate Education. In Proceedings of the Fourth Internation Workshop on RoboCup.
[40]		Patrik Haslum and Peter Jonsson. 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.
[39]		Patrik Haslum and Héctor Geffner. 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".
[38]		Fredrik Heintz. 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.
[37]		Jonas Kvarnström, Patrick Doherty and Patrik Haslum. 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.
[36]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[35]		Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Johan Sandewall, Klas Nordberg, Erik Skarman and Johan Wiklund. 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: 4-274-90388-5.
[34]		Gösta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman and Erik Sandewall. 2000. WITAS: An Intelligent Autonomous Aircraft Using Active Vision. In Proceedings of the UAV 2000 International Technical Conference and Exhibition (UAV). Euro UVS.
1999
[33]		Andreas Nonnengart, Hans-Jürgen Ohlbach and Andrzej Szalas. 1999. Elimination of Predicate Quantifiers. In Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pages 159–181. Kluwer Academic Publishers.
[32]		Patrik Haslum. 1999. Model Checking by Random Walk. In Proceedings of the ECSEL Workshop (CCSSE).
[31]		Marcus Bjäreland and Peter Jonsson. 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.
[30]		Patrik Haslum and Peter Jonsson. 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.
[29]		Patrick Doherty, Witold Lukaszewicz and E. Madalin´ska-Bugaj. 1999. Computing MPMA updates using dijkstra's semantics. In 12th International Symposium on Methodologies for Intelligent Systems,1999. Springer.
[28]		Patrick Doherty and Jonas Kvarnström. 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.
[27]		John-Jules Meyer and Patrick Doherty. 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
[26]		Silvia Coradeschi, Lars Karlsson and Klas Nordberg. 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
[25]		Lars Karlsson, Joakim Gustafsson and Patrick Doherty. 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.
[24]		Patrick Doherty, Witold Lukaszewicz and Ewa Madalinska-Bugaj. 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.
[23]		Patrick Doherty and Jonas Kvarnström. 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
[22]		Thomas Drakengren and Marcus Bjäreland. 1997. Reasoning about Action in Polynomial Time. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI).
[21]		Marcus Bjäreland and Lars Karlsson. 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).
[20]		Silvia Coradeschi, Klas Nordberg and Lars Karlsson. 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
[19]		Joakim Gustafsson and Patrick Doherty. 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.
[18]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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.
[17]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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
[16]		Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 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
[15]		Patrick Doherty and P. Peppas. 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
[14]		Andrzej Szalas. 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.
[13]		Patrick Doherty and Witold Lukaszewicz. 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.
[12]		Patrick Doherty. 1994. Reasoning about action and change using occlusion. In 11th European Conference on Artificial Intelligence,1994. John Wiley and Sons.
1992
[11]		Patrick Doherty and Witold Lukaszewicz. 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.
[10]		Patrick Doherty and Witold Lukaszewicz. 1992. FONML3 - A first-order non-monotonic logic with explicit defaults. In European Conference on Artificial Intelligence, ECAI-92,1992. John Wiley and Sons.
[9]		Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 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.
[8]		Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992. Partial logics and partial preferences. In International Conference on Economics/Management and Information Technology,1992.
1991
[7]		Patrick Doherty and Dimiter Driankov. 1991. A non-monotonic fuzzy logic. In International Fuzzy Systems Association, Fourth World Congress,1991.
[6]		Patrick Doherty. 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
[5]		Patrick Doherty. 1990. NME - A three-valued non-monotonic formalism. In Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems (ISMIS). Note: Preliminary report
[4]		Patrick Doherty. 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
[3]		Patrick Doherty. 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.
[2]		Patrick Doherty. 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.
1987
[1]		R. J. Cunningham, Andreas Nonnengart and Andrzej Szalas. 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.

Responsible for this page: AIICS Publications

Last updated:

Org.nr: 202100-3096
VAT nr: SE202100309601
Plusgiro: 18 34 15-9

Department of Computer and Information Science
Link�ping University
SE-581 83 LINK�PING, SWEDEN
Tel: +46 13 28 10 00
Fax: +46 13 14 22 31