@article{Ber:2013:613758,
    author = {Cyrille Berger},
    title = {{Toward rich geometric map for SLAM: online detection of planets in 2D LIDAR}},
    year = {2013},
    journal = {Journal of Automation, Mobile Robotics \& Intelligent Systems},
    volume = {7},
    number = {1},
    pages = {35--41},
    issn = {1897-8649},
}

@article{DohHeiKva:2013:611599,
    author = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnstr\"om},
    title = {{High-level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems using Delegation}},
    year = {2013},
    journal = {Unmanned Systems},
    publisher = {World Scientific},
    issn = {2301-3850, EISSN 2301-3869},
}

@article{HeiKvaDoh:2013:610375,
    author = {Fredrik Heintz and Jonas Kvarnstr\"om and Patrick Doherty},
    title = {{Stream-Based Hierarchical Anchoring}},
    year = {2013},
    journal = {K\"unstliche Intelligenz},
    publisher = {Springer},
    issn = {0933-1875},
}

@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},
}

@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 = {<p>Funding Agencies|Deutsche Forschungsgemeinschaft in the Transregional Collaborative Research Center|SFB/TR8|</p>},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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/},
}

@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 = {<p>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/</p>},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}

@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},
}