Accepted for publication.
}, } @inproceedings{NilKvaDoh:2013:605388, author = {Mikael Nilsson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Incremental Dynamic Controllability Revisited}}, year = {2013}, booktitle = {Proceedings of the 23rd International Conference on Automated Planning and Scheduling ({ICAPS})}, note = {Accepted for publication.
}, } @inproceedings{KolKle:2013:588779, author = {Andreas Kolling and Alexander Kleiner}, title = {{Multi-UAV Trajectory Planning for Guaranteed Search}}, year = {2013}, booktitle = {Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013)}, note = {Accepted for publication
}, } @inproceedings{KleFarEtAl:2013:588778, author = {Alexander Kleiner and A. Farinelli and S. Ramchurn and B. Shi and F. Maffioletti and R. Reffato}, title = {{RMASBench: Benchmarking Dynamic Multi-Agent Coordination in Urban Search and Rescue}}, year = {2013}, booktitle = {Proc. of the 12th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2013)}, note = {Accepted for publication
}, } @article{AkiItoEtAl:2013:588777, author = {H. Levent Akin and Nobuhiro Ito and Adam Jacoff and Alexander Kleiner and Johannes Pellenz and Arnoud Visser}, title = {{RoboCup Rescue Robot and Simulation Leagues}}, year = {2013}, journal = {The AI Magazine}, volume = {34}, number = {1}, publisher = {AAAI Press}, issn = {0738-4602}, } @inproceedings{KleKol:2013:588774, author = {Alexander Kleiner and Andreas Kolling}, title = {{Guaranteed Search With Large Teams of Unmanned Aerial Vehicles}}, year = {2013}, booktitle = {Proc. of the IEEE Int. Conf. on Robotics and Automation ({ICRA})}, note = {Accepted for publication
}, } @incollection{NguSza:2013:546392, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Logic-Based Roughification}}, year = {2013}, booktitle = {Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam (vol. I)}, pages = {517--543}, editor = {A. Skowron and Z. Suraj}, series = {Intelligent Systems Reference Library}, volume = {42}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30343-2}, issn = {1868-4394}, doi = {10.1007/978-3-642-30344-9\_19}, } @incollection{DunSza:2013:546390, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Distributed Paraconsistent Belief Fusion}}, year = {2013}, booktitle = {Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012}, pages = {59--69}, editor = {Giancarlo Fortino and Costin Badica and Michele Malgeri and Rainer Unland}, series = {Studies in Computational Intelligence}, volume = {446}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-32523-6}, issn = {1860-949X}, doi = {10.1007/978-3-642-32524-3\_9}, } @article{DorKle:2013:459933, author = {C. Dornhege and Alexander Kleiner}, title = {{A Frontier-Void-Based Approach for Autonomous Exploration in 3D}}, year = {2013}, journal = {Advanced Robotics}, volume = {27}, number = {6}, pages = {459--468}, publisher = {Taylor and Francis}, issn = {0169-1864}, doi = {10.1080/01691864.2013.763720}, note = {Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8|
}, } @article{KleKolEtAl:2013:442226, author = {Alexander Kleiner and A. Kolling and M. Lewis and K. Sycara}, title = {{Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain}}, year = {2013}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {26}, number = {1}, pages = {1--36}, publisher = {Springer}, issn = {1387-2532}, doi = {10.1007/s10458-011-9180-7}, } @incollection{DohMey:2012:605381, author = {Patrick Doherty and John-Jules Ch. Meyer}, title = {{On the Logic of Delegation - Relating Theory and Practice}}, year = {2012}, booktitle = {The Goals of Cognition: Essays in honour of Cristiano Castelfranchi}, pages = {467--496}, editor = {Fabio Paglieri and Luca Tummolini and Rino Falcone and Maria Miceli}, publisher = {College Publications}, isbn = {978-1848900943}, } @incollection{DohHeiLan:2012:601009, author = {Patrick Doherty and Fredrik Heintz and David Land\'en}, title = {{A Distributed Task Specification Language for Mixed-Initiative Delegation}}, year = {2012}, booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers}, pages = {42--57}, editor = {Nirmit Desai and Alan Liu and Michael Winikoff}, series = {Lecture Notes in Computer Science}, volume = {7057}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-25919-7, e-978-3-642-25920-3}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-25920-3\_4}, } @incollection{LanHeiDoh:2012:601008, author = {David Land\'en and Fredrik Heintz and Patrick Doherty}, title = {{Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study}}, year = {2012}, booktitle = {Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers}, pages = {288--303}, editor = {Nirmit Desai and Alan Liu and Michael Winikoff}, series = {Lecture Notes in Computer Science}, volume = {7057}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-25919-7, e-978-3-642-25920-3}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-25920-3\_20}, } @inproceedings{MehBunKur:2012:589544, author = {Hoda Mehrpouyan and Peter Bunus and Tolga Kurtoglu}, title = {{Model-Based Hazard Analysis of Undesirable Environmental and Components Interaction}}, year = {2012}, publisher = {IEEE}, isbn = {978-1-4577-0556-4}, doi = {10.1109/AERO.2012.6187374}, } @inproceedings{Ber:2012:589539, author = {Cyrille Berger}, title = {{Weak Constraints Network Optimiser}}, year = {2012}, booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation ({ICRA})}, pages = {1270--1277}, publisher = {IEEE}, doi = {10.1109/ICRA.2012.6225060}, } @inproceedings{SteKle:2012:588776, author = {Gerald Steinbauer and Alexander Kleiner}, title = {{Towards CSP-based mission dispatching in C2/C4I systems}}, year = {2012}, booktitle = {Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, note = {Accepted for publication
}, } @inproceedings{MarMelEtAl:2012:588775, author = {L. Marconi and C. Melchiorri and M. Beetz and D. Pangercic and R. Siegwart and S. Leutenegger and R. Carloni and S. Stramigioli and H. Bruyninckx and Patrick Doherty and Alexander Kleiner and V. Lippiello and A. Finzi and B. Siciliano and A. Sala and N. Tomatis}, title = {{The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments}}, year = {2012}, booktitle = {Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, note = {Accepted for publication
}, } @proceedings{DeRBesEtAl:2012:582620, author = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter Lucas}, title = {{Proceedings of the 20th European Conference on Artificial Intelligence (ECAI)}}, year = {2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, publisher = {IOS Press}, isbn = {978-1-61499-097-0}, issn = {0922-6389}, } @mastersthesis{Olo:2012:572088, author = {Jonatan Olofsson}, title = {{Towards Autonomous Landing of a Quadrotorusing Monocular SLAM Techniques}}, year = {2012}, isrn = {LIU-IDA/LITH-EX-A--12/026--SE}, school = {Link"opings universitet}, } @inproceedings{Ber:2012:559417, author = {Cyrille Berger}, title = {{Toward rich geometric map for SLAM: Online Detection of Planes in 2D LIDAR}}, year = {2012}, booktitle = {Proceedings of the International Workshop on Perception for Mobile Robots Autonomy ({PEMRA})}, } @inproceedings{QuaThiEtAl:2012:548028, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas and Tran Thanh-Luong}, title = {{Concept Learning for Description Logic-based Information Systems}}, year = {2012}, booktitle = {KSE 2012 - International Conference on Knowledge and Systems Engineering}, pages = {65--73}, publisher = {IEEE Computer Society}, doi = {10.1109/KSE.2012.23}, } @inproceedings{QuaThiEtAl:2012:548019, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Nguyen Hung-Son and Andrzej Szalas and Tran Thanh-Luong}, title = {{A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics}}, year = {2012}, booktitle = {SoICT 2012 - 3rd International Symposium on Information and Communication Technology}, pages = {241--249}, publisher = {ACM Press}, doi = {10.1145/2350716.2350753}, } @inproceedings{HeiFrn:2012:546854, author = {Fredrik Heintz and Tommy F\"arnqvist}, title = {{Pedagogical Experiences of Competitive Elements in an Algorithms Course}}, year = {2012}, booktitle = {Proceedings of LTHs 7:e Pedagogiska Inspirationskonferens ({PIK})}, } @article{HamGorEtAl:2012:546676, author = {Quirin Hamp and Omar Gorgis and Patrick Labenda and Marc Neumann and Thomas Predki and Leif Heckes and Alexander Kleiner and Leonard Reindl}, title = {{Study of eciency of USAR operations with assistive technologies}}, year = {2012}, journal = {Advanced Robotics}, issn = {0169-1864}, } @misc{NebKle:2012:546668, author = {Bernhard Nebel and Alexander Kleiner}, title = {{Multi-Agenten-Systeme in der Intralogistik - Erster Teil: Gemeinsam denken}}, year = {2012}, journal = {IEE - Elektrische Automatisierung + Antriebstechnik}, volume = {-}, number = {4}, pages = {48--53}, publisher = {H\"uthig Verlag}, issn = {1434-2898}, } @misc{NebKle:2012:546667, author = {Bernhard Nebel and Alexander Kleiner}, title = {{Multi-Agenten-Systeme in der Intralogistik - Zweiter Teil: Effizient transportieren}}, year = {2012}, journal = {IEE - Elektrische Automatisierung + Antriebstechnik}, volume = {-}, number = {5}, pages = {34--37}, publisher = {H\"uthig Verlag}, issn = {1434-2898}, } @inproceedings{DohHei:2012:546435, author = {Patrick Doherty and Fredrik Heintz}, title = {{Delegation-Based Collaboration}}, year = {2012}, booktitle = {Proceedings of the 5th International Conference on Cognitive Systems (CogSys)}, } @incollection{DunSza:2012:546388, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Epistemic Profiles and Belief Structures}}, year = {2012}, booktitle = {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}, editor = {Gordan Jezic and Mario Kusek and Ngoc-Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, series = {Lecture Notes in Computer Science}, volume = {7327}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30946-5, e- 978-3-642-30947-2}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-30947-2\_40}, } @incollection{NguSza:2012:546383, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Paraconsistent Reasoning for Semantic Web Agents}}, year = {2012}, booktitle = {Transactions on Compuational Collective Intelligence VI}, pages = {36--55}, editor = {Ngoc Thanh Nguyen}, series = {Lecture Notes in Computer Science}, volume = {7190}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-29355-9, e-978-3-642-29356-6}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-29356-6\_2}, } @mastersthesis{Hon:2012:544388, author = {Anders Hongslo}, title = {{Stream Processing in the Robot Operating System framework}}, year = {2012}, isrn = {LIU-IDA/LITH-EX-A--12/030--SE}, school = {Link"opings universitet}, } @mastersthesis{Ngu:2012:543827, author = {Viet Ha Nguyen}, title = {{Design Space Exploration of the Quality of Service for Stream Reasoning Applications}}, year = {2012}, isrn = {LIU-IDA/LITH-EX-A--12/027--SE}, school = {Link"opings universitet}, } @inproceedings{HeiDra:2012:539926, author = {Fredrik Heintz and Zlatan Dragisic}, title = {{Semantic Information Integration for Stream Reasoning}}, year = {2012}, booktitle = {Proceedings of the 15th International Conference on Information Fusion ({FUSION})}, publisher = {Link\"oping University Electronic Press}, } @article{PerNybWar:2012:529459, author = {Anna Pernest{\aa}l and Mattias Nyberg and H{\aa}kan Warnquist}, title = {{Modeling and inference for troubleshooting with interventions applied to a heavy truck auxiliary braking system}}, year = {2012}, journal = {Engineering applications of artificial intelligence}, volume = {25}, number = {4}, pages = {705--719}, publisher = {Elsevier}, issn = {0952-1976}, doi = {10.1016/j.engappai.2011.02.018}, } @misc{San:2012:510488, author = {Erik Sandewall}, title = {{Maintaining Live Discussion in Two-Stage Open Peer Review}}, year = {2012}, journal = {Frontiers in Computational Neuroscience}, volume = {6}, number = {9}, publisher = {Frontiers Research Foundation}, issn = {1662-5188}, doi = {10.3389/fncom.2012.00009}, note = {funding agencies|Knut and Alice Wallenberg Foundation||}, } @mastersthesis{Laz:2012:510073, author = {Daniel Lazarovski}, title = {{Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8}}, year = {2012}, isrn = {LIU-IDA/LITH-EX-A--12/008--SE}, school = {Link"opings universitet}, } @incollection{DunSza:2012:499783, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Agents in Approximate Environments}}, year = {2012}, booktitle = {Games, Actions and Social Software: Multidisciplinary Aspects}, pages = {141--163}, editor = {Jan Ejick and Rineke Verbrugge}, series = {Lecture Notes in Computer Science}, volume = {7010}, publisher = {Springer}, isbn = {978-3-642-29325-2 (print), 978-3-642-29326-9 (online)}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-642-29326-9\_8}, } @inproceedings{DohKvaSza:2012:489882, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Temporal Composite Actions with Constraints}}, year = {2012}, booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {478--488}, publisher = {AAAI Press}, isbn = {978-1-57735-560-1, 978-1-57735-561-8}, } @inproceedings{ConDoh:2011:505007, author = {Gianpaolo Conte and Patrick Doherty}, title = {{A Visual Navigation System for UAS Based on Geo-referenced Imagery}}, year = {2011}, booktitle = {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}, } @inproceedings{Kva:2011:483527, author = {Jonas Kvarnstr\"om}, title = {{Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining}}, year = {2011}, booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {138--145}, editor = {Fahiem Bacchus and Carmel Domshlak and Stefan Edelkamp and Malte Helmert}, publisher = {AAAI Press}, isbn = {978-1-57735-503-8, 978-1-57735-504-5}, } @article{VidBerEtAl:2011:472016, author = {Teresa Vidal-Calleja and Cyrille Berger and Joan Sol\`a and Simon Lacroix}, title = {{Large scale multiple robot visual mapping with heterogeneous landmarks in semi-structured terrain}}, year = {2011}, journal = {Robotics and Autonomous Systems}, volume = {59}, number = {9}, pages = {654--674}, publisher = {Elsevier}, issn = {0921-8890}, doi = {10.1016/j.robot.2011.05.008}, } @inproceedings{DohHeiLan:2011:463629, author = {Patrick Doherty and Fredrik Heintz and David Land\'en}, title = {{A Delegation-Based Collaborative Robotic Framework}}, year = {2011}, booktitle = {Proceedings of the 3rd International Workshop on Collaborative Agents - Research and development}, editor = {Christian Guttmann}, } @proceedings{KofHeiHel:2011:463628, author = {Anders Kofod-Peteresen and Fredrik Heintz and Langseth Helge}, title = {{Elevent Scandinavian Conference on Artifical Intelligence SCAI 2011}}, year = {2011}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {227}, publisher = {IOS Press}, isbn = {978-1-60750-753-6}, issn = {0922-6389}, } @incollection{DohHeiLan:2011:463627, author = {Patrick Doherty and Fredrik Heintz and David Land\'en}, title = {{A Delegation-Based Architecture for Collaborative Robotics}}, year = {2011}, booktitle = {Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers}, pages = {205--247}, editor = {Danny Weyns and Marie-Pierre Gleizes}, series = {Lecture Notes in Computer Science}, volume = {6788}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-22635-9}, issn = {0302-9743}, doi = {10.1007/978-3-642-22636-6\_13}, } @inproceedings{DohHei:2011:463624, author = {Patrick Doherty and Fredrik Heintz}, title = {{A Delegation-Based Cooperative Robotic Framework}}, year = {2011}, booktitle = {Proceedings of the IEEE International Conference on Robotics and Biomimetic}, publisher = {IEEE conference proceedings}, } @inproceedings{MalSza:2011:461581, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Living with Inconsistency and Taming Nonmonotonicity}}, year = {2011}, booktitle = {Datalog Reloaded}, pages = {334--398}, editor = {O. de Moor and G. Gottlob and T. Furche and A. Sellers}, series = {Lecture Notes in Computer Science}, volume = {6702}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-24205-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-24206-9\_22}, } @inproceedings{CaoNguSza:2011:461571, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL: A Web Ontology Rule Language}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Knowledge and Systems Engineering ({KSE})}, pages = {32--39}, publisher = {IEEE}, isbn = {978-1-4577-1848-9}, doi = {10.1109/KSE.2011.14}, } @inproceedings{DohDunSza:2011:461565, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Tractable model checking for fragments of higher-order coalition logic}}, year = {2011}, booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2}, pages = {743--750}, editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum}, publisher = {AAAI Press}, isbn = {0-9826571-6-1, 978-0-9826571-6-4}, } @inproceedings{CaoNguSza:2011:461560, author = {Son Thanh Cao and Anh Linh Nguyen and Andrzej Szalas}, title = {{On the Web Ontology Rule Language OWL 2 RL}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications ({ICCCI})}, pages = {254--264}, editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Kiem Hoang}, series = {Lecture Notes in Computer Science}, volume = {6922}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-23934-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-23935-9\_25}, } @inproceedings{DohMicEtAl:2011:461555, author = {Patrick Doherty and Tomasz Michalak and Jacek Sroka and Andrzej Szalas}, title = {{Contextual Coalitional Games}}, year = {2011}, booktitle = {Proceedings of the 4th Indian Conference on Logic and its Applications ({ICLA})}, pages = {65--78}, editor = {Mohua Banerjee and Anil Seth}, series = {Lecture Notes in Artificial Intelligence}, volume = {6521}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/978-3-642-18026-2\_7}, } @article{DunNguSza:2011:461548, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {1}, pages = {61--81}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.21.61-91}, } @article{NguSza:2011:461546, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse}}, year = {2011}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {98}, number = {3}, pages = {387--428}, publisher = {Springer Berlin/Heidelberg}, issn = {0039-3215}, doi = {10.1007/s11225-011-9341-3}, } @article{MalSza:2011:461544, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {2}, pages = {211--232}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.21.211-232}, } @article{KleDor:2011:459944, author = {Alexander Kleiner and Christian Dornhege}, title = {{Mapping for the Support of First Responders in Critical Domains}}, year = {2011}, journal = {Journal of Intelligent and Robotic Systems}, volume = {64}, number = {1}, pages = {7--31}, publisher = {Springer}, issn = {0921-0296}, doi = {10.1007/s10846-010-9520-x}, } @article{KmmSteEtAl:2011:459942, author = {R. K\"ummerle and B. Steder and C. Dornhege and Alexander Kleiner and G. Grisetti and W. Burgard}, title = {{Large Scale Graph-based SLAM using Aerial Images as Prior Information}}, year = {2011}, journal = {Autonomous Robots}, volume = {30}, number = {1}, pages = {25--39}, publisher = {Springer}, issn = {0929-5593}, doi = {10.1007/s10514-010-9204-1}, } @inproceedings{KleNebZip:2011:459936, author = {Alexander Kleiner and B. Nebel and V. Ziparo}, title = {{A Mechanism for Dynamic Ride Sharing based on Parallel Auctions}}, year = {2011}, booktitle = {22th International Joint Conference on Artificial Intelligence ({IJCAI})}, pages = {266--272}, } @inproceedings{HamReiKle:2011:459934, author = {Q. Hamp and L. Reindl and Alexander Kleiner}, title = {{Lessons Learned from German Research for USAR}}, year = {2011}, booktitle = {IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, note = {Winner of the Young Author's Award}, } @inproceedings{KolKleEtAl:2011:459931, author = {A. Kolling and Alexander Kleiner and M. Lewis and K. Sycara}, title = {{Computing and Executing Strategies for Moving Target Search}}, year = {2011}, booktitle = {IEEE Int. Conf. on Robotics and Automation ({ICRA})}, pages = {4246--4253}, publisher = {IEEE}, doi = {10.1109/ICRA.2011.5980277}, } @inproceedings{MeyBeiEtAl:2011:459930, author = {D. Meyer-Delius and M. Beinhofer and Alexander Kleiner and W. Burgard}, title = {{Using artificial landmarks to reduce the ambiguity in the environment of a mobile robot}}, year = {2011}, booktitle = {IEEE Int. Conf. on Robotics and Automation ({ICRA})}, pages = {5173--5178}, doi = {10.1109/ICRA.2011.5980111}, } @inproceedings{KleSunMey:2011:459928, author = {Alexander Kleiner and D. Sun and D. Meyer-Delius}, title = {{ARMO - Adaptive Road Map Optimization for Large Robot Teams}}, year = {2011}, booktitle = {IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {3276--3282}, publisher = {IEEE conference proceedings}, doi = {10.1109/IROS.2011.6048339}, } @mastersthesis{Dra:2011:454792, author = {Zlatan Dragisic}, title = {{Semantic Matching for Stream Reasoning}}, year = {2011}, isrn = {LIU-IDA/LITH-EX-A--11/041--SE}, school = {Link"opings universitet}, } @article{BulCudEtAl:2011:453990, author = {Mark Buller and Paul Cuddihy and Ernest Davis and Patrick Doherty and Finale Doshi-Velez and Esra Erdem and Douglas Fisher and Nancy Green and Knut Hinkelmann and James McLurkin and Mary Lou Maher and Rajiv Maheswaran and Sara Rubinelli and Nathan Schurr and Donia Scott and Dylan Shell and Pedro Szekely and Barbara Thoenssen and Arnold B Urken}, title = {{Reports of the AAAI 2011 Spring Symposia}}, year = {2011}, journal = {The AI Magazine}, volume = {32}, number = {3}, pages = {119--127}, publisher = {AAAI Press}, issn = {0738-4602}, } @phdthesis{Rud:2011:450766, author = {Piotr Rudol}, title = {{Increasing Autonomy of Unmanned Aircraft Systems Through the Use of Imaging Sensors}}, year = {2011}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1510}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-034-5}, issn = {0280-7971}, } @phdthesis{Wzo:2011:447052, author = {Mariusz Wzorek}, title = {{Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems}}, year = {2011}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1509}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-037-6}, issn = {0280-7971}, } @phdthesis{Lan:2011:444066, author = {David Land\'en}, title = {{Complex Task Allocation for Delegation: From Theory to Practice}}, year = {2011}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1506}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-048-2}, issn = {0280-7971}, } @mastersthesis{Ali:2011:435402, author = {Marjan Alirezaie}, title = {{Semantic Analysis Of Multi Meaning Words Using Machine Learning And Knowledge Representation}}, year = {2011}, isrn = {LiU/IDA-EX-A- -11/011- -SE}, school = {Link"opings universitet}, } @phdthesis{War:2011:411037, author = {H{\aa}kan Warnquist}, title = {{Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis}}, year = {2011}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1490}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-151-9}, issn = {0280-7971}, } @phdthesis{Ols:2011:406913, author = {Per-Magnus Olsson}, title = {{Positioning Algorithms for Surveillance Using Unmanned Aerial Vehicles}}, year = {2011}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1476}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-200-4}, issn = {0280-7971}, } @article{San:2011:400660, author = {Erik Sandewall}, title = {{From systems to logic in the early development of nonmonotonic reasoning}}, year = {2011}, journal = {Artificial Intelligence}, volume = {175}, number = {1}, pages = {416--427}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2010.04.013}, } @article{San:2010:510493, author = {Erik Sandewall}, title = {{Exercising Moral Copyright for Evolving Publications}}, year = {2010}, journal = {ScieCom Info}, volume = {6}, number = {3}, publisher = {Svenskt Resurscentrum f\"or Vetenskaplig Kommunikation}, issn = {1652-3202}, } @inproceedings{DunNguSza:2010:499765, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Graded Beliefs, Goals and Intentions}}, year = {2010}, booktitle = {Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems ({LAMAS})}, pages = {1--15}, publisher = {AAAI Press}, } @inproceedings{BerLac:2010:469430, author = {Cyrille Berger and Simon Lacroix}, title = {{DSeg: D\'etection directe de segments dans une image}}, year = {2010}, booktitle = {17\`eme congr\`es francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle ({RFIA})}, } @inproceedings{VelKleEtAl:2010:460009, author = {Prasanna Velagapudi and Alexander Kleiner and Nathan Brooks and Paul Scerri and Michael Lewis and Katia Sycara}, title = {{RoboCupRescue - Virtual Robots Team STEEL (USA)}}, year = {2010}, booktitle = {RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Simulation League}, } @inproceedings{DorBenEtAl:2010:460007, author = {Christian Dornhege and Johannes Bendler and Roxana Bersan and Philipp Blohm and Martin Gloderer and Andreas Hertle and Thomas Liebetraut and Diego Cerdan Puyol and Alexander Kleiner and Bernhard Nebel}, title = {{RoboCupRescue 2010 - Robot League Team RescueRobots Freiburg (Germany)}}, year = {2010}, booktitle = {RoboCup 2010 (CDROM Proceedings), Team Description Paper, Rescue Robot League}, } @inproceedings{MouKle:2010:460001, author = {Wei Mou and Alexander Kleiner}, title = {{Online Learning Terrain Classification for Adaptive Velocity Control}}, year = {2010}, booktitle = {In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, pages = {1--7}, doi = {10.1109/SSRR.2010.5981563}, } @inproceedings{SchJacEtAl:2010:459999, author = {S\"oren Schwertfeger and Adam Jacoff and Chris Scrapper and Johannes Pellenz and Alexander Kleiner}, title = {{Evaluation of Maps using Fixed Shapes: The Fiducial Map Metric}}, year = {2010}, booktitle = {Proc. of the Int. Workshop on Performance Metrics for Intelligent Systems (PerMIS)}, pages = {344--351}, publisher = {NIST}, } @inproceedings{KolKleEtAl:2010:459951, author = {A. Kolling and Alexander Kleiner and M. Lewis and K. Sycara}, title = {{Solving Pursuit-Evasion Problems on Height Maps}}, year = {2010}, booktitle = {IEEE International Conference on Robotics and Automation (ICRA 2010) Workshop: Search and Pursuit/Evasion in the Physical World: Efficiency, Scalability, and Guarantees}, publisher = {IEEE}, } @inproceedings{MaiKle:2010:459948, author = {D. Maier and Alexander Kleiner}, title = {{Improved GPS Sensor Model for Mobile Robots in Urban Terrain}}, year = {2010}, booktitle = {IEEE Int. Conf. on Robotics and Automation ({ICRA})}, pages = {4385--4390}, publisher = {IEEE}, isbn = {978-1-4244-5038-1}, doi = {10.1109/ROBOT.2010.5509895}, } @inproceedings{KolKleEtAl:2010:459947, author = {A. Kolling and Alexander Kleiner and M. Lewis and K. Sycara}, title = {{Pursuit-Evasion in 2.5d based on Team-Visibility}}, year = {2010}, booktitle = {IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {4610--4616}, publisher = {IEEE}, isbn = {978-1-4244-6674-0}, doi = {10.1109/IROS.2010.5649270}, } @inproceedings{SunKleSch:2010:459940, author = {D. Sun and Alexander Kleiner and C. Schindelhauer}, title = {{Decentralized Hash Tables For Mobile Robot Teams Solving Intra-Logistics Tasks}}, year = {2010}, booktitle = {9th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2010)}, pages = {923--930}, publisher = {International Foundation for Autonomous Agents and}, } @inproceedings{NguSza:2010:400674, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Three-Valued Paraconsistent Reasoning for Semantic Web Agents}}, year = {2010}, booktitle = {Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems -- Technologies and Applications (KES-AMSTA)}, pages = {152--162}, series = {Lecture Notes in Artificial Intelligence}, volume = {6070}, publisher = {Springer}, isbn = {978-3-642-13479-1}, issn = {0302-9743}, doi = {10.1007/978-3-642-13480-7\_17}, } @article{NguSza:2010:400673, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH}}, year = {2010}, journal = {Transactions on Computational Collective Intelligence}, number = {1}, pages = {21--38}, publisher = {Springer}, isbn = {978-3-642-15033-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-15034-0\_2}, } @article{San:2010:379122, author = {Erik Sandewall}, title = {{Defeasible inheritance with doubt index and its axiomatic characterization}}, year = {2010}, journal = {Artificial Intelligence}, volume = {174}, number = {18}, pages = {1431--1459}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2010.09.001}, } @article{NguSza:2010:371275, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {102}, number = {1}, pages = {97--113}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-299}, } @inproceedings{DohKvaEtAl:2010:355063, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz and David Land\'en and Per-Magnus Olsson}, title = {{Research with Collaborative Unmanned Aircraft Systems}}, year = {2010}, booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics}, editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri}, series = {Dagstuhl Seminar Proceedings}, volume = {10081}, publisher = {Leibniz-Zentrum f\"ur Informatik}, issn = {1862-4405}, } @article{BurDohEtAl:2010:354877, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Per-Magnus Olsson}, title = {{Optimal placement of UV-based communications relay nodes}}, year = {2010}, journal = {Journal of Global Optimization}, volume = {48}, number = {4}, pages = {511--531}, publisher = {Springer}, issn = {0925-5001}, 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/}, } @inproceedings{RudWzoDoh:2010:354593, author = {Piotr Rudol and Mariusz Wzorek and Patrick Doherty}, title = {{Vision-based Pose Estimation for Autonomous Indoor Navigation of Micro-scale Unmanned Aircraft Systems}}, year = {2010}, booktitle = {Proceedings of the 2010 IEEE International Conference on Robotics and Automation ({ICRA})}, pages = {1913--1920}, series = {Proceedings - IEEE International Conference on Robotics and Automation}, volume = {2010}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-5038-1}, issn = {1050-4729}, doi = {10.1109/ROBOT.2010.5509203}, } @inproceedings{WzoKvaDoh:2010:354495, author = {Mariusz Wzorek and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Choosing Path Replanning Strategies for Unmanned Aircraft Systems}}, year = {2010}, booktitle = {Proceedings of the Twentieth International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {193--200}, editor = {Ronen Brafman and H\'ector Geffner and J\"org Hoffmann and Henry Kautz}, publisher = {AAAI Press}, isbn = {978-1-57735-449-9}, } @inproceedings{HeiKvaDoh:2010:354332, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Reasoning in DyKnow}}, year = {2010}, booktitle = {Proceedings of the Dagstuhl Workshop on Cognitive Robotics}, editor = {Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri}, series = {Dagstuhl Seminar Proceedings}, volume = {10081}, publisher = {Leibniz-Zentrum f\"ur Informatik}, issn = {1862-4405}, } @inproceedings{HeiKvaDoh:2010:354331, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Middleware Support for Embedded Reasoning}}, year = {2010}, booktitle = {Proceedings of the AAAI Spring Symposium on Embedded Reasoning: Intelligence in Embedded Systems ({ER})}, } @article{KryHeiEtAl:2010:354330, author = {Mattias Krysander and Fredrik Heintz and Jacob Roll and Erik Frisk}, title = {{FlexDx: A reconfigurable diagnosis framework}}, year = {2010}, journal = {Engineering applications of artificial intelligence}, volume = {23}, number = {8}, pages = {1303--1313}, publisher = {Elsevier}, issn = {0952-1976}, 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/
}, } @inproceedings{HeiKvaDoh:2010:354329, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream-Based Reasoning Support for Autonomous Systems}}, year = {2010}, booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI})}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, publisher = {IOS Press}, isbn = {978-1-60750-605-8}, issn = {0922-6389}, doi = {10.3233/978-1-60750-606-5-183}, } @inproceedings{HeiDoh:2010:354328, author = {Fredrik Heintz and Patrick Doherty}, title = {{Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs}}, year = {2010}, booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision ({ICARCV})}, pages = {1063--1069}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-7814-9}, doi = {10.1109/ICARCV.2010.5707967}, } @inproceedings{KvaDoh:2010:353977, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Automated Planning for Collaborative UAV Systems}}, year = {2010}, booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision ({ICARCV})}, pages = {1078--1085}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-7813-2, 978-1-4244-7814-9}, doi = {10.1109/ICARCV.2010.5707969}, } @inproceedings{OlsKvaEtAl:2010:353975, author = {Per-Magnus Olsson and Jonas Kvarnstr\"om and Patrick Doherty and Oleg Burdakov and Kaj Holmberg}, title = {{Generating UAV Communication Networks for Monitoring and Surveillance}}, year = {2010}, booktitle = {Proceedings of the 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)}, pages = {1070--1077}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-7814-9}, doi = {10.1109/ICARCV.2010.5707968}, } @inproceedings{WarKvaDoh:2010:353971, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Iterative Bounding LAO*}}, year = {2010}, booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI})}, pages = {341--346}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, publisher = {IOS Press}, isbn = {978-1-60750-605-8, 978-1-60750-606-5}, issn = {0922-6389}, doi = {10.3233/978-1-60750-606-5-341}, } @inproceedings{Kva:2010:353969, author = {Jonas Kvarnstr\"om}, title = {{Planning for Loosely Coupled Agents using Partial Order Forward-Chaining}}, year = {2010}, booktitle = {Proceedings of the National Swedish Artificial Intelligence Workshop ({SAIS})}, editor = {Roland Bol}, series = {Link\"oping Electronic Conference Proceedings}, volume = {48}, publisher = {Link\"oping University Electronic Press, Link\"opings universitet}, issn = {1650-3686 (print), 1650-3740 (online)}, } @inproceedings{DohSza:2010:353173, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correctness of Rough-Set Based Approximate Reasoning}}, year = {2010}, booktitle = {Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {327--336}, editor = {M. Szczuka and M. Kryszkiewicz and S. Ramanna and R. Jensen and Q. Hu}, series = {Lecture Notes in Computer Science}, volume = {6086}, publisher = {Springer}, isbn = {978-3-642-13528-6}, issn = {0302-9743}, doi = {10.1007/978-3-642-13529-3\_35}, } @article{DunAnhSza:2010:345778, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Framework for Graded Beliefs, Goals and Intentions}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {100}, number = {1-4}, pages = {53--76}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-263}, } @article{DunNguSza:2010:337938, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Layered Rule-Based Architecture for Approximate Knowledge Fusion}}, year = {2010}, journal = {COMPUTER SCIENCE AND INFORMATION SYSTEMS}, volume = {7}, number = {3}, pages = {617--642}, publisher = {COMSIS CONSORTIUM}, issn = {1820-0214}, doi = {10.2298/CSIS100209015D}, } @article{BurDohEtAl:2010:337902, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Relay Positioning for Unmanned Aerial Vehicle Surveillance}}, year = {2010}, journal = {The international journal of robotics research}, volume = {29}, number = {8}, pages = {1069--1087}, publisher = {Sage Publications}, issn = {0278-3649}, doi = {10.1177/0278364910369463}, } @article{DunAnhSza:2010:308420, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic}}, year = {2010}, journal = {International Journal of Approximate Reasoning}, volume = {51}, number = {3}, pages = {346--362}, publisher = {Elsevier}, issn = {0888-613X}, doi = {10.1016/j.ijar.2009.11.002}, } @article{Eli:2010:302287, author = {Karolina Eliasson}, title = {{A case-based approach to dialogue systems}}, year = {2010}, journal = {Journal of experimental and theoretical artificial intelligence (Print)}, volume = {22}, number = {1}, pages = {23--51}, publisher = {Taylor \& Francis}, issn = {0952-813X}, doi = {10.1080/09528130902723708}, } @mastersthesis{sli:2010:302092, author = {Fredrik {\AA}slin}, title = {{Evaluation of Hierarchical Temporal Memory in algorithmic trading}}, year = {2010}, isrn = {LIU-IDA/LITH-EX-G--10/005--SE}, school = {Link"opings universitet}, } @article{HeiKvaDoh:2010:300370, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing}}, year = {2010}, journal = {Advanced Engineering Informatics}, volume = {24}, number = {1}, pages = {14--26}, publisher = {Elsevier}, issn = {1474-0346}, doi = {10.1016/j.aei.2009.08.007}, } @incollection{BurDohEtAl:2010:242169, author = {Oleg Burdakov and Patrick Doherty and Kaj Holmberg and Jonas Kvarnstr\"om and Per-Magnus Olsson}, title = {{Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks}}, year = {2010}, booktitle = {Robotics: Science and Systems V}, pages = {257--264}, editor = {J. Trinkle and Y. Matsuoka and J.A. Castellanos}, publisher = {MIT Press}, isbn = {978-0-262-51463-7}, } @inproceedings{DunNguSza:2009:499763, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Fusing Approximate Knowledge from Distributed Sources}}, year = {2009}, booktitle = {Proceedings of the 3rd International Symposium on Intelligent Distributed Computing ({IDC})}, pages = {75--86}, series = {Studies in Computational Intelligence}, volume = {237}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-03213-4, 978-3-642-26930-1}, issn = {1860-949X}, doi = {10.1007/978-3-642-03214-1\_8}, } @inproceedings{NguSza:2009:499730, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*}}, year = {2009}, booktitle = {Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS\&P)}, pages = {431--442}, } @inproceedings{NguSza:2009:499728, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{An Optimal Tableau Decision Procedure for Converse-PDL}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Knowlegde and Systems Engineering ({KSE})}, pages = {207--214}, publisher = {IEEE Computer Society}, isbn = {978-1-4244-5086-2}, doi = {10.1109/KSE.2009.12}, } @phdthesis{Ber:2009:472088, author = {Cyrille Berger}, title = {{Perception de la g\'eom\'etrie de l'environment pour la navigation autonome}}, year = {2009}, publisher = {Universit\'e de Toulouse}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{VidBerEtAl:2009:472038, author = {Teresa Vidal-Calleja and Cyrille Berger and Joan Sol\`a and Simon Lacroix}, title = {{Environment Modeling for Cooperative Aerial/Ground Robotic Systems}}, year = {2009}, booktitle = {Proceedings of the 14th International Symposium on Robotics Research ({ISRR})}, pages = {681--696}, series = {Springer Tracts in Advanced Robotics}, volume = {70}, publisher = {Springer}, isbn = {978-3-642-19456-6}, issn = {1610-7438}, doi = {10.1007/978-3-642-19457-3\_40}, } @inproceedings{VidBerLac:2009:472030, author = {Teresa Vidal-Calleja and Cyrille Berger and Simon Lacroix}, title = {{Event-driven loop closure in multi-robot mapping}}, year = {2009}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems ({IROS})}, pages = {1535--1540}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-3803-7}, doi = {10.1109/IROS.2009.5354335}, } @inproceedings{KleScrJac:2009:459998, author = {Alexander Kleiner and Chris Scrapper and Adam Jacoff}, title = {{RoboCupRescue Interleague Challenge 2009: Bridging the gap between Simulation and Reality}}, year = {2009}, booktitle = {In Proc. of the Int. Workshop on Performance Metrics for Intelligent Systems (PerMIS)}, pages = {123--129}, } @inproceedings{SunKleWen:2009:459991, author = {Dali Sun and Alexander Kleiner and Thomas M. Wendt}, title = {{Multi-Robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue}}, year = {2009}, booktitle = {Robocup 2008: Robot Soccer World Cup XII}, pages = {318--330}, } @techreport{Kle:2009:459957, author = {Alexander Kleiner}, title = {{Mapping and Exploration for Search and Rescue with Humans and Mobile Robots}}, year = {2009}, publisher = {University of Freiburg}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, note = {This is a Ph.D. thesis originally defended at University of Freiburg.}, } @inproceedings{BurStaEtAl:2009:459953, author = {W. Burgard and C. Stachniss and G. Grisetti and B. Steder and R. K\"ummerle and C. Dornhege and M. Ruhnke and Alexander Kleiner and Juan D. Tard\'os}, title = {{A Comparison of SLAM Algorithms Based on a Graph of Relations}}, year = {2009}, booktitle = {IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {2089--2095}, publisher = {IEEE conference proceedings}, doi = {10.1109/IROS.2009.5354691}, } @inproceedings{KleDor:2009:459950, author = {Alexander Kleiner and C. Dornhege}, title = {{Operator-Assistive Mapping in Harsh Environments}}, year = {2009}, booktitle = {IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, pages = {1--6}, publisher = {IEEE}, isbn = {978-1-4244-5627-7}, doi = {10.1109/SSRR.2009.5424159}, note = {(Best Paper Award Finalist)}, } @inproceedings{KmmSteEtAl:2009:459939, author = {R. K\"ummerle and B. Steder and C. Dornhege and Alexander Kleiner and G. Grisetti and W. Burgard}, title = {{Large Scale Graph-based SLAM using Aerial Images as Prior Information}}, year = {2009}, booktitle = {Proceedings of Robotics Science and Systems ({RSS})}, publisher = {MIT Press}, } @article{KmmSteEtAl:2009:459937, author = {R. K\"ummerle and B. Steder and C. Dornhege and M. Ruhnke and G. Grisetti and C. Stachniss and Alexander Kleiner}, title = {{On Measuring the Accuracy of SLAM Algorithms}}, year = {2009}, journal = {Autonomous Robots}, volume = {27}, number = {4}, pages = {387--407}, publisher = {Springer}, issn = {0929-5593}, doi = {10.1007/s10514-009-9155-6}, } @article{GabSza:2009:400675, author = {Dov Gabbay and Andrzej Szalas}, title = {{Annotation Theories over Finite Graphs}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {93}, number = {2-3}, pages = {147--180}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9220-3}, } @inproceedings{PerWarNyb:2009:353994, author = {Anna Pernest{\aa}l and H{\aa}kan Warnquist and Mattias Nyberg}, title = {{Modeling and Troubleshooting with Interventions Applied to an Auxiliary Truck Braking System}}, year = {2009}, booktitle = {Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems ({DCDS})}, } @article{VitMalSza:2009:286646, author = {Aida Vitoria and Jan Maluszynski and Andrzej Szalas}, title = {{Modelling and Reasoning with Paraconsistent Rough Sets}}, year = {2009}, journal = {Fundamenta Informaticae}, volume = {97}, number = {4}, pages = {405--438}, issn = {0169-2968}, doi = {10.3233/FI-2009-209}, } @techreport{PerNybWar:2009:278135, author = {Anna Pernest{\aa}l and Mattias Nyberg and H{\aa}kan Warnquist}, title = {{Modeling and Efficient Inference for Troubleshooting Automotive Systems}}, year = {2009}, series = {LiTH-ISY-R}, volume = {2921}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1400-3902}, } @inproceedings{WarKvaDoh:2009:273347, author = {H{\aa}kan Warnquist and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Planning as Heuristic Search for Incremental Fault Diagnosis and Repair}}, year = {2009}, booktitle = {Proceedings of the Scheduling and Planning Applications Workshop ({SPARK}) at the 19th International Conference on Automated Planning and Scheduling ({ICAPS})}, } @inproceedings{WarPerNyb:2009:273344, author = {H{\aa}kan Warnquist and Anna Pernest{\aa}l and Mattias Nyberg}, title = {{Anytime Near-Optimal Troubleshooting Applied to a Auxiliary Truck Braking System}}, year = {2009}, booktitle = {Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes}, pages = {1306--1311}, } @techreport{BurHolEtAl:2009:272756, author = {Oleg Burdakov and Kaj Holmberg and Patrick Doherty and Per-Magnus Olsson}, title = {{Optimal placement of communications relay nodes}}, year = {2009}, series = {LiTH-MAT-R}, volume = {2009:3}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0348-2960}, } @incollection{DohKva:2009:257634, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Temporal Action Logics}}, year = {2009}, booktitle = {Handbook of Knowledge Representation}, pages = {709--757}, editor = {V. Lifschitz and F. van Harmelen and and F. Porter}, series = {Foundations of Artificial Intelligence}, volume = {3}, publisher = {Elsevier}, isbn = {978-0-444-52211-5}, issn = {1574-6526}, doi = {10.1016/S1574-6526(07)03018-0}, } @inproceedings{MagLanDoh:2009:249052, author = {Martin Magnusson and David Land\'en and Patrick Doherty}, title = {{Logical Agents that Plan, Execute, and Monitor Communication}}, year = {2009}, booktitle = {Proceedings of the 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2)}, } @inproceedings{MagDoh:2009:249049, author = {Martin Magnusson and Patrick Doherty}, title = {{Planning Speech Acts in a Logic of Action and Change}}, year = {2009}, booktitle = {Proceedings of the 25th Workshop of the Swedish Artificial Intelligence Society (SAIS 2009)}, series = {Link\"oping Electronic Conference Proceedings}, publisher = {LiU E-Press}, issn = {1650-3686}, } @article{DohKvaHei:2009:249047, author = {Patrick Doherty and Jonas Kvarnstr\"om and Fredrik Heintz}, title = {{A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems}}, year = {2009}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {19}, number = {3}, pages = {332--377}, publisher = {Springer}, issn = {1387-2532}, doi = {10.1007/s10458-009-9079-8}, } @inproceedings{HeiKvaDoh:2009:249045, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Stream Reasoning in DyKnow: A Knowledge Processing Middleware System}}, year = {2009}, booktitle = {Proceedings of the Stream Reasoning Workshop}, series = {CEUR Workshop Proceedings}, volume = {466}, publisher = {M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen}, issn = {1613-0073}, } @proceedings{HeiKva:2009:246141, author = {Fredrik Heintz and Jonas Kvarnstr\"om}, title = {{Proceedings of the Swedish AI Society Workshop 2009}}, year = {2009}, series = {Link\"oping Electronic Conference Proceedings}, volume = {35}, publisher = {Link\"oping University Electronic Press, Link\"opings universitet}, issn = {1650-3686}, } @incollection{SzaSza:2009:242262, author = {Andrzej Szalas and Alicja Szalas}, title = {{Paraconsistent Reasoning with Words}}, year = {2009}, booktitle = {Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday}, pages = {43--58}, series = {Lecture Notes in Computer Science}, volume = {5070}, publisher = {Springer}, isbn = {978-3-642-04734-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-04735-0\_2}, } @article{SzaGab:2009:242260, author = {Andrzej Szalas and Dov Gabbay}, title = {{Voting by Eliminating Quantifiers}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {92}, number = {3}, pages = {365--379}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9200-7}, } @inproceedings{SzaNgu:2009:242257, author = {Andrzej Szalas and Linh Anh Nguyen}, title = {{EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems ({ICCCI})}, pages = {437--448}, editor = {Ngoc Thanh; Kowalczyk and Ryszard; Chen and Shyi-Ming}, series = {Lecture Notes in Artificial Intelligence}, volume = {5796}, publisher = {Springer}, isbn = {978-3-642-04440-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-04441-0\_38}, } @inproceedings{MagKvaDoh:2009:242160, author = {Martin Magnusson and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Abductive Reasoning with Filtered Circumscription}}, year = {2009}, booktitle = {Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change ({NRAC})}, publisher = {UTSePress}, isbn = {978-0-9802840-7-2}, } @inproceedings{HeiKvaDoh:2009:242158, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{A Stream-Based Hierarchical Anchoring Framework}}, year = {2009}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems ({IROS})}, pages = {5254--}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-3803-7}, doi = {10.1109/IROS.2009.5354372}, } @inproceedings{WigDal:2009:241049, author = {M. Wiggberg and Peter Dalenius}, title = {{Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Computer Supported Education ({CSEDU})}, pages = {5--12}, isbn = {978-989-8111-82-1}, } @inproceedings{NguSza:2009:240915, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{A tableau calculus for regular grammar logics with converse}}, year = {2009}, booktitle = {Proceedings of the 22nd International Conference on Automated Deduction ({CADE})}, pages = {421--436}, series = {Lecture Notes in Artificial Intelligence}, volume = {5663}, publisher = {Springer}, isbn = {978-364202958-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-02959-2\_31}, } @article{ConDoh:2009:234039, author = {Gianpaolo Conte and Patrick Doherty}, title = {{Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information}}, year = {2009}, journal = {EURASIP Journal on Advances in Signal Processing}, volume = {2009}, number = {387308}, pages = {1--18}, publisher = {Hindawi Publishing Corporation}, issn = {1687-6172}, doi = {10.1155/2009/387308}, } @phdthesis{Con:2009:214103, author = {Gianpaolo Conte}, title = {{Vision-Based Localization and Guidance for Unmanned Aerial Vehicles}}, year = {2009}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {1260}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-603-3}, issn = {0345-7524}, } @mastersthesis{Per:2009:211158, author = {Tommy Persson}, title = {{Evaluating the use of DyKnow in multi-UAV traffic monitoring applications}}, year = {2009}, isrn = {LIU-IDA/LITH-EX-A--09/019--SE}, school = {Link"opings universitet}, } @phdthesis{Hei:2009:159661, author = {Fredrik Heintz}, title = {{DyKnow: A Stream-Based Knowledge Processing Middleware Framework}}, year = {2009}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {1240}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978--91--7393--696--5}, issn = {0345-7524}, } @inproceedings{ConDoh:2008:505233, author = {Gianpaolo Conte and Patrick Doherty}, title = {{Use of Geo-referenced Images with Unmanned Aerial Systems}}, year = {2008}, booktitle = {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}, } @inproceedings{BerLac:2008:472230, author = {Cyrille Berger and Simon Lacroix}, title = {{Mod\'elisation de l'environnement par facettes planes pour la Cartographie et la Localisation Simultan\'ees par st\'er\'eovision}}, year = {2008}, booktitle = {Reconnaissance des Formes et Intelligence Artificielle ({RFIA})}, } @inproceedings{BerLac:2008:472024, author = {Cyrille Berger and Simon Lacroix}, title = {{Using planar facets for stereovision SLAM}}, year = {2008}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent RObots and Systems ({IROS})}, pages = {1606--1611}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-2057-5}, doi = {10.1109/IROS.2008.4650986}, } @inproceedings{DorKleEtAl:2008:460016, author = {Christian Dornhege and Alexander Kleiner and Rainer K\"ummerle and Bastian Steder and Wolfram Burgard and Bernhard Nebel}, title = {{SP-Freiburg TechX Challenge Technical Paper}}, year = {2008}, booktitle = {TechX Challenge}, note = {Finalist}, } @inproceedings{KleSteWot:2008:459986, author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa}, title = {{Towards Automated Online Diagnosis of Robot Navigation Software}}, year = {2008}, booktitle = {Proc. of Int. Conf. on Simulation, Modeling and Programming for Autonomous Robots ({SIMPAR})}, pages = {159--170}, series = {Lecture Notes in Computer Science}, volume = {5325}, publisher = {Springer}, issn = {1611-3349}, doi = {10.1007/978-3-540-89076-8\_18}, } @inproceedings{KleSteWot:2008:459982, author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa}, title = {{Automated Learning of Communication Models for Robot Control Software}}, year = {2008}, booktitle = {MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence ({ECAI})}, } @inproceedings{HolOls:2008:353956, author = {Anders Holmberg and Per-Magnus Olsson}, title = {{Route Planning for Relay UAV}}, year = {2008}, booktitle = {Proceedings of the 26th International Congress of the Aeronautical Sciences ({ICAS})}, publisher = {Optimage Ltd.}, isbn = {ISBN 0-9533991-9-2}, } @inproceedings{Ste:2008:343157, author = {Joe Steinhauer}, title = {{Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames}}, year = {2008}, booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI})}, pages = {821--822}, publisher = {IOS Press}, isbn = {978-1-58603-891-5}, doi = {10.3233/978-1-58603-891-5-821}, } @inproceedings{NybDoh:2008:343146, author = {Per Nyblom and Patrick Doherty}, title = {{Towards Automatic Model Generation by Optimization}}, year = {2008}, booktitle = {Proceedings of the 10th Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {114--123}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {173}, publisher = {IOS Press}, isbn = {978-1-58603-867-0, 978-1-60750-335-4}, issn = {0922-6389}, doi = {10.3233/978-1-58603-867-0-114}, } @inproceedings{WarNyb:2008:273340, author = {H{\aa}kan Warnquist and Mattias Nyberg}, title = {{A Heuristic for Near-Optimal Troubleshooting Using AO*}}, year = {2008}, booktitle = {Proceedings of the International Workshop on the Principles of Diagnosis}, } @inproceedings{WarNybSby:2008:273339, author = {H{\aa}kan Warnquist and Mattias Nyberg and Petter S\"aby}, title = {{Troubleshooting when Action Costs are Dependent with Application to a Truck Engine}}, year = {2008}, booktitle = {Proceedings of the 10th Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {68--75}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {173}, publisher = {IOS Press}, isbn = {978-1-60750-335-4, 978-1-58603-867-0}, issn = {0922-6389}, doi = {10.3233/978-1-58603-867-0-68}, } @article{San:2008:267485, author = {Erik Johan Sandewall}, title = {{Extending the concept of publication: Factbases and knowledgebases}}, year = {2008}, journal = {Learned Publishing}, volume = {21}, number = {2}, pages = {123--131}, publisher = {Association of Learned and Professional Society Publishers}, issn = {0953-1513}, doi = {10.1087/095315108X288893}, } @inproceedings{ConDoh:2008:265523, author = {Gianpaolo Conte and Patrick Doherty}, title = {{An Integrated UAV Navigation System Based on Aerial Image Matching}}, year = {2008}, booktitle = {IEEE Aerospace Conference 2008,2008}, } @inproceedings{ConHemEtAl:2008:265519, author = {Gianpaolo Conte and Maria Hempel and Piotr Rudol and David Lundstr\"om and Simone Duranti and Mariusz Wzorek and Patrick Doherty}, title = {{High Accuracy Ground Target Geo-Location Using Autonomous Micro Aerial Vehicle Platforms}}, year = {2008}, booktitle = {Proceedings of the AIAA Guidance, Navigation, and Control Conference ({GNC})}, publisher = {AIAA}, isbn = {978-1-56347-945-8}, } @inproceedings{RudDoh:2008:265516, author = {Piotr Rudol and Patrick Doherty}, title = {{Human Body Detection and Geolocalization for UAV Search and Rescue Missions Using Color and Thermal Imagery}}, year = {2008}, booktitle = {Proceedings of the IEEE Aerospace Conference}, pages = {1--8}, series = {Aerospace Conference Proceedings}, volume = {2008}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-1487-1}, issn = {1095-323X}, doi = {10.1109/Aero.2008.4526559}, } @article{Sza:2008:265495, author = {Andrzej Szalas}, title = {{Towards Incorporating Background Theories into Quantifier Elimination}}, year = {2008}, journal = {Journal of applied non-classical logics}, volume = {18}, number = {2-3}, pages = {325--340}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.18.325-340}, } @inproceedings{San:2008:265486, author = {Erik Sandewall}, title = {{Artificial Intelligence Needs Open-Access Knowledgebase Contents}}, year = {2008}, booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence ({AAAI})}, pages = {1602--1605}, publisher = {AAAI Press}, isbn = {978-1-57735-368-3, 978-1-57735-367-6}, note = {Senior Members track}, } @inproceedings{DohSza:2008:265481, author = {Patrick Doherty and Andrzej Szalas}, title = {{Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription}}, year = {2008}, booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {560--570}, editor = {Gerhard Brewka and J\'er\^ome Lang}, publisher = {AAAI Press}, isbn = {978-1-57735-384-3}, } @book{GabSchSza:2008:265478, author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas}, title = {{Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications}}, year = {2008}, series = {Studies in Logics}, volume = {12}, publisher = {College Publications}, isbn = {978-1-904987-56-7}, } @incollection{San:2008:265476, author = {Erik Sandewall}, title = {{The Leordo Computation System}}, year = {2008}, booktitle = {From Semantics to Computer Science: Essays in Honour of Gilles Kahn}, pages = {309--336}, publisher = {Cambridge University Press}, isbn = {9780521518253}, doi = {10.1017/CBO9780511770524.015}, } @inproceedings{Ste:2008:265473, author = {H.Joe Steinhauer}, title = {{Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions}}, year = {2008}, booktitle = {Proceedings of the 31st German Conference on Advances in Artificial Intelligence ({KI})}, pages = {348--355}, editor = {Dengel and A.; Berns and K.; Breuel and Th.; Bomarius and F.; Roth-Berghofer and Th.R.}, series = {Lecture Notes in Computer Science}, volume = {5243}, publisher = {Springer}, isbn = {978-3-540-85844-7}, issn = {0302-9743}, doi = {10.1007/978-3-540-85845-4\_43}, } @misc{San:2008:265466, author = {Erik Sandewall}, title = {{A Review of the Handbook of Knowledge Representation}}, year = {2008}, journal = {Artificial Intelligence}, volume = {172}, number = {18}, pages = {1965--1966}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2008.10.002}, } @inproceedings{HeiDoh:2008:265439, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow Federations: Distributing and Merging Information Among UAVs}}, year = {2008}, booktitle = {Proceedings of the 11th International Conference on Information Fusion ({FUSION})}, publisher = {IEEE conference proceedings}, isbn = {978-3-8007-3092-6}, } @inproceedings{MagDoh:2008:265435, author = {Martin Magnusson and Patrick Doherty}, title = {{Temporal Action Logic for Question Answering in an Adventure Game}}, year = {2008}, booktitle = {Artificial General Intelligence 2008. The First AGI Conference,2008}, pages = {236--247}, publisher = {IOS Press}, isbn = {9781586038335}, } @inproceedings{MagLanDoh:2008:265434, author = {Martin Magnusson and David Land\'en and Patrick Doherty}, title = {{Planning, Executing, and Monitoring Communication in a Logic-Based Multi-Agent System}}, year = {2008}, booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence ({ECAI})}, pages = {933--934}, publisher = {IOS Press}, isbn = {978-1-58603-891-5}, doi = {10.3233/978-1-58603-891-5-933}, } @inproceedings{MagDoh:2008:265433, author = {Martin Magnusson and Patrick Doherty}, title = {{Deductive Planning with Inductive Loops}}, year = {2008}, booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {528--534}, publisher = {AAAI Press}, isbn = {978-1-57735-384-3}, } @inproceedings{MagDoh:2008:265431, author = {Martin Magnusson and Patrick Doherty}, title = {{Logical Agents for Language and Action}}, year = {2008}, booktitle = {4th International Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2008,2008}, publisher = {AAAI Press}, isbn = {978-1-57735-391-1}, } @inproceedings{HeiKvaDoh:2008:265428, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Bridging the Sense-Reasoning Gap: DyKnow - A Middleware Component for Knowledge Processing}}, year = {2008}, booktitle = {IROS Workshop on Current Software Frameworks in Cognitive Robotics Integrating Different Computational Paradigms}, editor = {Martin Hulse and Manfred Hild}, note = {No proceedings, but CD
}, } @inproceedings{KvaHeiDoh:2008:265425, author = {Jonas Kvarnstr\"om and Fredrik Heintz and Patrick Doherty}, title = {{A Temporal Logic-Based Planning and Execution Monitoring System}}, year = {2008}, booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {198--}, publisher = {AAAI Press}, isbn = {978-1-57735-386-7, 978-1-57735-387-4}, } @inproceedings{OlsDoh:2008:265414, author = {Per-Magnus Olsson and Patrick Doherty}, title = {{The Observer Algorithm For Visibility Approximation}}, year = {2008}, booktitle = {Proceedings of the 10th Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {3--11}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {173}, publisher = {IOS Press}, isbn = {978-1-58603-867-0, 978-1-60750-335-4}, issn = {0922-6389}, doi = {10.3233/978-1-58603-867-0-3}, } @inproceedings{KarSchEtAl:2008:265136, author = {Rickard Karlsson and Thomas Sch\"on and David T\"ornqvist and Gianpaolo Conte and Fredrik Gustafsson}, title = {{Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application}}, year = {2008}, booktitle = {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}, } @inproceedings{KryHeiEtAl:2008:265126, author = {Mattias Krysander and Fredrik Heintz and Jacob Roll and Erik Frisk}, title = {{Dynamic Test Selection for Reconfigurable Diagnosis}}, year = {2008}, booktitle = {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}, } @inproceedings{VitSzaMal:2008:264421, author = {Aida Vitoria and Andrzej Szalas and Jan Maluszynski}, title = {{Four-valued Extension of Rough Sets}}, year = {2008}, booktitle = {Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology ({RSKT})}, pages = {106--114}, series = {Lecture Notes in Computer Science}, volume = {5009}, publisher = {Springer}, isbn = {978-3-540-79720-3}, issn = {0302-9743}, doi = {10.1007/978-3-540-79721-0\_19}, } @inproceedings{MalVitSza:2008:264420, author = {Jan Maluszynski and Aida Vitoria and Andrzej Szalas}, title = {{Paraconsistent Logic Programs with Four-valued Rough Sets}}, year = {2008}, booktitle = {Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {41--}, series = {Lecture Notes in Computer Science}, volume = {5306}, publisher = {Springer}, isbn = {978-3-540-88423-1}, issn = {0302-9743}, doi = {10.1007/978-3-540-88425-5\_5}, } @inproceedings{KarSchEtAl:2008:264367, author = {Rickard Karlsson and Thomas Sch\"on and David T\"ornqvist and Gianpaolo Conte and Fredrik Gustafsson}, title = {{Utilizing Model Structure for Efficient Simultaneous Localization and Mapping for a UAV Application}}, year = {2008}, booktitle = {Proceedings of Reglerm\"ote 2008}, pages = {313--322}, } @inproceedings{HeiKryEtAl:2008:263692, author = {Fredrik Heintz and Mattias Krysander and Jacob Roll and Erik Frisk}, title = {{FlexDx: A Reconfigurable Diagnosis Framework}}, year = {2008}, booktitle = {Proceedings of the 19th International Workshop on Principles of Diagnosis ({DX})}, } @incollection{Ols:2008:261848, author = {Per-Magnus Olsson}, title = {{Practical Pathfinding in Dynamic Environments}}, year = {2008}, booktitle = {AI Game Programming Wisdom 4}, publisher = {Charles River}, isbn = {978-1584505235}, } @inproceedings{RudWzoEtAl:2008:261718, author = {Piotr Rudol and Mariusz Wzorek and Gianpaolo Conte and Patrick Doherty}, title = {{Micro unmanned aerial vehicle visual servoing for cooperative indoor exploration}}, year = {2008}, booktitle = {Proceedings of the IEEE Aerospace Conference}, series = {Aerospace Conference Proceedings}, volume = {2008}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-1487-1}, issn = {1095-323X}, doi = {10.1109/AERO.2008.4526558}, } @inproceedings{HeiKvaDoh:2008:249050, author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Knowledge Processing Middleware}}, year = {2008}, booktitle = {Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots ({SIMPAR})}, pages = {147--158}, editor = {S. Carpin and I. Noda and E. Pagello and M. Reggiani and O. von Stryk}, series = {Lecture Notes in Artificial Intelligence}, volume = {5325}, publisher = {Springer}, isbn = {978-3-540-89075-1}, issn = {0302-9743}, doi = {10.1007/978-3-540-89076-8\_17}, } @techreport{BurHolOls:2008:37550, author = {Oleg Burdakov and Kaj Holmberg and Per-Magnus Olsson}, title = {{A Dual Ascent Method for the Hop-constrained Shortest Path with Application to Positioning of Unmanned Aerial Vehicles}}, year = {2008}, series = {Report / Department of Mathematics, Universitetet i Link\"oping, Tekniska h\"ogskolan}, volume = {2008:7}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0348-2960}, } @phdthesis{Nyb:2008:18308, author = {Per Nyblom}, title = {{Dynamic Abstraction for Interleaved Task Planning and Execution}}, year = {2008}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1363}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-905-8}, issn = {0280-7971}, note = {Report code: LiU-Tek-Lic-2008:21.}, } @phdthesis{Ste:2008:97, author = {Heike Joe Steinhauer}, title = {{A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations}}, year = {2008}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {1204}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-7393-823-5}, issn = {0345-7524}, } @inproceedings{DurCon:2007:508888, author = {Simone Duranti and Gianpaolo Conte}, title = {{In-flight Identification of the Augmented Flight Dynamics of the Rmax Unmanned Helicopter}}, year = {2007}, booktitle = {17th IFAC Symposium on Automatic Control in Aerospace}, publisher = {International Federation of Automatic Control}, doi = {10.3182/20070625-5-FR-2916.00038}, } @inproceedings{DunSza:2007:499760, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Towards Approximate BGI Systems}}, year = {2007}, booktitle = {Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems ({CEEMAS})}, pages = {277--287}, series = {Lecture Notes in Artificial Intelligence}, volume = {4696}, publisher = {Springer Berlin/Heidelberg}, isbn = {9783540752530}, issn = {0302-9743}, doi = {10.1007/978-3-540-75254-7\_28}, } @article{LemBerEtAl:2007:472027, author = {Thomas Lemaire and Cyrille Berger and Il-Kyun Jung and Simon Lacroix}, title = {{Vision-Based SLAM: Stereo and Monocular Approaches}}, year = {2007}, journal = {International Journal of Computer Vision}, volume = {74}, number = {3}, pages = {343--364}, publisher = {Springer}, issn = {0920-5691}, doi = {10.1007/s11263-007-0042-3}, } @inproceedings{DorKle:2007:460004, author = {Christian Dornhege and Alexander Kleiner}, title = {{Fully Autonomous Planning and Obstacle Negotiation on Rough Terrain Using Behavior Maps}}, year = {2007}, booktitle = {In Video Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, } @inproceedings{KenKle:2007:459988, author = {Holger Kenn and Alexander Kleiner}, title = {{Towards the Integration of Real-Time Real-World Data in Urban Search and Rescue Simulation}}, year = {2007}, booktitle = {MobileResponse}, pages = {106--115}, } @article{BalCarEtAl:2007:459979, author = {Stephen Balakirsky and Stefano Carpin and Alexander Kleiner and Michael Lewis and Arnoud Visser and Jijun Wang and Vittorio Amos Ziparo}, title = {{Towards Heterogeneous Robot Teams for Disaster Mitigation: Results and Performance Metrics from Robocup Rescue}}, year = {2007}, journal = {Journal of Field Robotics}, volume = {24}, number = {11}, pages = {943--967}, issn = {(Print) 1556-4959 (Online) 1556-4967}, doi = {10.1002/rob.20212}, } @article{KleDor:2007:459977, author = {Alexander Kleiner and Christian Dornhege}, title = {{Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios}}, year = {2007}, journal = {Journal of Field Robotics}, volume = {24}, number = {8-9}, pages = {723--745}, publisher = {Wiley}, issn = {1556-4967}, doi = {10.1002/rob.20208}, } @inproceedings{DorKle:2007:459976, author = {Christian Dornhege and Alexander Kleiner}, title = {{Behavior Maps for Online Planning of Obstacle Negotiation and Climbing on Rough Terrain}}, year = {2007}, booktitle = {In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {3005--3011}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-0912-9}, doi = {10.1109/IROS.2007.4399107}, } @inproceedings{KleDorSun:2007:459954, author = {Alexander Kleiner and C. Dornhege and D. Sun}, title = {{Mapping Disaster Areas Jointly: RFID-Coordinated SLAM by Humans and Robots}}, year = {2007}, booktitle = {IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, pages = {1--6}, publisher = {IEEE}, isbn = {978-1-4244-1569-4}, doi = {10.1109/SSRR.2007.4381263}, } @inproceedings{KleKmm:2007:459925, author = {Alexander Kleiner and R. K\"ummerle}, title = {{Genetic MRF Model Optimization for Real-Time Victim Detection in Search and Rescue}}, year = {2007}, booktitle = {IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {3025--3030}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-0912-9}, doi = {10.1109/IROS.2007.4399006}, } @inproceedings{KleSun:2007:459920, author = {Alexander Kleiner and D. Sun}, title = {{Decentralized SLAM for Pedestrians without direct Communication}}, year = {2007}, booktitle = {In Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {1461--1466}, publisher = {IEEE conference proceedings}, isbn = {978-1-4244-0912-9}, doi = {10.1109/IROS.2007.4399013}, } @inproceedings{ZipKleEtAl:2007:459917, author = {V. A. Ziparo and Alexander Kleiner and A. Farinelli and L. Marchetti and D. Nardi}, title = {{Cooperative Exploration for USAR Robots with Indirect Communication}}, year = {2007}, booktitle = {Proc. of 6th IFAC Symposium on Intelligent Autonomous Vehicles ({IAV})}, } @inproceedings{ZipKleEtAl:2007:459827, author = {V. A. Ziparo and Alexander Kleiner and B. Nebel and D. Nardi}, title = {{RFID-Based Exploration for Large Robot Teams}}, year = {2007}, booktitle = {Proc. of the IEEE Int. Conf. on Robotics and Automation ({ICRA})}, pages = {4606--4613}, publisher = {IEEE}, doi = {10.1109/ROBOT.2007.364189}, } @inproceedings{Eli:2007:354589, author = {Karolina Eliasson}, title = {{Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System}}, year = {2007}, booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence}, } @inproceedings{Nyb:2007:353989, author = {Per Nyblom}, title = {{Dynamic Planning Problem Generation in a UAV Domain}}, year = {2007}, booktitle = {6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume\# 6 | Part\# 1}, pages = {258--263}, series = {IFAC Proceedings series}, publisher = {Elsevier}, isbn = {978-3-902661-65-4}, issn = {1474-6670}, doi = {10.3182/20070903-3-FR-2921.00045}, } @article{DohLukSza:2007:270913, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Communication between agents with heterogeneous perceptual capabilities}}, year = {2007}, journal = {Information Fusion}, volume = {8}, number = {1}, pages = {56--69}, publisher = {Elsevier}, issn = {1566-2535}, doi = {10.1016/j.inffus.2005.05.006}, } @article{GabSza:2007:269262, author = {D.M. Gabbay and Andrzej Szalas}, title = {{Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals}}, year = {2007}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {87}, number = {1}, pages = {37--50}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-007-9075-4}, } @article{DohSza:2007:268924, author = {Patrick Doherty and Andrzej Szalas}, title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}}, year = {2007}, journal = {Fundamenta Informaticae}, volume = {75}, number = {1-4}, pages = {179--193}, publisher = {IOS Press}, issn = {0169-2968}, } @inproceedings{LawSanBer:2007:262725, author = {David Lawrence and Erik Sandewall and Peter Berkesand}, title = {{A Swedish Journal Publication Service}}, year = {2007}, booktitle = {H\"ogskolor och samh\"alle i samverkan ({HSS})}, } @unpublished{WzoDoh:2007:261962, author = {Mariusz Wzorek and Patrick Doherty}, title = {{A framework for reconfigurable path planning for autonomous unmanned aerial vehicles}}, year = {2007}, } @inproceedings{DurConEtAl:2007:261743, author = {Simone Duranti and Gianpaolo Conte and David Lundstr\"om and Piotr Rudol and Mariusz Wzorek and Patrick Doherty}, title = {{LinkMAV, a prototype rotary wing micro aerial vehicle}}, year = {2007}, booktitle = {17th IFAC Symposium on Automatic Control in Aerospace,2007}, publisher = {Elsevier}, } @inproceedings{DohDunSza:2007:261725, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Dynamics of approximate information fusion}}, year = {2007}, booktitle = {Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms ({RSEISP})}, pages = {668--677}, series = {Lecture Notes in Artificial Intelligence}, volume = {4585}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-73450-5}, issn = {0302-9743}, doi = {10.1007/978-3-540-73451-2\_70}, } @inproceedings{DohMey:2007:261722, author = {Patrick Doherty and John-Jules Meyer}, title = {{Towards a delegation framework for aerial robotic mission scenarios}}, year = {2007}, booktitle = {Proceedings of the 11th International Workshop on Cooperative Information Agents ({CIA})}, pages = {5--26}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-75118-2}, doi = {10.1007/978-3-540-75119-9\_2}, } @inproceedings{DohRud:2007:261721, author = {Patrick Doherty and Piotr Rudol}, title = {{A UAV search and rescue scenario with human body detection and geolocalization}}, year = {2007}, booktitle = {Proceedings of the 20th Australian Joint Conference on Artificial Intelligence ({AI})}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-76926-2}, } @inproceedings{MejCamEtAl:2007:261715, author = {Luis Mejias and Pascual Campoy and Iv\'an F. Mondrag\'on and Patrick Doherty}, title = {{Stereo visual system for autonomous air vehicle navigation}}, year = {2007}, booktitle = {6th IFAC Symposium on Intelligent Autonomous Vehicles (2007) Intelligent Autonomous Vehicles, Volume\# 6 | Part\# 1}, pages = {203--208}, series = {IFAC Proceedings series}, publisher = {Elsevier}, isbn = {978-3-902661-65-4}, issn = {1474-6670}, doi = {10.3182/20070903-3-FR-2921.00037}, } @inproceedings{HeiRudDoh:2007:261704, author = {Fredrik Heintz and Piotr Rudol and Patrick Doherty}, title = {{From Images to Traffic Behavior - A UAV Tracking and Monitoring Application}}, year = {2007}, booktitle = {Proceedings of the 10th International Conference on Information Fusion ({FUSION})}, publisher = {IEEE conference proceedings}, isbn = {978-0-662-45804-3, 978-0-662-47830-0}, doi = {10.1109/ICIF.2007.4408103}, } @incollection{MalSzaVit:2007:261686, author = {Jan Maluszynski and Andrzej Szalas and Aida Vitoria}, title = {{A Four-Valued Logic for Rough Set-Like Approximate Reasoning}}, year = {2007}, booktitle = {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}, editor = {James F. Peters and Andrzej Skowron and Ivo D\"untsch and Jerzy Grzymala-Busse and Ewa Orlowska and Lech Polkowski}, series = {Lecture Notes in Computer Science}, volume = {4374/2007}, publisher = {Springer}, isbn = {3-540-71198-8, 978-3-540-71198-8}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/978-3-540-71200-8\_11}, } @inproceedings{HeiRudDoh:2007:261681, author = {Fredrik Heintz and Piotr Rudol and Patrick Doherty}, title = {{Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework}}, year = {2007}, booktitle = {Proceedings of the 30th Annual German Conference on Artificial Intelligence ({KI})}, pages = {460--463}, editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, series = {Lecture Notes in Computer Science}, volume = {4667}, publisher = {Springer}, isbn = {978-3-540-74564-8}, issn = {0302-9743}, doi = {10.1007/978-3-540-74565-5\_40}, } @inproceedings{MagDoh:2007:260498, author = {Martin Magnusson and Patrick Doherty}, title = {{Deductive Planning with Temporal Constraints}}, year = {2007}, booktitle = {Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning,2007}, publisher = {AAAI Press}, isbn = {978-1-57735-314-0}, } @phdthesis{Hgg:2007:258746, author = {Bj\"orn H\"agglund}, title = {{A framework for designing constraint stores}}, year = {2007}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1302}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-85715-70-1}, issn = {0280-7971}, } @phdthesis{Con:2007:242149, author = {Gianpaolo Conte}, title = {{Navigation Functionalities for an Autonomous UAV Helicopter}}, year = {2007}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1307}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-85715-35-0}, issn = {0280-7971}, } @phdthesis{Mag:2007:24113, author = {Martin Magnusson}, title = {{Deductive Planning and Composite Actions in Temporal Action Logic}}, year = {2007}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1329}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {978-91-85895-93-9}, issn = {0280-7971}, } @proceedings{OrlPolSza:2006:499733, author = {Ewa Orlowska and Alberto Policriti and Andrzej Szalas}, title = {{Algebraic and Relational Deductive Tools}}, year = {2006}, series = {Journal of Applied Non-Classical Logics}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, note = {Special Issue}, } @inproceedings{KleDorEtAl:2006:460006, author = {Alexander Kleiner and Christian Dornhege and Rainer K\"ummerle and Michael Ruhnke and Bastian Steder and Bernhard Nebel and Patrick Doherty and Mariusz Wzorek and Piotr Rudol and Gianpaolo Conte and Simone Duranti and David Lundstr\"om}, title = {{RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany)}}, year = {2006}, booktitle = {RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Robot League}, note = {(1st place in the autonomy competition)}, } @inproceedings{KleBehKen:2006:460002, author = {Alexander Kleiner and Nils Behrens and Holger Kenn}, title = {{Wearable Computing Meets Multiagent Systems: A Real-World Interface for the RoboCupRescue Simulation Platform}}, year = {2006}, booktitle = {First International Workshop on Agent Technology for Disaster Management at AAMAS06}, pages = {116--123}, } @inproceedings{DorKle:2006:459981, author = {Christian Dornhege and Alexander Kleiner}, title = {{Visual Odometry for Tracked Vehicles}}, year = {2006}, booktitle = {In Proc. of the IEEE Int. Workshop on Safety, Security and Rescue Robotics ({SSRR})}, } @inproceedings{KlePreNeb:2006:459972, author = {Alexander Kleiner and J. Prediger and Bernhard Nebel}, title = {{RFID Technology-based Exploration and SLAM for Search And Rescue}}, year = {2006}, booktitle = {Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {4054--4059}, publisher = {IEEE conference proceedings}, isbn = {1-4244-0258-1}, doi = {10.1109/IROS.2006.281867}, } @inproceedings{KleZip:2006:459922, author = {Alexander Kleiner and V. A. Ziparo}, title = {{RoboCupRescue - Simulation League Team RescueRobots Freiburg (Germany)}}, year = {2006}, booktitle = {RoboCup 2006 (CDROM Proceedings), Team Description Paper, Rescue Simulation League}, note = {(1st place in the competition)}, } @article{San:2006:393542, author = {Erik Sandewall}, title = {{Systems - Opening up the process}}, year = {2006}, journal = {Nature}, publisher = {Nature Publishing Group}, issn = {0028-0836}, doi = {10.1038/nature04994}, } @inproceedings{Nyb:2006:343145, author = {Per Nyblom}, title = {{Dynamic Abstraction for Hierarchical Problem Solving and Execution in Stochastic Dynamic Environments}}, year = {2006}, booktitle = {Proceedings of the Third Starting AI Researchers' Symposium ({STAIRS})}, pages = {263--264}, editor = {Loris Penserini and Pavlos Peppas and Anna Perini}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {142}, publisher = {IOS Press}, isbn = {978-1-58603-645-4, 978-1-60750-190-9}, issn = {0922-6389}, } @inproceedings{MerDurCon:2006:270932, author = {Torsten Merz and Simone Duranti and Gianpaolo Conte}, title = {{Autonomous landing of an unmanned helicopter based on vision and inertial sensing}}, year = {2006}, booktitle = {Proceedings of the 9th International Symposium on Experimental Robotics}, pages = {343--352}, editor = {Marcelo H. Ang and Oussama Khatib}, series = {Springer Tracts in Advanced Robotics}, volume = {21}, publisher = {Springer}, isbn = {978-3-540-28816-9}, issn = {1610-7438}, doi = {10.1007/11552246\_33}, } @article{Has:2006:268998, author = {Patrik Haslum}, title = {{Improving heuristics through relaxed search - An analysis of TP4 and HSP*a in the 2004 planning competition}}, year = {2006}, journal = {The journal of artificial intelligence research}, volume = {25}, pages = {233--267}, publisher = {AAAI Press}, issn = {1076-9757}, doi = {10.1613/jair.1885}, } @article{NorDohEtAl:2006:268968, author = {Klas Nordberg and Patrick Doherty and Per-Erik Forss\'en and Johan Wiklund and Per Andersson}, title = {{A flexible runtime system for image processing in a distributed computational environment for an unmanned aerial vehicle}}, year = {2006}, journal = {International Journal of Pattern Recognition and Artificial Intelligence}, volume = {20}, number = {5}, pages = {763--780}, issn = {0218-0014}, doi = {10.1142/S0218001406004867}, } @inproceedings{SzaTys:2006:268965, author = {Andrzej Szalas and Jerzy Tyszkiewicz}, title = {{On the fixpoint theory of equality and its applications}}, year = {2006}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {4136}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11828563\_26}, } @incollection{San:2006:268955, author = {Erik Johan Sandewall}, title = {{Coordination of actions in an autonomous robotic system}}, year = {2006}, booktitle = {Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello}, pages = {177--191}, series = {Lecture Notes in Computer Science}, volume = {4155}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11829263\_10}, } @article{PetDoh:2006:268952, author = {Per Olof Pettersson and Patrick Doherty}, title = {{Probabilistic roadmap based path planning for an autonomous unmanned helicopter}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {395--405}, publisher = {IOS Press}, issn = {1064-1246}, } @article{HeiDoh:2006:268950, author = {Fredrik Heintz and Patrick Doherty}, title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}}, year = {2006}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {17}, number = {4}, pages = {335--351}, publisher = {IOS Press}, issn = {1064-1246}, } @proceedings{DohMylWel:2006:262230, author = {Patrick Doherty and John Mylopoulos and Christopher Welty}, title = {{Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning}}, year = {2006}, publisher = {AAAI Press}, isbn = {978-1-57735-281-5}, } @inproceedings{MagDoh:2006:260499, author = {Martin Magnusson and Patrick Doherty}, title = {{Deductive Planning with Temporal Constraints using TAL}}, year = {2006}, booktitle = {Proceedings of the International Symposium on Practical Cognitive Agents and Robots ({PCAR})}, pages = {141--}, publisher = {UWA Press}, isbn = {1-74052-130-7}, doi = {10.1145/1232425.1232444}, } @inproceedings{SanBunFri:2006:258226, author = {Anders Sandholm and Peter Bunus and Peter Fritzson}, title = {{A Numeric Library for Use in Modelica Simulations with Lapack, SuperLU, Interpolation, and MatrixIO}}, year = {2006}, booktitle = {5th International Modelica Conference Modelica2006,2006}, } @article{Sza:2006:257649, author = {Andrzej Szalas}, title = {{Second-order Reasoning in Description Logics}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {3 - 4}, pages = {517--530}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.517-530}, } @inproceedings{WzoLanDoh:2006:257647, author = {Mariusz Wzorek and David Land\'en and Patrick Doherty}, title = {{GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle}}, year = {2006}, booktitle = {Proceedings of the 21st Bristol International UAV Systems Conference ({UAVS})}, publisher = {University of Bristol, Department of Aerospace engineering}, isbn = {0-9552644-0-5}, note = {ISBN: 0-9552644-0-5}, } @inproceedings{Mag:2006:257645, author = {Martin Magnusson}, title = {{Natural Language Understanding using Temporal Action Logic}}, year = {2006}, booktitle = {Proceedings of the Workshop on Knowledge and Reasoning for Language Processing ({KRAQ})}, pages = {26--}, publisher = {Association for Computational Linguistics}, } @inproceedings{Ste:2006:257643, author = {H.Joe Steinhauer}, title = {{Qualitative Reconstruction and Update of an Object Constellation}}, year = {2006}, booktitle = {Proceedings of the Spatial and Temporal Reasoning Workshop at the 17th European Conference on Artificial Intelligence ({ECAI})}, pages = {11--}, } @inproceedings{Ste:2006:257642, author = {H.Joe Steinhauer}, title = {{Qualitative Communication about Object Scenes}}, year = {2006}, booktitle = {Proceedings of the 29th Annual German Conference on Artificial Intelligence ({KI})}, } @inproceedings{WzoConEtAl:2006:257641, author = {Mariusz Wzorek and Gianpaolo Conte and Piotr Rudol and Torsten Merz and Simone Duranti and Patrick Doherty}, title = {{From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle}}, year = {2006}, booktitle = {Proceedings of the 21st Bristol UAV Systems Conference ({UAVS})}, } @inproceedings{MerRudWzo:2006:257640, author = {Torsten Merz and Piotr Rudol and Mariusz Wzorek}, title = {{Control System Framework for Autonomous Robots Based on Extended State Machines}}, year = {2006}, booktitle = {ICAS 2006 - International Conference on Autonomic and Autonomous Systems,2006}, } @inproceedings{WzoDoh:2006:257639, author = {Mariusz Wzorek and Patrick Doherty}, title = {{The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning}}, year = {2006}, booktitle = {Software Demonstrations at the International Conference on Automated Planning Scheduling (ICAPS-SD)}, pages = {36--37}, } @inproceedings{WzoDoh:2006:257638, author = {Mariusz Wzorek and Patrick Doherty}, title = {{Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle}}, year = {2006}, booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling ({ICAPS})}, pages = {438--441}, editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey}, publisher = {AAAI Press}, isbn = {978-1-57735-270-9}, } @inproceedings{WzoDoh:2006:257637, author = {Mariusz Wzorek and Patrick Doherty}, title = {{Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle}}, year = {2006}, booktitle = {ICHIT 2006 - International Conference on Hybrid Information Technology,2006}, } @inproceedings{HggHar:2006:257636, author = {Bj\"orn H\"agglund and Anders Haraldsson}, title = {{The Art and Virtue of Symbolic Constraint Propagation}}, year = {2006}, booktitle = {CP 2006 Twelfth International Conference on Principles and Practice of Constraint Programming,2006}, pages = {78--}, } @inproceedings{ChaKesBun:2006:256608, author = {Mikhail Chalabine and Christoph Kessler and Peter Bunus}, title = {{Automated Round-trip Software Engineering in Aspect Weaving Systems}}, year = {2006}, booktitle = {21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006,2006}, publisher = {IEEE/ACM}, } @inproceedings{OrlSza:2006:252681, author = {Ewa Orlowska and Andrzej Szalas}, title = {{Quantifier Elimination in Elementary Set Theory}}, year = {2006}, booktitle = {Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS)}, pages = {237--248}, editor = {W. MacCaull and I. Duentsch and M. Winter}, series = {Lecture Notes in Computer Science}, volume = {3929}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/11734673\_19}, } @book{DohLukEtAl:2006:252617, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {{Knowledge Representation Techniques. A Rough Set Approach}}, year = {2006}, series = {Studies in Fuzziness and Soft Computing}, volume = {202}, publisher = {Springer}, isbn = {978-3-540-33518-4}, issn = {1434-9922}, doi = {10.1007/3-540-33519-6}, } @article{DohMagSza:2006:252615, author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas}, title = {{Approximate Databases: A support tool for approximate reasoning}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {1-2}, pages = {87--118}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.87-117}, note = {Special issue on implementation of logics}, } @phdthesis{Eli:2006:21808, author = {Karolina Eliasson}, title = {{The Use of Case-Based Reasoning in a Human-Robot Dialog System}}, year = {2006}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1248}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85523-78-X}, issn = {0280-7971}, note = {Report code: LiUTekLic2006:29.}, } @phdthesis{Has:2006:21613, author = {Patrik Haslum}, title = {{Admissible Heuristics for Automated Planning}}, year = {2006}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {1004}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85497-28-2}, issn = {0345-7524}, } @phdthesis{Pet:2006:21248, author = {Per Olof Pettersson}, title = {{Sampling-based Path Planning for an Autonomous Helicopter}}, year = {2006}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1229}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91--85497--15--0}, issn = {0280-7971}, note = {Report code: LiU--Tek--Lic--2006:10.}, } @incollection{Kle:2005:460025, author = {Alexander Kleiner}, title = {{Game AI: The Shrinking Gap Between Computer Games and AI Systems}}, year = {2005}, booktitle = {Ambient Intelligence: The evolution of technology, communication and cognition towards the future of human-computer interaction}, pages = {143--155}, editor = {G. Riva and F. Vatalaro and F. Davide and M. Alca\~{n}iz}, publisher = {IOS Press}, } @techreport{KleBreEtAl:2005:460015, author = {Alexander Kleiner and Michael Brenner and Tobias Br\"auer and Christian Dornhege and Moritz G\"obelbecker and Matthias Luber and Johann Prediger and Joerg St\"uckler and Bernhard Nebel}, title = {{ResQ Freiburg: Team Description and Evaluation}}, year = {2005}, publisher = {Institut f\"ur Informatik, Universit\"at Freiburg}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{KleBreEtAl:2005:459978, author = {Alexander Kleiner and Michael Brenner and Tobias Br\"auer and Christian Dornhege and Moritz G\"obelbecker and Matthias Luber and Johann Prediger and J\"org St\"uckler and Bernhard Nebel}, title = {{Successful Search and Rescue in Simulated Disaster Areas}}, year = {2005}, booktitle = {Robocup 2005: Robot Soccer World Cup IX}, pages = {323--334}, } @inproceedings{NssKleBre:2005:459923, author = {T. A. N\"ussle and Alexander Kleiner and M. Brenner}, title = {{Approaching Urban Disaster Reality: The ResQ Firesimulator}}, year = {2005}, booktitle = {RoboCup 2004: Robot Soccer World Cup VIII}, pages = {474--482}, series = {Lecture Notes in Computer Science}, volume = {3276/2005}, issn = {0302-9743}, doi = {10.1007/978-3-540-32256-6\_42}, } @inproceedings{KleSteEtAl:2005:459919, author = {Alexander Kleiner and B. Steder and C. Dornhege and D. H\"ofer and D. Meyer-Delius and J. Prediger and J. St\"uckler and K. Glogowski and M. Thurner and M. Luber and M. Schnell and R. Kuemmerle and T. Burk and T. Br\"auer and B. Nebel}, title = {{RoboCupRescue - Robot League Team RescueRobots Freiburg (Germany)}}, year = {2005}, booktitle = {RoboCup 2005 (CDROM Proceedings), Team Description Paper, Rescue Robot League}, note = {(1st place in the autonomy competition, 4th place in the teleoperation competition)}, } @inproceedings{And:2005:354584, author = {Peter Andersson}, title = {{Hazard: a Framework Towards Connecting Artificial Intelligence and Robotics}}, year = {2005}, booktitle = {IJCAI Workshop on Reasoning, Representation and Learning in Computer Games}, } @inproceedings{MadLuk:2005:269020, author = {Ewa Madalinska-Bugaj and Witold Lukaszewicz}, title = {{Belief revision revisited}}, year = {2005}, booktitle = {Advances in Artificial Intelligence: Proceedings of the 4th Mexican International Conference on Artificial Intelligence ({MICAI})}, pages = {31--40}, series = {Lecture Notes in Computer Science}, volume = {3789}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11579427\_4}, } @inproceedings{DohSzaLuk:2005:262236, author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz}, title = {{Similarity, approximations and vagueness}}, year = {2005}, booktitle = {Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC)}, pages = {541--550}, editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D\"untsch and Yiyu Yao}, series = {Lecture Notes in Artificial Intelligence}, volume = {3641}, publisher = {Springer}, isbn = {3-540-28653-5}, issn = {0302-9743}, doi = {10.1007/11548669\_56}, } @inproceedings{HeiDoh:2005:262231, author = {Fredrik Heintz and Patrick Doherty}, title = {{A knowledge processing middleware framework and its relation to the JDL data fusion model}}, year = {2005}, booktitle = {The 8th International Conference on Information Fusion,2005}, } @phdthesis{Arp:2005:253921, author = {Anders Arpteg}, title = {{Intelligent semi-structured information extraction: a user-driven approach to information extraction}}, year = {2005}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {946}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85297-98-4}, issn = {0345-7524}, note = {This work has been supported by University of Kalmar and the Knowledge Foundation.
}, } @inproceedings{GraSza:2005:252682, author = {Michali Grabowski and Andrzej Szalas}, title = {{A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies}}, year = {2005}, booktitle = {Proceedings of the 3rd Atlantic Web Intelligence Conference ({AWIC})}, pages = {991--995}, series = {Lecture Notes in Computer Science}, volume = {3528}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11495772\_29}, } @misc{San:2005:252680, author = {Erik Johan Sandewall}, title = {{Leonardo, an Approach towards the Consolidation of Computer Software System}}, year = {2005}, note = {Research Article, CAISOR Archival Website, Number 2005-016}, } @inproceedings{San:2005:252679, author = {Erik Johan Sandewall}, title = {{Actions as a Basic Software Concept in the Leonardo Computation System}}, year = {2005}, booktitle = {IJCAI 2005 Workshop on Nonmonotonic Reasoning, Action and Change,2005}, } @inproceedings{San:2005:252678, author = {Erik Johan Sandewall}, title = {{Integration of Live Video in a System for Natural Language Dialog with a Robot}}, year = {2005}, booktitle = {Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial)}, } @inproceedings{WzoDoh:2005:252677, author = {Mariusz Wzorek and Patrick Doherty}, title = {{Reconfigurable path planning for an autonomous unmanned aerial vehicle}}, year = {2005}, booktitle = {National Swedish Workshop on Autonomous Systems, SWAR 05,2005}, } @inproceedings{WzoDoh:2005:252676, author = {Mariusz Wzorek and Patrick Doherty}, title = {{Preliminary report: Reconfigurable path planning for an autonomous unmanned aerial vehicle}}, year = {2005}, booktitle = {Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG)}, } @inproceedings{Doh:2005:252619, author = {Patrick Doherty}, title = {{Knowledge representation and unmanned aerial vehicles}}, year = {2005}, booktitle = {Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology ({IAT})}, pages = {9--16}, publisher = {IEEE Computer Society}, isbn = {0-7695-2416-8}, doi = {10.1109/IAT.2005.93}, } @phdthesis{Kad:2005:252613, author = {Bourhane Kadmiry}, title = {{Fuzzy gain scheduled visual servoing for an unmanned helicopter}}, year = {2005}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {938}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85297-76-3}, issn = {0345-7524}, } @inproceedings{HasBonGef:2005:252612, author = {Patrik Haslum and Blai Bonet and Hector Geffner}, title = {{New Admissible Heuristics for Domain-Independent Planning}}, year = {2005}, booktitle = {Proceedings of the 20th national ´Conference on Artificial Intelligence ({AAAI})}, pages = {1163--}, publisher = {AAAI Press}, isbn = {1-57735-236-X}, } @inproceedings{HeiDoh:2005:252610, author = {Fredrik Heintz and Patrick Doherty}, title = {{A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model}}, year = {2005}, booktitle = {SWAR 05,2005}, pages = {50--51}, } @inproceedings{HeiDoh:2005:252608, author = {Fredrik Heintz and Patrick Doherty}, title = {{A Knowledge processing Middleware Framework and its Relation to the JDL Data Fusion model}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence an Learning Systems,2005}, pages = {68--}, publisher = {M\"alardalens University}, } @inproceedings{And:2005:252327, author = {Peter Andersson}, title = {{Hazard: A Framework Towards Connecting Artificial Intelligence and Robotics}}, year = {2005}, booktitle = {Proceedings of the 1st International Workshop on Multi-Agent Robotic Systems ({MARS})}, pages = {171--}, publisher = {INSTICC PRESS}, } @inproceedings{Nyb:2005:252326, author = {Per Nyblom}, title = {{Handling Uncertainty by Interleaving Cost-Aware Classical Planning with Execution}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005}, pages = {134--}, } @inproceedings{MagDohSza:2005:252325, author = {Martin Magnusson and Patrick Doherty and Andrzej Szalas}, title = {{An Experimental Platform for Approximate Databases}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005}, pages = {124--}, } @inproceedings{PetDoh:2005:252323, author = {Per Olof Pettersson and Patrick Doherty}, title = {{Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter}}, year = {2005}, booktitle = {Proceedings of the 3rd joint SAIS-SSLS event on Artificial Intelligence and Learning Systems (SAIS-SSLS)}, editor = {Peter Funk and Thorsteinn R\"ognvaldsson and Ning Xiong}, publisher = {M\"alardalen University}, } @inproceedings{Eli:2005:252322, author = {Karolina Eliasson}, title = {{Towards a Robotic Dialogue System with Learning and Planning Capabilities}}, year = {2005}, booktitle = {Proceedings of the IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems ({KRPDS})}, pages = {1--7}, editor = {Ingrid Zukerman and Jan Alexandersson and Arne J\"onsson}, } @inproceedings{Eli:2005:252320, author = {Karolina Eliasson}, title = {{Integrating a Discourse Model with a Learning Case-Based Reasoning System}}, year = {2005}, booktitle = {Proceedings of the 9th workshop on the semantics and pragmatics of dialogue (SemDial)}, } @inproceedings{Eli:2005:252319, author = {Karolina Eliasson}, title = {{An Integrated Discourse Model for a Case-Based Reasoning Dialogue System}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005}, } @phdthesis{Kva:2005:252317, author = {Jonas Kvarnstr\"om}, title = {{TALplanner and other extensions to Temporal Action Logic}}, year = {2005}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {937}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-85297-75-5}, issn = {0345-7524}, } @inproceedings{Ste:2005:252316, author = {H.Joe Steinhauer}, title = {{Towards a Qualitative Model for Natural Language Communication about Vehicle Traffic}}, year = {2005}, booktitle = {IJCAI 2005 Workshop on Spatial and Temporal Reasoning,2005}, } @inproceedings{Ste:2005:252315, author = {H.Joe Steinhauer}, title = {{A Qualitative Model for Natural Language Communication about Vehicle Traffic}}, year = {2005}, booktitle = {Proceedings of the AAAI Spring Symposium on Reasoning with Mental and External Diagrams - Computational Modeling and Spatial Assistance}, pages = {52--57}, publisher = {AAAI Press}, isbn = {978-1-57735-232-7}, } @inproceedings{Bun:2005:244972, author = {Peter Bunus}, title = {{An Empirical Study on Debugging Equation-based Simulation Models}}, year = {2005}, booktitle = {4th International Modelica Conference,2005}, pages = {281--}, } @techreport{KleGbe:2004:460017, author = {Alexander Kleiner and Moritz G\"obelbecker}, title = {{Rescue3D: Making Rescue Simulation Attractive to the Public}}, year = {2004}, publisher = {Institut f\"ur Informatik, Universit\"at Freiburg}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{KleBreEtAl:2004:460013, author = {Alexander Kleiner and Michael Brenner and Tobias Br\"auer and Christian Dornhege and Moritz G\"obelbecker and Matthias Luber and Johann Prediger and Joerg St\"uckler}, title = {{ResQ Freiburg: Team Description and Evaluation}}, year = {2004}, booktitle = {RoboCup 2004 (CDROM Proceedings), Team Description Paper, Rescue Simulation League}, note = {(1st place in the competition)}, } @inproceedings{HeiDoh:2004:354322, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems}}, year = {2004}, booktitle = {Proceedings of the Second Joint SAIS/SSLS Workshop}, } @inproceedings{Has:2004:353996, author = {Patrik Haslum}, title = {{Patterns in Reactive Programs}}, year = {2004}, booktitle = {Proceedings of the 4th International Cognitive Robotics Workshop ({COGROB})}, pages = {25--29}, editor = {Patrick Doherty and Gerhard Lakemeyer and Angel P. de Pobil}, } @inproceedings{DohKerEtAl:2004:269164, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a logical analysis of biochemical pathways}}, year = {2004}, booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {667--679}, editor = {Jos\'e J\'ulio Alferes and João Alexandre Leite}, series = {Lecture Notes in Computer Science}, volume = {3229}, publisher = {Springer}, isbn = {978-3-540-23242-1}, issn = {0302-9743}, doi = {10.1007/978-3-540-30227-8\_55}, } @article{HeiDoh:2004:269150, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow: An approach to middleware for knowledge processing}}, year = {2004}, journal = {Journal of Intelligent \& Fuzzy Systems}, volume = {15}, number = {1}, pages = {3--13}, publisher = {IOS Press}, issn = {1064-1246}, } @article{GusKva:2004:267185, author = {Joakim Gustafsson and Jonas Kvarnstr\"om}, title = {{Elaboration tolerance through object-orientation}}, year = {2004}, journal = {Artificial Intelligence}, volume = {153}, number = {1-2}, pages = {239--285}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/j.artint.2003.08.004}, } @article{BunFri:2004:266600, author = {Peter Bunus and Peter Fritzson}, title = {{Automated static analysis of equation-based components}}, year = {2004}, journal = {Simulation (San Diego, Calif.)}, volume = {80}, number = {7-8}, pages = {321--345}, issn = {0037-5497}, doi = {10.1177/0037549704046340}, } @article{KadDri:2004:266578, author = {Bourhane Kadmiry and D. Driankov}, title = {{A fuzzy gain-scheduler for the attitude control of an unmanned helicopter}}, year = {2004}, journal = {IEEE transactions on fuzzy systems}, volume = {12}, number = {4}, pages = {502--515}, publisher = {IEEE Computer Society}, issn = {1063-6706}, doi = {10.1109/TFUZZ.2004.832539}, } @phdthesis{Bun:2004:256403, author = {Peter Bunus}, title = {{Debugging techniques for equation-based languages}}, year = {2004}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {873}, publisher = {Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-941-3}, issn = {0345-7524}, } @inproceedings{LunBunFri:2004:243435, author = {H{\aa}kan Lundvall and Peter Bunus and Peter Fritzson}, title = {{Towards Automatic Generation of Model Checkable Code from Modelica}}, year = {2004}, booktitle = {SIMS 2004, the 45th Conference on Simulation and Modelling. September 2004,2004}, } @inproceedings{FriEngEtAl:2004:243416, author = {Peter Fritzson and Vadim Engelson and Andreas Idebrant and Peter Aronsson and H{\aa}kan Lundvall and Peter Bunus and Kaj Nystr\"om}, title = {{Modelica - A Strongly Typed System Specification Language for Safe Engineering Practices}}, year = {2004}, booktitle = {SIMSAFE2004,2004}, } @inproceedings{KadBer:2004:243407, author = {Bourhane Kadmiry and P Bergsten}, title = {{Robust Fuzzy Gain Scheduled visual-servoing with Sampling Time Uncertainties}}, year = {2004}, booktitle = {IEEE International Symposium on Intelligent Control ISIC,2004}, pages = {239--}, } @article{KadDri:2004:243401, author = {Bourhane Kadmiry and Dimiter Driankov}, title = {{A Fuzzy Flight Controller Combining Linguistic and Model-based Fuzzy Control}}, year = {2004}, journal = {Fuzzy sets and systems (Print)}, volume = {146}, number = {3}, pages = {313--347}, publisher = {Elsevier}, issn = {0165-0114}, doi = {10.1016/j.fss.2003.07.002}, } @inproceedings{KadDri:2004:243395, author = {Bourhane Kadmiry and Dimiter Driankov}, title = {{Takagi-Sugeno Fuzzy Gain Scheduling with Sampling-Time Uncertainties}}, year = {2004}, booktitle = {IEEE International Conference on Fuzzy Systems Fuzz-IEEE 2004,2004}, pages = {239--}, } @article{VisDoh:2004:243373, author = {Ubbo Visser and Patrick Doherty}, title = {{Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating}}, year = {2004}, journal = {The AI Magazine}, volume = {25}, number = {2}, pages = {137--138}, publisher = {AAAI Press}, issn = {0738-4602}, } @inproceedings{Doh:2004:243367, author = {Patrick Doherty}, title = {{Advanced Research with Autonomous Unmanned Aerial Vehicles}}, year = {2004}, booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning}, pages = {731--732}, publisher = {AAAI Press}, isbn = {978-1-57735-199-3}, } @inproceedings{PetDoh:2004:243320, author = {Per Olof Pettersson and Patrick Doherty}, title = {{Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle}}, year = {2004}, booktitle = {ICAPS-04 Workshop on Connecting Planning Theory with Practice,2004}, pages = {49--55}, } @inproceedings{Ste:2004:243318, author = {H.Joe Steinhauer}, title = {{The Qualitative Description of Traffic Maneuvers}}, year = {2004}, booktitle = {ECAI Workshop on Spatial and Temporal Reasoning,2004}, pages = {141--148}, } @inproceedings{DohHasEtAl:2004:243301, author = {Patrick Doherty and Patrik Haslum and Fredrik Heintz and Torsten Merz and Per Nyblom and Tommy Persson and Bj\"orn Wingman}, title = {{A Distributed Architecture for Autonomous Unmanned Aerial Vehicle Experimentation}}, year = {2004}, booktitle = {7th International Symposium on Distributed Autonomous Robotic Systems,2004}, pages = {221--}, publisher = {LAAS}, } @inproceedings{HeiDoh:2004:243295, author = {Fredrik Heintz and Patrick Doherty}, title = {{Managing Dynamic Object Structures using Hypothesis Generation and Validation}}, year = {2004}, booktitle = {AAAI Workshop on Anchoring Symbols to Sensor Data,2004}, pages = {54--62}, publisher = {AAAI Press}, } @inproceedings{HeiDoh:2004:243294, author = {Fredrik Heintz and Patrick Doherty}, title = {{DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems}}, year = {2004}, booktitle = {Proceedings of the International Workshop on Monitoring, Security, and Rescue Techniques in Multi-Agent Systems ({MSRAS})}, pages = {479--492}, editor = {Barbara Dunin-Keplicz and Andrzej Jankowski and Andrzej Skowron and Marcin Szczuka}, series = {Advances in Soft Computing}, volume = {28}, publisher = {Springer}, isbn = {978-3540232452}, issn = {1867-5662}, doi = {10.1007/3-540-32370-8\_37}, } @inproceedings{Mer:2004:243289, author = {Torsten Merz}, title = {{Building a System for Autonomous Aerial Robotics Research}}, year = {2004}, booktitle = {Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles ({IAV})}, publisher = {Elsevier}, isbn = {008-044237-4}, } @inproceedings{ConDurMer:2004:243287, author = {Gianpaolo Conte and Simone Duranti and Torsten Merz}, title = {{Dynamic 3D path following for an autonomous helicopter}}, year = {2004}, booktitle = {Proceedings of the 5th IFAC Symposium on Intelligent Autonomous Vehicles ({IAV})}, publisher = {Elsevier}, isbn = {008-044237-4}, } @inproceedings{DohKerEtAl:2004:243283, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a Logical Analysis of Biochemical Reactions (Extended abstract)}}, year = {2004}, booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence ({ECAI})}, pages = {997--998}, editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta}, publisher = {IOS Press}, isbn = {1-58603-452-9}, } @inproceedings{DohLukSza:2004:243282, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities}}, year = {2004}, booktitle = {Proceedings of the 7th International Conference on Information Fusion}, pages = {175--182}, publisher = {ISIF}, isbn = {91-7056-115-X}, } @inproceedings{DohSza:2004:243281, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correspondence between Approximations and Similarity}}, year = {2004}, booktitle = {Proceedings of the International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {143--152}, editor = {Shusaku Tsumoto and Roman Slowinski and Jan Komorowski and Jerzy W. Grzymala-Busse}, series = {Lecture Notes in Computer Science}, volume = {3066}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-25929-9\_16}, } @inproceedings{DohLukSza:2004:243280, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}}, year = {2004}, booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning}, pages = {459--468}, editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams}, publisher = {AAAI Press}, isbn = {978-1-57735-199-3}, } @inproceedings{Has:2004:243250, author = {Patrik Haslum}, title = {{Improving Heuristics Through Search}}, year = {2004}, booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence ({ECAI})}, pages = {1031--1032}, editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta}, publisher = {IOS Press}, isbn = {1-58603-452-9}, } @proceedings{DohLukEtAl:2003:499756, author = {Patrick Doherty and W. Lukaszewicz and Skowron Andrzej and Andrzej Szalas}, title = {{Knowledge Representation and Approximate Reasoning}}, year = {2003}, series = {Fundamenta Informaticae}, volume = {2003(57):2-4}, publisher = {IOS Press}, issn = {0169-2968}, note = {Special Issue}, } @inproceedings{KleBuc:2003:459973, author = {Alexander Kleiner and T. Buchheim}, title = {{A Plugin-Based Architecture for Simulation in the F2000 League}}, year = {2003}, booktitle = {In RoboCup 2003: Robot Soccer World Cup VII}, pages = {434--445}, } @inproceedings{SchWeiKle:2003:459851, author = {E. Schulenburg and T. Weigel and Alexander Kleiner}, title = {{Self-Localization in Dynamic Environments based on Laser and Vision Data}}, year = {2003}, booktitle = {Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems ({IROS})}, pages = {998--1004}, publisher = {IEEE}, isbn = {0-7803-7860-1}, doi = {10.1109/IROS.2003.1250758}, } @techreport{EngHarEtAl:2003:402885, author = {Madelaine Engstr\"om and Anders Haraldsson and Tove Mattsson and Minna Salminen-Karlsson}, title = {{Studenter genusgranskar sin utbildning: Projekt med elektro- och dataprogrammen och l\"ararutbildningen vid Link\"opings universitet}}, year = {2003}, series = {CUL-rapporter}, volume = {2003:5}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1652-9278}, } @inproceedings{AroFriEtAl:2003:371298, author = {Peter Aronsson and Peter Fritzson and Levon Saldamli and Peter Bunus and Kaj Nystr\"om}, title = {{Meta Programming and Function Overloading in OpenModelica}}, year = {2003}, booktitle = {Proceedings of the 3rd International Modelica Conference (November 3-4, Link\"oping, Sweden)}, } @inproceedings{LenMonEtAl:2003:371232, author = {Eva-Lena Lengquist Sandelin and Susanna Monemar and Peter Fritzson and Peter Bunus}, title = {{DrModelica - A Web-Based Teaching Environment for Modelica}}, year = {2003}, booktitle = {Proceedings of the 44th Conference on Simulation and Modeling ({SIMS})}, publisher = {Malardalen University}, isbn = {91-631-4716-5}, } @inproceedings{BunFri:2003:371223, author = {Peter Bunus and Peter Fritzson}, title = {{Semi-automatic Fault Localization and Behaviour Verification for Physical System Simulation Models}}, year = {2003}, booktitle = {In Proceedings 8th IEEE International Conference on Automated Software Engineering. (Montreal, Canada, October 6-10, 2003)}, } @inproceedings{EngBunEtAl:2003:371215, author = {Vadim Engelson and Peter Bunus and Lucian Popescu and Peter Fritzson}, title = {{Mechanical CAD with Multibody Dynamic Analysis Based on Modelica Simulation}}, year = {2003}, booktitle = {SIMS 2003 - 44th Conference on Simulation and Modeling on September 18 -19, 2003 in V\"aster{\aa}s}, } @inproceedings{LenMonEtAl:2003:371214, author = {Eva-Lena Lengquist Sandelin and Susanna Monemar and Peter Fritzson and Peter Bunus}, title = {{DrModelica - An Interactive Tutoring Environment for Modelica}}, year = {2003}, booktitle = {Proceedings of the 3rd International Modelica Conference}, publisher = {Modelica Association}, } @inproceedings{SanDohEtAl:2003:370382, author = {Erik Sandewall and Patrick Doherty and Oliver Lemon and Stanley Peters}, title = {{Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle}}, year = {2003}, booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})}, pages = {52--63}, series = {Lecture Notes in Computer Science}, volume = {2821}, publisher = {Springer Verlag}, issn = {0302-9743}, doi = {10.1007/978-3-540-39451-8\_5}, } @inproceedings{Sza:2003:269407, author = {Andrzej Szalas}, title = {{On a logical approach to estimating computational complexity of potentially intractable problems}}, year = {2003}, booktitle = {Proceedings of the 14th International Symposium on Fundamentals of Computation Theory ({FCT})}, pages = {423--431}, editor = {G. Goos and J. Hartmanis and and J. van Leeuwen}, series = {Lecture Notes in Computer Science}, volume = {2751}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-45077-1\_39}, } @article{KvaMag:2003:269327, author = {Jonas Kvarnstr\"om and Martin Magnusson}, title = {{TALplanner in the Third International Planning Competition: Extensions and control rules}}, year = {2003}, journal = {The journal of artificial intelligence research}, volume = {20}, pages = {343--377}, publisher = {AAAI Press}, issn = {1076-9757}, doi = {10.1613/jair.1189}, } @misc{DohSkoEtAl:2003:269316, author = {Patrick Doherty and A Skowron and Witold Lukaszewicz and Andrzej Szalas}, title = {{1st International Workshop on Knowledge Representation and Approximate Reasoning (KR\&AR)}}, year = {2003}, } @article{MadLuk:2003:269312, author = {E Madalinska-Bugaj and Witold Lukaszewicz}, title = {{Formalizing defeasible logic in CAKE}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-3}, pages = {193--213}, publisher = {IOS Press}, issn = {0169-2968}, } @article{DohGraEtAl:2003:269311, author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas}, title = {{Towards a framework for approximate ontologies}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {147--165}, publisher = {IOS Press}, issn = {0169-2968}, } @inproceedings{DohLukSza:2003:262459, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{On mutual understanding among communicating agents}}, year = {2003}, booktitle = {Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems ({FAMAS})}, pages = {83--97}, editor = {B. Dunin-Keplicz and R. Verbrugge}, } @article{Dohal:2003:243374, author = {Patrick Doherty and et al}, title = {{2003 AAAI Spring Symposium Series}}, year = {2003}, journal = {The AI Magazine}, volume = {24}, number = {3}, pages = {131--140}, publisher = {AAAI Press}, issn = {0738-4602}, } @inproceedings{PanAhlEtAl:2003:243324, author = {Igor S. Pandzic and J\"orgen Ahlberg and Mariusz Wzorek and Piotr Rudol and Miran Mosmondor}, title = {{Faces Everywhere: Towards Ubiquitous Production and Delivery of Face Animation}}, year = {2003}, booktitle = {Proceedings of the 2nd International Conference on Mobile and Ubiquitous Multimedia ({MUM})}, pages = {49--56}, series = {Link\"oping Electronic Conference Proceedings}, volume = {11}, publisher = {Link\"oping University Electronic Press}, issn = {1650-3686 (print), 1650-3740 (online)}, } @inproceedings{San:2003:243317, author = {Erik Johan Sandewall}, title = {{High-level design of WWW servers in Allegro Common Lisp}}, year = {2003}, booktitle = {Proceedings of the International Lisp Conference ({ILC})}, } @inproceedings{San:2003:243315, author = {Erik Johan Sandewall}, title = {{A software architecture for AI systems based on self-modifying software individuals}}, year = {2003}, booktitle = {Proceedings of the International Lisp Conference ({ILC})}, } @inproceedings{DohLukSza:2003:243274, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Tolerance Spaces and Approximative Representational Structures}}, year = {2003}, booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})}, pages = {475--489}, series = {Lecture Notes in Computer Science}, volume = {2821}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-39451-8\_35}, } @inproceedings{DohLukSza:2003:243269, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Information Granules for Intelligent Knowledge Structures}}, year = {2003}, booktitle = {Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)}, pages = {405--412}, editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron}, series = {Lecture Notes in Computer Science}, volume = {2639}, publisher = {Springer}, isbn = {978-3-540-14040-5}, issn = {0302-9743}, doi = {10.1007/3-540-39205-X\_68}, } @incollection{DohKacSza:2003:243266, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}}, year = {2003}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {219--250}, series = {Cognitive Technologies}, publisher = {Springer}, isbn = {978-3-540-43059-9}, issn = {1611-2482}, } @incollection{DohLukEtAl:2003:243264, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {{Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge}}, year = {2003}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, pages = {189--218}, series = {Cognitive Technologies}, publisher = {Springer}, issn = {1611-2482}, } @inproceedings{HasSch:2003:243249, author = {Patrik Haslum and Ulrich Scholz}, title = {{Domain Knowledge in Planning: Representation and Use}}, year = {2003}, booktitle = {Proceedings of the ICAPS workshop on PDDL}, pages = {69--78}, } @phdthesis{Arp:2003:21449, author = {Anders Arpteg}, title = {{Adaptive Semi-structured Information Extraction}}, year = {2003}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {1000}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-589-2}, issn = {0280-7971}, note = {Report code: LiU-Tek-Lic-2002:73.}, } @inproceedings{KleDieNeb:2002:459975, author = {Alexander Kleiner and M. Dietl and Bernhard Nebel}, title = {{Towards a Life-Long Learning Soccer Agent}}, year = {2002}, booktitle = {In RoboCup 2002: Robot Soccer World Cup VI}, pages = {126--134}, } @article{WeiGutEtAl:2002:459914, author = {T. Weigel and J. -S Gutmann and M. Dietl and Alexander Kleiner and B. Nebel}, title = {{CS Freiburg: Coordinating Robots for Successful Soccer Playing}}, year = {2002}, journal = {IEEE transactions on robotics and automation}, volume = {18}, number = {5}, pages = {685--699}, publisher = {IEEE}, issn = {1042-296X}, doi = {10.1109/TRA.2002.804041}, } @inproceedings{SalFriEtAl:2002:371294, author = {Levon Saldamli and Peter Fritzson and Peter Aronsson and Peter Bunus and Vadim Engelson and Henrik Johansson and Andreas Karstr\"om}, title = {{The Open Source Modelica Project}}, year = {2002}, booktitle = {Proceedings of the 2nd International Modelica Conference}, publisher = {Modelica Association}, note = {Oberpfaffenhofen, Germany, March 18-19, 2002}, } @inproceedings{AroFriEtAl:2002:371218, author = {Peter Aronsson and Peter Fritzson and Levon Saldamli and Peter Bunus}, title = {{Incremental declaration handling in Open Source Modelica}}, year = {2002}, booktitle = {Scandinavian Simulation Conference ({SIMS}), September 2002, Oulu, Finland.}, } @inproceedings{Has:2002:353995, author = {Patrik Haslum}, title = {{Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency}}, year = {2002}, booktitle = {Proceedings of the AIPS 2002 workshop on Planning via Model Checking}, } @inproceedings{Kva:2002:353973, author = {Jonas Kvarnstr\"om}, title = {{Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner}}, year = {2002}, booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling ({AIPS})}, editor = {Malik Ghallab and Joachim Hertzberg and and Paolo Traverso}, publisher = {AAAI Press}, isbn = {0-57735-142-8}, doi = {10.3233/978-1-60750-606-5-341}, } @inproceedings{SkaSaa:2002:269741, author = {Erik Skarman and AB Saab}, title = {{EEG waves as chaotic self-oscillations}}, year = {2002}, booktitle = {International Journal of Psychophysiology}, pages = {138--138}, } @inproceedings{San:2002:269363, author = {Erik Johan Sandewall}, title = {{Use of cognitive robotics logic in a double helix architecture for autonomous systems}}, year = {2002}, booktitle = {Advances in Plan-Based Control of Robotic Agents: Revised Papers from the International Seminar at Dagstuhl Castle}, pages = {226--248}, series = {Lecture Notes in Computer Science}, volume = {2466}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/3-540-37724-7\_14}, } @inproceedings{Sza:2002:269354, author = {Andrzej Szalas}, title = {{Second-order quantifier elimination in modal contexts}}, year = {2002}, booktitle = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {223--232}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, series = {Lecture Notes in Computer Science}, volume = {2424}, publisher = {Springer}, isbn = {978-354044190-8}, issn = {0302-9743}, doi = {10.1007/3-540-45757-7\_19}, } @incollection{MeyDoh:2002:262493, author = {John-Jules Meyer and Patrick Doherty}, title = {{Preferential Action Semantics}}, year = {2002}, booktitle = {Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 7: Agent-Based Defeasible Control in Dynamic Environments}, series = {Handbook of Defeasible Reasoning and Uncertainty Management Systems}, volume = {7}, publisher = {Kluwer}, isbn = {978-1-4020-0834-4}, } @inproceedings{NorDohEtAl:2002:262461, author = {Klas Nordberg and Patrick Doherty and Gunnar Farneb\"ack and Per-Erik Forss\'en and G\"osta Granlund and Anders Moe and Johan Wiklund}, title = {{Vision for a UAV helicopter}}, year = {2002}, booktitle = {International Conference on Intelligent Robots and Systems ({IROS}), Workshop on Aerial Robotics: Lausanne, Switzerland}, } @inproceedings{DohLukSza:2002:262460, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{CAKE: A computer aided knowledge engineering technique}}, year = {2002}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,2002}, pages = {220--224}, editor = {Frank van Harmelen}, publisher = {IOS Press}, } @inproceedings{AndKucEtAl:2002:246033, author = {Per Andersson and Krzysztof Kuchcinski and Klas Nordberg and Patrick Doherty}, title = {{Integrating a computational model and a run time system for image processing on a UAV}}, year = {2002}, booktitle = {Euromicro Symposium on Digital System Design ({DSD})}, pages = {102--109}, doi = {10.1109/DSD.2002.1115357}, } @phdthesis{Bun:2002:21482, author = {Peter Bunus}, title = {{Debugging and Structural Analysis of Declarative Equation-Based Languages}}, year = {2002}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {964}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-382-2}, issn = {0280-7971}, note = {Report code: LiU-Tek-Lic-2002:37.}, } @phdthesis{Has:2002:21481, author = {Patrik Haslum}, title = {{Prediction as a Knowledge Representation Problem: A Case Study in Model Design}}, year = {2002}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {942}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-331-8}, issn = {0280-7971}, note = {Report code: LiU-Tek-Lic-2002:15.}, } @phdthesis{Kad:2002:21480, author = {Bourhane Kadmiry}, title = {{Fuzzy Control for an Unmanned Helicopter}}, year = {2002}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {938}, publisher = {Institutionen f\"or datavetenskap}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-313-X}, issn = {0280-7971}, 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.}, } @article{San:2001:510494, author = {Erik Sandewall}, title = {{On the Design of Software Individuals}}, year = {2001}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {5}, publisher = {Link\"opings Universitet}, issn = {1403-3534}, } @incollection{KacSza:2001:499745, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{On a Static Approach to Verification of Integrity Constraints in Relational Databases}}, year = {2001}, booktitle = {Relational Methods for Computer Science Applications}, pages = {97--109}, editor = {Eva Orlowska and Andrzej Szalas}, series = {Studies in Fuzziness and Soft Computing}, volume = {65}, publisher = {Springer Physica-Verlag}, isbn = {3-7908-1365-6}, issn = {1434-9922}, } @misc{OrlSza:2001:499734, author = {Ewa Orlowska and Andrzej Szalas}, title = {{Relational Methods for Computer Science Applications}}, year = {2001}, series = {Studies in Fuziness and Soft Computing}, publisher = {Springer Physica Verlag}, isbn = {37-9081-365-6, 978-37-9081-365-4}, issn = {1434-9922}, } @inproceedings{Kar:2001:488212, author = {Lars Karlsson}, title = {{Conditional Progressive Planning: A Preliminary Report}}, year = {2001}, booktitle = {Proceedings of the Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {90--100}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {66}, publisher = {IOS Press}, issn = {0922-6389}, } @inproceedings{WeiKleEtAl:2001:459915, author = {T. Weigel and Alexander Kleiner and F. Diesch and M. Dietl and J. -S Gutmann and B. Nebel and P. Stiegeler and B. Szerbakowski}, title = {{CS Freiburg 2001}}, year = {2001}, booktitle = {RoboCup 2001 : Robot Soccer World Cup V}, pages = {26--38}, } @inproceedings{Gus:2001:354760, author = {Joakim Gustafsson}, title = {{Object-oriented Reasoning about Action and Change}}, year = {2001}, booktitle = {Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {53--64}, editor = {H.H. Lund and B. Mayoh and J. Perram}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {66}, publisher = {IOS Press}, isbn = {1-58603-161-9}, issn = {0922-6389}, } @inproceedings{KadPalDri:2001:354732, author = {Bourhane Kadmiry and Rainer Palm and Dimiter Driankov}, title = {{Autonomous Helicopter Control Using Gradient Descent Optimization Method}}, year = {2001}, booktitle = {Proceedings of the Asian Conference on Robotic \& Automation ({ACRA})}, } @inproceedings{KadBerDri:2001:354728, author = {Bourhane Kadmiry and Pontus Bergsten and Dimiter Driankov}, title = {{Autonomous Helicopter Control Using Fuzzy-Gain Scheduling}}, year = {2001}, booktitle = {Proceedings of the IEEE International Conference on Robotic \& Automation ({ICRA})}, pages = {2980--2985}, publisher = {IEEE conference proceedings}, isbn = {0-7803-6576-3}, doi = {10.1109/ROBOT.2001.933074}, } @inproceedings{KadDri:2001:354727, author = {Bourhane Kadmiry and Dimiter Driankov}, title = {{Fuzzy Control of an Autonomous Helicopter}}, year = {2001}, booktitle = {Proceedings of the 9th IEEE International Fuzzy Systems Association ({IFSA}) World Congress}, pages = {2797--2802}, publisher = {IEEE Computer Society}, isbn = {0-7803-7078-3}, doi = {10.1109/NAFIPS.2001.943669}, } @inproceedings{KadDri:2001:354725, author = {Bourhane Kadmiry and Dimiter Driankov}, title = {{Autonomous Helicopter Control using Linguistic and Model-Based Fuzzy Control}}, year = {2001}, booktitle = {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}, } @inproceedings{HeiKumSce:2001:354325, author = {Fredrik Heintz and Johan Kummeneje and Paul Scerri}, title = {{Using Simulated RoboCup to Teach AI in Undergraduate Education}}, year = {2001}, booktitle = {Proceedings of the 7th Scandinavian Conference on Artificial Intelligence ({SCAI})}, pages = {13--21}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {66}, publisher = {IOS Press}, isbn = {1-58603-161-9}, issn = {0922-6389}, } @inproceedings{HeiDoh:2001:354323, author = {Fredrik Heintz and Patrick Doherty}, title = {{Chronicle Recognition in the WITAS UAV Project: A Preliminary Report}}, year = {2001}, booktitle = {Proceedings of the Swedish AI Society Workshop}, } @inproceedings{Has:2001:353999, author = {Patrik Haslum}, title = {{Models for Prediction}}, year = {2001}, booktitle = {Proceedings of the IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (PRO-2)}, } @inproceedings{HasGef:2001:353998, author = {Patrik Haslum and H\'ector Geffner}, title = {{Heuristic Planning with Time and Resources}}, year = {2001}, booktitle = {Proceedings of the 6th European Conference on Planning ({ECP})}, } @inproceedings{GusKva:2001:353976, author = {Joakim Gustafsson and Jonas Kvarnstr\"om}, title = {{Elaboration Tolerance through Object-Orientation}}, year = {2001}, booktitle = {Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense)}, } @article{DohKva:2001:269228, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALPLANNER - A temporal logic-based planner}}, year = {2001}, journal = {The AI Magazine}, volume = {22}, number = {3}, pages = {95--102}, publisher = {AAAI Press}, issn = {0738-4602}, } @inproceedings{DohLukSza:2001:262451, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing strongest necessary and weakest sufficient conditions of first-order formulas}}, year = {2001}, booktitle = {17th International Joint Conference on Artificial Intelligence,2001}, pages = {145--}, publisher = {Morgan Kaufmann}, } @phdthesis{Bjr:2001:256452, author = {Marcus Bj\"areland}, title = {{Model-based execution monitoring}}, year = {2001}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {688}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-016-5}, issn = {0345-7524}, } @phdthesis{Gus:2001:256451, author = {Joakim Gustafsson}, title = {{Extending temporal action logic}}, year = {2001}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {689}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7373-017-3}, issn = {0345-7524}, } @article{FraEllEtAl:2000:510496, author = {Mark S Frankel and Roger Elliott and Martin Blume and Jean-Manuel Bourgois and Bernt Hugenholtz and Mats G. Lindquist and Sally Morris and Erik Sandewall}, title = {{Defining and Certifying Electronic Publication in Science}}, year = {2000}, journal = {Learned Publishing}, volume = {13}, number = {4}, pages = {251--258}, publisher = {Association of Learned and Professional Society Publishers}, issn = {0953-1513}, } @inproceedings{KacSza:2000:499743, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language}}, year = {2000}, booktitle = {Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy}, pages = {101--115}, publisher = {WSIiE, Olsztyn, Poland}, } @inproceedings{KacSza:2000:499741, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{On Rule-Based Approach to the Construction of Logical Transformers}}, year = {2000}, booktitle = {Proceedings of the 1st International Workshop on Rule-Based Programming ({RULE})}, pages = {57--71}, publisher = {Springer Physica-Verlag}, } @inproceedings{KleShaBit:2000:460024, author = {Alexander Kleiner and Bernadette Sharp and Oliver Bittel}, title = {{Self Organising Maps for Value Estimation to Solve Reinforcement Learning Tasks}}, year = {2000}, booktitle = {Proc. of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000)}, pages = {74--83}, } @inproceedings{KleSha:2000:460023, author = {Alexander Kleiner and Bernadette Sharp}, title = {{A New Algorithm for Learning Bayesian Classifiers from Data}}, year = {2000}, booktitle = {Artificial Intelligence and Soft Computing}, pages = {191--197}, } @inproceedings{BjrFod:2000:354748, author = {Marcus Bj\"areland and George Fodor}, title = {{Execution monitoring of industrial process controllers: an application of Ontological Control}}, year = {2000}, booktitle = {Prooceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS '00)}, } @inproceedings{NakBarBjr:2000:354744, author = {Mutsumi Nakamura and Chitta Baral and Marcus Bj\"areland}, title = {{Maintainability: a weaker stabilizability-like notion for high level control of agents}}, year = {2000}, booktitle = {Proceedings of the 17th National Conference on Artificial Intelligence ({AAAI})}, pages = {62--66}, publisher = {AAAI Press}, isbn = {978-0-262-51112-4, 978-1-57735-272-3}, } @inproceedings{HeiKumSce:2000:354326, author = {Fredrik Heintz and Johan Kummeneje and Paul Scerri}, title = {{Simulated RoboCup in University Undergraduate Education}}, year = {2000}, booktitle = {Proceedings of the Fourth Internation Workshop on RoboCup}, } @inproceedings{HasJon:2000:354004, author = {Patrik Haslum and Peter Jonsson}, title = {{Planning with Reduced Operator Sets}}, year = {2000}, booktitle = {Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling ({AIPS})}, pages = {150--158}, editor = {Steve Chien and Subbarao Kambhampati and Craig A. Knoblock}, publisher = {AAAI Press}, isbn = {978-1-57735-111-5}, } @inproceedings{HasGef:2000:354001, author = {Patrik Haslum and H\'ector Geffner}, title = {{Admissible Heuristics for Optimal Planning}}, year = {2000}, booktitle = {Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling ({AIPS})}, pages = {140--149}, editor = {Steve Chien and Subbarao Kambhampati and Craig A. Knoblock}, publisher = {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". }, } @misc{San:2000:270437, author = {Erik Johan Sandewall}, title = {{M. Shanahan, Solving the Frame Problem}}, year = {2000}, journal = {Artificial Intelligence}, volume = {123}, number = {1-2}, pages = {271--273}, issn = {0004-3702}, doi = {10.1016/S0004-3702(00)00058-8}, } @inproceedings{Hei:2000:270072, author = {Fredrik Heintz}, title = {{FCFoo99}}, year = {2000}, booktitle = {Proceedings of RoboCup-99: Robot Soccer World Cup III (RoboCup)}, pages = {563--566}, series = {Lecture Notes in Computer Science}, volume = {1856}, publisher = {Springer London}, isbn = {3-540-41043-0}, issn = {0302-9743}, } @article{JonHasBck:2000:268620, author = {Peter Jonsson and Patrik Haslum and Christer B\"ackstr\"om}, title = {{Towards efficient universal planning: A randomized approach}}, year = {2000}, journal = {Artificial Intelligence}, volume = {117}, number = {1}, pages = {1--29}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/S0004-3702(99)00103-4}, } @article{DohKva:2000:262479, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: A temporal logic based forward chaining planner}}, year = {2000}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {30}, number = {1-4}, pages = {119--169}, publisher = {Springer}, issn = {1012-2443}, doi = {10.1023/A:1016619613658}, } @article{DohLukMad:2000:262478, author = {Patrick Doherty and Witold Lukaszewicz and E. Madalin´ska-Bugaj}, title = {{The PMA and relativizing minimal change for action update}}, year = {2000}, journal = {Fundamenta Informaticae}, volume = {44}, number = {1-2}, pages = {95--131}, publisher = {IOS Press}, issn = {0169-2968}, } @article{KvaDoh:2000:262473, author = {Jonas Kvarnstr\"om and Patrick Doherty}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {2000}, journal = {Computational intelligence}, volume = {16}, number = {2}, pages = {169--209}, publisher = {Blackwell Publishing}, issn = {0824-7935}, doi = {10.1111/0824-7935.00111}, } @inproceedings{KvaDohHas:2000:262450, author = {Jonas Kvarnstr\"om and Patrick Doherty and Patrik Haslum}, title = {{Extending TALplanner with concurrency and resources}}, year = {2000}, booktitle = {Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI})}, pages = {501--}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {54}, publisher = {IOS Press}, isbn = {1586030132}, issn = {0922-6389}, } @inproceedings{DohLukSza:2000:262444, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Efficient reasoning using the local closed-world assumption}}, year = {2000}, booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications ({AIMSA})}, pages = {49--58}, series = {Lecture Notes in Computer Science}, volume = {1904}, publisher = {Springer}, isbn = {3-540-41044-9}, issn = {0302-9743}, doi = {10.1007/3-540-45331-8\_5}, } @inproceedings{DohGraEtAl:2000:262443, author = {Patrick Doherty and G\"osta Granlund and Krzysztof Kuchcinski and Erik Johan Sandewall and Klas Nordberg and Erik Skarman and Johan Wiklund}, title = {{The WITAS unmanned aerial vehicle project}}, year = {2000}, booktitle = {Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI})}, pages = {747--755}, editor = {Werner Horn}, publisher = {IOS Press}, isbn = {1-58603-013-2, 4-274-90388-5}, } @inproceedings{GraNorEtAl:2000:246122, author = {G\"osta Granlund and Klas Nordberg and Johan Wiklund and Patrick Doherty and Erik Skarman and Erik Sandewall}, title = {{WITAS: An Intelligent Autonomous Aircraft Using Active Vision}}, year = {2000}, booktitle = {Proceedings of the UAV 2000 International Technical Conference and Exhibition ({UAV})}, publisher = {Euro UVS}, } @inproceedings{NonOhlSza:1999:499737, author = {Andreas Nonnengart and Hans-J\"urgen Ohlbach and Andrzej Szalas}, title = {{Elimination of Predicate Quantifiers}}, year = {1999}, booktitle = {Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I}, pages = {159--181}, publisher = {Kluwer Academic Publishers}, } @article{KarGus:1999:354756, author = {Lars Karlsson and Joakim Gustafsson}, title = {{Reasoning about Concurrent Interaction}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {623--650}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.623}, } @inproceedings{Has:1999:354005, author = {Patrik Haslum}, title = {{Model Checking by Random Walk}}, year = {1999}, booktitle = {Proceedings of the ECSEL Workshop ({CCSSE})}, } @techreport{AndCorSaf:1999:288592, author = {Thord Andersson and Silvia Coradeschi and Alessandro Saffiotti}, title = {{Fuzzy matching of visual cues in an unmanned airborne vehicle}}, year = {1999}, publisher = {Link\"oping University, Department of Electrical Engineering}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @article{DraBjr:1999:270828, author = {Thomas Drakengren and Marcus Bj\"areland}, title = {{Reasoning about action in polynomial time}}, year = {1999}, journal = {Artificial Intelligence}, volume = {115}, number = {1}, pages = {1--24}, publisher = {Elsevier}, issn = {0004-3702}, doi = {10.1016/S0004-3702(99)00065-X}, } @incollection{SceCorTrn:1999:270596, author = {Paul Scerri and Silvia Coradeschi and Anders T\"orne}, title = {{A user oriented system for developing behavior based agents}}, year = {1999}, booktitle = {RoboCup-98: Robot Soccer World Cup II}, pages = {173--186}, editor = {Minoru Asada and Hiroaki Kitano}, series = {Lecture Notes in Computer Science}, volume = {1604}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-66320-1, e-978-3-540-48422-6, 3-540-66320-7}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/3-540-48422-1\_14}, } @incollection{CorMal:1999:270594, author = {Silvia Coradeschi and Jasec Malec}, title = {{How to make a challenging AI course enjoyable using the RoboCup soccer simulation system}}, year = {1999}, booktitle = {RoboCup-98: Robot Soccer World Cup II}, pages = {120--124}, editor = {Minoru Asada and Hiroaki Kitano}, series = {Lecture Notes in Computer Science}, volume = {1604}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-66320-7}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/3-540-48422-1\_9}, } @inproceedings{BjrJon:1999:270532, author = {Marcus Bj\"areland and Peter Jonsson}, title = {{Exploiting bipartiteness to identify yet another tractable subclass of CSP}}, year = {1999}, booktitle = {Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming ({CP})}, pages = {118--128}, series = {Lecture Notes in Computer Science}, volume = {1713}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-48085-3\_9}, } @inproceedings{HasJon:1999:270075, author = {Patrik Haslum and Peter Jonsson}, title = {{Some results on the complexity of planning with incomplete information}}, year = {1999}, booktitle = {Proceedings of the 5th European Conference on Planning ({ECP})}, pages = {308--318}, series = {Lecture Notes in Computer Science}, volume = {1809}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/10720246\_24}, } @article{DohKacSza:1999:262472, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Meta-queries on deductive databases}}, year = {1999}, journal = {Fundamenta Informaticae}, volume = {40}, number = {1}, pages = {17--30}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1999-40102}, } @article{DohLukSza:1999:262470, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative PTIME queries for relational databases using quantifier elimination}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {737--758}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.737}, } @inproceedings{DohLukMad:1999:262449, author = {Patrick Doherty and Witold Lukaszewicz and E. Madalin´ska-Bugaj}, title = {{Computing MPMA updates using dijkstra's semantics}}, year = {1999}, booktitle = {12th International Symposium on Methodologies for Intelligent Systems,1999}, publisher = {Springer}, } @inproceedings{DohKva:1999:262448, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{TALplanner: An empirical investigation of a temporal logic-based forward chaining planner}}, year = {1999}, booktitle = {6th International Workshop on Temporal Representation and Reasoning (TIME-99)}, pages = {47--}, editor = {Clare Dixon and Michael Fisher}, publisher = {IEEE Computer Society}, isbn = {0-7695-0173-7}, } @inproceedings{MeyDoh:1999:262303, author = {John-Jules Meyer and Patrick Doherty}, title = {{Preferential action semantics (preliminary report)}}, year = {1999}, booktitle = {Formal Models of Agents: ESPRIT Project Modelage Final Workshop Selected Papers}, pages = {187--201}, series = {Lecture Notes in Artificial Intelligence}, volume = {1760}, publisher = {Springer}, isbn = {3-540-67027-0}, issn = {0302-9743}, doi = {10.1007/3-540-46581-2\_13}, note = {Preliminary report}, } @phdthesis{Kar:1999:256592, author = {Lars Karlsson}, title = {{Actions, interactions and narratives}}, year = {1999}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {593}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7219-534-7}, issn = {0345-7524}, } @phdthesis{Cor:1999:256578, author = {Silvia Coradeschi}, title = {{Anchoring symbols to sensory data}}, year = {1999}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {611}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7219-623-8}, issn = {0345-7524}, } @inproceedings{CorKarNor:1999:241594, author = {Silvia Coradeschi and Lars Karlsson and Klas Nordberg}, title = {{Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance}}, year = {1999}, booktitle = {Proceedings of the International Conference on Vision Systems '99: Grand Canary}, } @book{BolDziEtAl:1998:499769, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania}}, year = {1998}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {83-7101-403-1, 978-83-7101-403-1}, } @incollection{NonSza:1998:499739, author = {Andreas Nonnengart and Andrzej Szalas}, title = {{A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory}}, year = {1998}, booktitle = {Logic at work: essays dedicated to the memory of Helena Rasiowa}, pages = {307--328}, editor = {Ewa Orlowska}, series = {Studies in Fuzziness and Soft Computing}, volume = {24}, publisher = {Physica Verlag}, isbn = {3-7908-1164-5}, issn = {1434-9922}, } @phdthesis{Bjr:1998:482632, author = {Marcus Bj\"areland}, title = {{Two Aspects of Automating Logics of Action and Change: Regression and Tractability}}, year = {1998}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {674}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0280-7971}, note = {Thesis No 674. LiU-Tek-Lic 1998:09}, } @techreport{DohGus:1998:262600, author = {Patrick Doherty and Joakim Gustafsson}, title = {{Delayed effects of actions = direct effects + causal rules}}, year = {1998}, series = {Link\"oping Electronic Articles in Computer and Information Science}, volume = {98-001}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1654-7233}, } @article{DohGusEtAl:1998:262481, author = {Patrick Doherty and Joakim Gustafsson and Lars Karlsson and Jonas Kvarnstr\"om}, title = {{(TAL) temporal action logics: Language specification and tutorial}}, year = {1998}, journal = {Electronic Transactions on Artifical Intelligence}, volume = {2}, number = {3-4}, pages = {273--306}, issn = {1403-3534}, } @article{DohLukSza:1998:262471, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its effective reductions}}, year = {1998}, journal = {Fundamenta Informaticae}, volume = {36}, number = {1}, pages = {23--55}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1998-3612}, } @inproceedings{KarGusDoh:1998:262441, author = {Lars Karlsson and Joakim Gustafsson and Patrick Doherty}, title = {{Delayed effects of actions}}, year = {1998}, booktitle = {Proceedings of the 13th European Conference on Artificial Intelligence ({ECAI})}, pages = {542--546}, publisher = {John Wiley \& Sons}, isbn = {978-0471984313}, } @inproceedings{DohLukMad:1998:262308, author = {Patrick Doherty and Witold Lukaszewicz and Ewa Madalinska-Bugaj}, title = {{The PMA and relativizing change for action update}}, year = {1998}, booktitle = {Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {258--269}, publisher = {Morgan Kaufmann Publishers}, } @inproceedings{DohKva:1998:262304, author = {Patrick Doherty and Jonas Kvarnstr\"om}, title = {{Tackling the qualification problem using fluent dependency constraints}}, year = {1998}, booktitle = {Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98)}, pages = {97--}, editor = {Lina Khatib and Robert Morris}, publisher = {IEEE Computer Society}, isbn = {0-8186-8473-9}, note = {Preliminary report}, } @inproceedings{DraBjr:1997:482635, author = {Thomas Drakengren and Marcus Bj\"areland}, title = {{Reasoning about Action in Polynomial Time}}, year = {1997}, booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence ({IJCAI})}, } @inproceedings{BjrKar:1997:482634, author = {Marcus Bj\"areland and Lars Karlsson}, title = {{Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism}}, year = {1997}, booktitle = {Proceedings of the 15th International Joint Conference on Artficial Intelligence ({IJCAI})}, } @techreport{San:1997:370098, author = {Erik Sandewall}, title = {{Strategies and policies of Link\"oping University Electronic Press}}, year = {1997}, series = {Link\"oping Electronic Articles on Academic Policies and Trends}, volume = {1 Vol. 1}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1402-0319 (print), 1651-3304 (online)}, } @techreport{San:1997:370096, author = {Erik Sandewall}, title = {{A Neo-Classical Structure for Scientific Publication and Reviewing}}, year = {1997}, series = {Link\"oping Electronic Articles on Academic Policies and Trends}, volume = {1 Vol, 2}, publisher = {Link\"oping University Electronic Press}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {1402-0319 (print), 1651-3304 (online)}, } @article{DohLukSza:1997:262477, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1997}, journal = {Journal of automated reasoning}, volume = {18}, number = {3}, pages = {297--336}, publisher = {Kluwer Academic Publishers}, issn = {0168-7433}, doi = {10.1023/A:1005722130532}, } @inproceedings{CorNorKar:1997:241593, author = {Silvia Coradeschi and Klas Nordberg and Lars Karlsson}, title = {{Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance}}, year = {1997}, booktitle = {Knowledge Based Computer Vision, Seminar-Report 196: Schloss Dagstuhl, Germany}, } @article{Sza:1996:499794, author = {Andrzej Szalas}, title = {{On Natural Deduction in First-Order Fixpoint Logics}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {26}, number = {1}, pages = {81--94}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-2616}, } @proceedings{PenSza:1996:499719, author = {Wojciech Penczek and Andrzej Szalas}, title = {{Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS)}}, year = {1996}, series = {Lecture Notes in Computer Science}, volume = {1113}, publisher = {Springer Verlag}, isbn = {978-3-540-61550-7}, issn = {0302-9743}, } @mastersthesis{Kva:1996:354145, author = {Jonas Kvarnstr\"om}, title = {{A New Tractable Planner for the SAS+ Formalism}}, year = {1996}, isrn = {LiTH-IDA-Ex-9625}, school = {Link"opings universitet}, } @techreport{Doh:1996:262597, author = {Patrick Doherty}, title = {{PMON+: A fluent logic for action and change - formal specification, version 1.0}}, year = {1996}, series = {LITH-IDA-R}, volume = {33}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0281-4250}, } @techreport{DohLukSza:1996:262596, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative ptime queries to relational databases}}, year = {1996}, series = {LITH-IDA-R}, volume = {34}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{MeyDoh:1996:262595, author = {John-Jules Meyer and Patrick Doherty}, title = {{Preferential action semantics, preliminary report}}, year = {1996}, series = {LITH-IDA-R}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0281-4250}, } @techreport{DohLukSza:1996:262575, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its first-order reduction}}, year = {1996}, series = {LITH-IDA-R}, volume = {1}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @incollection{DohLuk:1996:262489, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{A study in modal embeddings of NML3}}, year = {1996}, booktitle = {Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information.}, pages = {145--168}, publisher = {CSLI Publications}, } @article{DohLukSza:1996:262475, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A reduction result for circumscribed semi-horn formulas}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {28}, number = {3,4}, pages = {261--272}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-283404}, } @inproceedings{GusDoh:1996:262307, author = {Joakim Gustafsson and Patrick Doherty}, title = {{Embracing occlusion in specifying the indirect effects of actions}}, year = {1996}, booktitle = {Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning}, pages = {87--98}, editor = {Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro}, publisher = {Morgan Kaufmann Publishers}, isbn = {1-55860-421-9}, } @inproceedings{DohLukSza:1996:262302, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Explaining explanation closure}}, year = {1996}, booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996}, pages = {521--530}, editor = {Zbigniew W. Ras and Maciek Michalewicz}, series = {Lecture Notes in Computer Science}, volume = {1079}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-61286-6}, issn = {0302-9743}, doi = {10.1007/3-540-61286-6\_176}, } @inproceedings{DohLukSza:1996:262299, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its first-order reduction}}, year = {1996}, booktitle = {Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning ({FAPR})}, pages = {93--109}, editor = {Dov Gabbay and Hans Olbach}, series = {Lecture Notes in Computer Science}, volume = {1085}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-61313-8}, issn = {0302-9743}, doi = {10.1007/3-540-61313-7\_65}, } @misc{BolSza:1995:499778, author = {Leonard Bolc and Andrzej Szalas}, title = {{Time and Logic: A Computational Approach}}, year = {1995}, publisher = {CRC Press}, isbn = {1-85728-233-7, 978-18-5728-233-7}, } @incollection{Sza:1995:499773, author = {Andrzej Szalas}, title = {{Temporal Logic: A Standard Approach}}, year = {1995}, booktitle = {Time And Logic: A Computational Approach}, pages = {1--50}, editor = {Leonard Bolc and Andrzej Szalas}, publisher = {UCL Press Ltd.}, isbn = {1-85728-233-7, 978-1857282337}, } @book{BolDziEtAl:1995:499768, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne}}, year = {1995}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {9788371012884}, } @techreport{DohLukSza:1995:262574, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae}}, year = {1995}, series = {LITH-IDA-R}, volume = {20}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{DohLukSza:1995:262301, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited}}, year = {1995}, booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence ({IJCAI})}, pages = {1502--1508}, isbn = {978-1558603639}, note = {Volume 2. Preliminary report}, } @inproceedings{DohPep:1995:262300, author = {Patrick Doherty and P. Peppas}, title = {{A comparison between two approaches to ramification: PMON(R) and AR0}}, year = {1995}, booktitle = {8th Australian Joint Conference on Artificial Intelligence,1995}, pages = {267--}, note = {World Scientific}, } @article{Sza:1994:499789, author = {Andrzej Szalas}, title = {{On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic}}, year = {1994}, journal = {Journal of Applied Non-Classical Logics}, volume = {4}, number = {2}, pages = {119--127}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, } @inproceedings{Sza:1994:499787, author = {Andrzej Szalas}, title = {{Genetic Algorithms for Decision Problems}}, year = {1994}, booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots ({AIICSR})}, pages = {383--390}, publisher = {World Scientific}, isbn = {981-02-1877-X}, } @techreport{DohLukSza:1994:262573, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1994}, series = {LITH-IDA-R}, volume = {94-42}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0281-4250}, } @techreport{Doh:1994:262572, author = {Patrick Doherty}, title = {{Notes on PMON circumscription}}, year = {1994}, series = {LITH-IDA-R}, volume = {43}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{DohLuk:1994:262298, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Circumscribing features and fluents. A fluent logic for reasoning about action and change}}, year = {1994}, booktitle = {8th International Symposium on Methodologies for Intelligent Systems,1994}, publisher = {Springer Verlag}, } @incollection{DohLuk:1994:262296, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Circumscribing features and fluents}}, year = {1994}, booktitle = {Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11--14, 1994 Proceedings}, pages = {82--100}, editor = {Dov M. Gabbay and Hans J\"urgen Ohlbach}, series = {Lecture Notes in Computer Science}, volume = {827}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-58241-X, 0-387-58241-X}, issn = {0302-9743 (print), 1611-3349 (online)}, doi = {10.1007/BFb0013982}, } @inproceedings{Doh:1994:262283, author = {Patrick Doherty}, title = {{Reasoning about action and change using occlusion}}, year = {1994}, booktitle = {11th European Conference on Artificial Intelligence,1994}, publisher = {John Wiley and Sons}, } @article{Sza:1993:499797, author = {Andrzej Szalas}, title = {{On the Correspondence between Modal and Classical Logic: An Automated Approach}}, year = {1993}, journal = {Journal of logic and computation (Print)}, volume = {3}, number = {6}, pages = {605--620}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/3.6.605}, } @incollection{DohDri:1993:262486, author = {Patrick Doherty and Dimiter Driankov}, title = {{Nonmonotonicity, fuzziness, and multi-values}}, year = {1993}, booktitle = {Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Soving.}, series = {Volume 12}, volume = {12}, publisher = {Kluwer Academic Publishers}, } @article{DohDriHel:1993:262467, author = {Patrick Doherty and Dimiter Driankov and Hans Hellendoorn}, title = {{Fuzzy if-then-unless rules and their implementation}}, year = {1993}, journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems}, volume = {1}, number = {2}, pages = {167--182}, publisher = {World Scientific}, issn = {0218-4885}, doi = {10.1142/S0218488593000097}, } @article{Sza:1992:499795, author = {Andrzej Szalas}, title = {{Axiomatizing Fixpoint Logics}}, year = {1992}, journal = {Information Processing Letters}, volume = {41}, number = {4}, pages = {175--180}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(92)90175-U}, } @book{Sza:1992:499715, author = {Andrzej Szalas}, title = {{Zarys dedukcyjnych metod automatycznego wnioskowania}}, year = {1992}, publisher = {Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)}, isbn = {83-9004-517-6, 978-83-9004-517-7}, } @techreport{DohLuk:1992:262571, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{FONML3 - A first-order non-monotonic logic with explicit defaults}}, year = {1992}, series = {LITH-IDA-R}, volume = {20}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{DohDriHel:1992:262520, author = {Patrick Doherty and Dimiter Driankov and H. Hellendoorn}, title = {{Fuzzy if-then-unless rules and their implementation}}, year = {1992}, series = {LITH-IDA-R}, volume = {21}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{DohDriTso:1992:262507, author = {Patrick Doherty and Dimiter Driankov and A. Tsoukias}, title = {{Partiality, para-consistency and preference modeling: Preliminary version}}, year = {1992}, series = {LITH-IDA-R}, volume = {18}, publisher = {Department of Computer and Information Systems, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{Doh:1992:262494, author = {Patrick Doherty}, title = {{A constraint-based approach to proof procedures for multi-valued logics}}, year = {1992}, series = {LITH-IDA-R}, volume = {2}, publisher = {Department of Computer and Information Science, Link\"oping university, Link\"oping, Sweden}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @incollection{DohLuk:1992:262488, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Distinguishing between facts and default assumptions}}, year = {1992}, booktitle = {Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.}, publisher = {Ellis Horwood Ltd.}, } @incollection{DriDoh:1992:262487, author = {Dimiter Driankov and Patrick Doherty}, title = {{A non-monotonic fuzzy logic}}, year = {1992}, booktitle = {Fuzzy Logic for the Management of Uncertainty}, pages = {171--190}, publisher = {John Wiley \& Sons}, isbn = {0-471-54799-9}, } @article{DohLuk:1992:262466, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{NML-3 - A non-monotonic logic with explicit defaults}}, year = {1992}, journal = {Journal of applied non-classical logics}, volume = {2}, number = {1}, pages = {9--48}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, } @inproceedings{DohLuk:1992:262282, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{Defaults as first-class citizens}}, year = {1992}, booktitle = {Proceedings of the 22nd International Symposium on Multiple-Valued Logic ({SMVL})}, pages = {146--154}, series = {Proceedings of the International Symposium on Multiple Valued Logic}, publisher = {IEEE Computer Society}, isbn = {0-8186-2680-1}, issn = {0195-623X}, } @inproceedings{DohLuk:1992:262281, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{FONML3 - A first-order non-monotonic logic with explicit defaults}}, year = {1992}, booktitle = {European Conference on Artificial Intelligence, ECAI-92,1992}, publisher = {John Wiley and Sons}, } @inproceedings{DohDriHel:1992:262280, author = {Patrick Doherty and Dimiter Driankov and H. Hellendoorn}, title = {{Fuzzy if-then-unless rules and their implementation}}, year = {1992}, booktitle = {International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU92,1992}, publisher = {Springer}, } @inproceedings{DohDriTso:1992:262273, author = {Patrick Doherty and Dimiter Driankov and A. Tsoukias}, title = {{Partial logics and partial preferences}}, year = {1992}, booktitle = {International Conference on Economics/Management and Information Technology,1992}, pages = {525--}, } @article{Sza:1991:499807, author = {Andrzej Szalas}, title = {{On Strictly Arithmetical Completeness in Logics of Programs}}, year = {1991}, journal = {Theoretical Computer Science}, volume = {79}, number = {2}, pages = {341--355}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(91)90336-Z}, } @book{SzaWar:1991:499716, author = {Andrzej Szalas and Jolanta Warpechowska}, title = {{Loglan}}, year = {1991}, publisher = {Wydawnictwa Naukowo-Techniczne WNT}, isbn = {83-2041-295-1, 978-83-2041-295-6}, note = {In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania}, } @techreport{DohLuk:1991:262495, author = {Patrick Doherty and Witold Lukaszewicz}, title = {{NML3 - A non-monotonic logic with explicit defaults}}, year = {1991}, series = {Anv\"andarrapport}, volume = {13}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{DohDri:1991:262274, author = {Patrick Doherty and Dimiter Driankov}, title = {{A non-monotonic fuzzy logic}}, year = {1991}, booktitle = {International Fuzzy Systems Association, Fourth World Congress,1991}, } @phdthesis{Doh:1991:262271, author = {Patrick Doherty}, title = {{NML3: a non-monotonic formalism with explicit defaults}}, year = {1991}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {258}, publisher = {Link\"opings tekniska h\"ogskola}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7870-816-8}, issn = {0345-7524}, } @inproceedings{Doh:1991:262265, author = {Patrick Doherty}, title = {{A constraint-based approach to proof procedures for multi-valued logics}}, year = {1991}, booktitle = {Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence ({WOCFAI})}, publisher = {Springer}, } @phdthesis{Doh:1990:262875, author = {Patrick Doherty}, title = {{A three-valued approach to non-monotonic reasoning}}, year = {1990}, type = {Licentiate Thesis}, series = {Link\"oping Studies in Science and Technology. Thesis}, volume = {230}, publisher = {Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7870-672-6}, issn = {0280-7971}, } @techreport{Doh:1990:262524, author = {Patrick Doherty}, title = {{NM3 - A three-valued non-monotonic formalism. Preliminary report}}, year = {1990}, series = {LITH-IDA-R}, volume = {44}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{Doh:1990:262523, author = {Patrick Doherty}, title = {{A correspondence between inheritance hierarchies and a logic of preferential entailment}}, year = {1990}, series = {LITH-IDA-R}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @inproceedings{Doh:1990:262272, author = {Patrick Doherty}, title = {{NME - A three-valued non-monotonic formalism}}, year = {1990}, booktitle = {Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems ({ISMIS})}, note = {Preliminary report}, } @inproceedings{Doh:1990:262264, author = {Patrick Doherty}, title = {{NM3 - A three-valued cumulative non-monotonic formalism}}, year = {1990}, booktitle = {Logics in AI, European Workshop ({JELIA})}, pages = {196--211}, editor = {Jan van Eijck}, series = {Lecture Notes in Artificial Intelligence}, volume = {478}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-53686-4}, issn = {0302-9743}, doi = {10.1007/BFb0018442}, } @article{PetSza:1989:499723, author = {Uwe Petermann and Andrzej Szalas}, title = {{On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts}}, year = {1989}, journal = {Fundamenta Informaticae}, volume = {12}, pages = {191--204}, publisher = {IOS Press}, issn = {0169-2968}, } @inproceedings{Doh:1989:262270, author = {Patrick Doherty}, title = {{A correspondence between inheritance hierarchies and a logic of preferential entailment}}, year = {1989}, booktitle = {Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems ({ISMIS})}, editor = {M. L. Emrich and M. S. Pfeifer and M. Hadzikadic and and Z. W. Ras}, publisher = {University of North Carolina Press}, } @inproceedings{Doh:1989:262263, author = {Patrick Doherty}, title = {{A semantics for inheritance hierarchies with exceptions using a logic of preferential entailment}}, year = {1989}, booktitle = {Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence ({SCAI})}, publisher = {IOS Press}, } @article{Sza:1988:499818, author = {Andrzej Szalas}, title = {{Towards the Temporal Approach to Abstract Data Types}}, year = {1988}, journal = {Fundamenta Informaticae}, volume = {11}, number = {1}, pages = {49--64}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1988:499799, author = {Andrzej Szalas}, title = {{An Incompleteness Result in Process Algebra}}, year = {1988}, journal = {Information Processing Letters}, volume = {29}, number = {2}, pages = {67--70}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90030-0}, } @article{HolSza:1988:499750, author = {Leszek Holenderski and Andrzej Szalas}, title = {{Propositional Description of Finite Cause-Effect Structures}}, year = {1988}, journal = {Information Processing Letters}, volume = {27}, number = {3}, pages = {111--117}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90064-6}, } @article{SzaHol:1988:499746, author = {Andrzej Szalas and Leszek Holenderski}, title = {{Incompleteness of First-Order Temporal Logic with Until}}, year = {1988}, journal = {Theoretical Computer Science}, volume = {57}, number = {2-3}, pages = {317--325}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(88)90045-X}, } @article{Sza:1987:499822, author = {Andrzej Szalas}, title = {{A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time}}, year = {1987}, journal = {Theoretical Computer Science}, volume = {54}, number = {2-3}, pages = {199--214}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(87)90129-0}, } @article{Sza:1987:499817, author = {Andrzej Szalas}, title = {{Arithmetical Axiomatization of First-Order Temporal Logic}}, year = {1987}, journal = {Information Processing Letters}, volume = {26}, number = {3}, pages = {111--116}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(87)90047-0}, } @inproceedings{CunNonSza:1987:499770, author = {R. J. Cunningham and Andreas Nonnengart and Andrzej Szalas}, title = {{A Compositional Method for the Design and Proof of Asynchronous Processes}}, year = {1987}, booktitle = {Proceedings of the 4th Annual ESPRIT Conference ({ESPRIT})}, pages = {566--580}, publisher = {North-Holland}, isbn = {0-444-70333-0}, } @article{Sza:1986:499709, author = {Andrzej Szalas}, title = {{Concerning the Semantic Consequence Relation in First-Order Temporal Logic}}, year = {1986}, journal = {Theoretical Computer Science}, volume = {47}, number = {3}, pages = {329--334}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(86)90157-X}, } @article{PetSza:1985:499721, author = {Uwe Petermann and Andrzej Szalas}, title = {{A Note on PCI: Distributed Processes Communicating by Interrupts}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {3}, pages = {37--46}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382284.382390}, } @article{SzaSzc:1985:499714, author = {Andrzej Szalas and Danuta Szczepaska}, title = {{Exception Handling in Parallel Computations}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {10}, pages = {95--104}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382286.382385}, } @techreport{Doh:1985:262247, author = {Patrick Doherty}, title = {{A rule interpreter for an emycin-like expert system tool}}, year = {1985}, series = {Aslab Memo}, volume = {85-05}, publisher = {Link\"opings tekniska h\"ogskola}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @article{Sza:1984:499704, author = {Andrzej Szalas}, title = {{On an Application of Algorithmic Theory of Stacks}}, year = {1984}, journal = {Fundamenta Informaticae}, volume = {7}, number = {3}, pages = {378--388}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1981:499698, author = {Andrzej Szalas}, title = {{Algorithmic Logic with Recursive Functions}}, year = {1981}, journal = {Fundamenta Informaticae}, volume = {4}, number = {4}, pages = {975--995}, publisher = {IOS Press}, issn = {0169-2968}, } @phdthesis{Har:1977:256466, author = {Anders Haraldsson}, title = {{A program manipulation system based on partial evaluation}}, year = {1977}, series = {Link\"oping Studies in Science and Technology. Dissertations}, volume = {14}, publisher = {Link\"opings universitet}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, isbn = {91-7372-144-1}, issn = {0345-7524}, note = {Date of defense not available.
}, }