Information Engineering in Autonomous Robot Software Informatie Engineering in Autonome Robotica Software

[1]  Azamat Shakhimardanov,et al.  Component-Based Robotics Engineering (Part II): Systems and Models , 2010 .

[2]  Fredrik Heintz,et al.  Semantically grounded stream reasoning integrated with ROS , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  Sebastian Rudolph,et al.  REAL-TIME COMPLEX EVENT RECOGNITION AND REASONING–A LOGIC PROGRAMMING APPROACH , 2012, Appl. Artif. Intell..

[4]  Deb Roy,et al.  Grounded Situation Models for Robots: Where words and percepts meet , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[5]  Kevin Williams,et al.  Professional XML , 2001 .

[6]  Moritz Tenorth,et al.  CRAM — A Cognitive Robot Abstract Machine for everyday manipulation in human environments , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[8]  Abdelghani Chibani,et al.  Narrative reasoning for cognitive ubiquitous robots , 2011, IROS 2011.

[9]  Tara Estlin,et al.  Plan Execution Interchange Language (PLEXIL) , 2006 .

[10]  Michael Beetz,et al.  Grounding the Interaction: Anchoring Situated Discourse in Everyday Human-Robot Interaction , 2012, Int. J. Soc. Robotics.

[11]  Sebastian Wrede,et al.  An information-driven architecture for cognitive systems research , 2008 .

[12]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[13]  Koen V. Hindriks,et al.  Query Caching in Agent Programming Languages , 2012, ProMAS.

[14]  Tully Foote,et al.  tf: The transform library , 2013, 2013 IEEE Conference on Technologies for Practical Robot Applications (TePRA).

[15]  Aaron Sloman,et al.  Towards an Integrated Robot with Multiple Cognitive Functions , 2007, AAAI.

[16]  Geert-Jan M. Kruijff,et al.  Episodic-Like Memory for Cognitive Robots , 2012, IEEE Transactions on Autonomous Mental Development.

[17]  Alessandro Saffiotti,et al.  A constraint-based approach for proactive, context-aware human support , 2012, J. Ambient Intell. Smart Environ..

[18]  C. R. Ramakrishnan,et al.  Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation , 2005, ICLP.

[19]  Martin K. Purvis,et al.  IDENTIFYING EVENTS TAKING PLACE IN SECOND LIFE VIRTUAL ENVIRONMENTS , 2012, Appl. Artif. Intell..

[20]  Pat Langley,et al.  Cognitive architectures: Research issues and challenges , 2009, Cognitive Systems Research.

[21]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[22]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[23]  Patrick Doherty,et al.  Stream-Based Reasoning Support for Autonomous Systems , 2010, ECAI.

[24]  Il Hong Suh,et al.  Ontology-Based Unified Robot Knowledge for Service Robots in Indoor Environments , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[25]  Daniele Braga,et al.  Querying RDF streams with C-SPARQL , 2010, SGMD.

[26]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[27]  C. R. Ramakrishnan,et al.  Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs , 2006, PADL.

[28]  Jan Wielemaker,et al.  Processing OWL2 Ontologies using Thea: An Application of Logic Programming , 2009, OWLED.

[29]  Moritz Tenorth,et al.  Knowledge Processing for Autonomous Robot Control , 2012, AAAI Spring Symposium: Designing Intelligent Robots.

[30]  C. R. Ramakrishnan,et al.  Incremental Evaluation of Tabled Logic Programs , 2003, ICLP.

[31]  Stuart C. Shapiro,et al.  The 'Ah Ha!' Moment: When Possible, Answering the Currently Unanswerable using Focused Reasoning , 2014, CogSci.

[32]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[33]  Patrizia Scandurra,et al.  Component-based robotic engineering (Part I) [Tutorial] , 2009, IEEE Robotics & Automation Magazine.

[34]  James J. Kuffner,et al.  OpenRAVE: A Planning Architecture for Autonomous Robotics , 2008 .

[35]  Ricardo Rocha,et al.  On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog , 2007, ICLP.

[36]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[37]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

[38]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[39]  I. V. Ramakrishnan,et al.  Efficient Access Mechanisms for Tabled Logic Programs , 1999, J. Log. Program..

[40]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[41]  Patrick Doherty,et al.  A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems , 2009, Autonomous Agents and Multi-Agent Systems.

[42]  Tara Estlin,et al.  PLAN EXECUTION INTERCHANGE LANGUAGE (PLEXIL) FOR EXECUTABLE PLANS AND COMMAND SEQUENCES , 2005 .

[43]  Alberto Jardón Huete,et al.  Object Detection Techniques Applied on Mobile Robot Semantic Navigation , 2014, Sensors.

[44]  Michael Freed,et al.  Managing Multiple Tasks in Complex, Dynamic Environments , 1998, AAAI/IAAI.

[45]  Sven Wachsmuth,et al.  User Behavior Recognition for an Automatic Prompting System - A Structured Approach based on Task Analysis , 2012, ICPRAM.

[46]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[47]  Bijan Parsia,et al.  Description Logic Reasoning with Syntactic Updates , 2006, OTM Conferences.

[48]  Tara Estlin,et al.  Survey of Command Execution Systems for NASA Spacecraft and Robots , 2005 .

[49]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[50]  Patrick Doherty,et al.  A stream-based hierarchical anchoring framework , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[51]  Catriel Beeri,et al.  On the power of magic , 1987, PODS '87.

[52]  Alessandro Margara,et al.  Processing flows of information: From data stream to complex event processing , 2012, CSUR.

[53]  Patrick Doherty,et al.  Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing , 2010, Adv. Eng. Informatics.

[54]  Lundy Lewis,et al.  Extending BDI Multi-Agent Systems with Situation Management , 2006, 2006 9th International Conference on Information Fusion.

[55]  Marc Hanheide,et al.  CAST: Middleware for Memory-Based Architectures , 2010, Enabling Intelligence through Middleware.

[56]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[57]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[58]  Moritz Tenorth,et al.  KNOWROB — knowledge processing for autonomous personal robots , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[59]  Y. Bar-Shalom.  Tracking and data association , 1988 .

[60]  Huan Liu,et al.  Resource description framework: metadata and its applications , 2001, SKDD.

[61]  Peter Novák,et al.  Notes on Pragmatic Agent-Programming with Jason , 2011, ProMAS.

[62]  Ingo Lütkebohle,et al.  Generic middleware support for coordinating robot software components: The Task-State-Pattern , 2011 .

[63]  Christian Bauckhage,et al.  An active memory as a model for information fusion , 2004 .

[64]  Alexander Artikis,et al.  Logic-based representation, reasoning and machine learning for event recognition , 2010, DEBS '10.

[65]  Luis Enrique Sucar,et al.  Real-time face recognition for human-robot interaction , 2008, 2008 8th IEEE International Conference on Automatic Face & Gesture Recognition.

[66]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[67]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[68]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[69]  David Scott Warren,et al.  XSB: Extending Prolog with Tabled Logic Programming , 2010, Theory and Practice of Logic Programming.

[70]  Patrick Doherty,et al.  Robotics, Temporal Logic and Stream Reasoning , 2013, LPAR.

[71]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[72]  Fulvio Mastrogiovanni,et al.  Fast Prototyping and Deployment of Context-Aware Smart Outdoor Environments , 2011, 2011 Seventh International Conference on Intelligent Environments.

[73]  Anne-Marie Kermarrec,et al.  The many faces of publish/subscribe , 2003, CSUR.

[74]  Jennifer Barry,et al.  Bakebot: Baking Cookies with the PR2 , 2011 .

[75]  Fredrik Heintz,et al.  Semantic information integration with transformations for stream reasoning , 2013, Proceedings of the 16th International Conference on Information Fusion.

[76]  David Scott Warren,et al.  Tabled evaluation with delaying for general logic programs , 1996, JACM.

[77]  C. R. Ramakrishnan,et al.  A Local Algorithm for Incremental Evaluation of Tabled Logic Programs , 2006, ICLP.

[78]  Helge J. Ritter,et al.  The visual active memory perspective on integrated recognition systems , 2008, Image Vis. Comput..

[79]  Nico Blodow,et al.  Perception and probabilistic anchoring for dynamic world state logging , 2010, 2010 10th IEEE-RAS International Conference on Humanoid Robots.

[80]  Nick Hawes,et al.  Building for the Future: Architectures for the Next Generation of Intelligent Robots , 2014 .

[81]  Karen L. Myers.  A Procedural Knowledge Approach to Task-Level Control , 1996, AIPS.

[82]  Yale Song,et al.  Continuous body and hand gesture recognition for natural human-computer interaction , 2012, TIIS.

[83]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[84]  Helge J. Ritter,et al.  Real-time 3D segmentation of cluttered scenes for robot grasping , 2012, 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012).

[85]  Gilberto Echeverria,et al.  Modular open robots simulation engine: MORSE , 2011, 2011 IEEE International Conference on Robotics and Automation.

[86]  Moritz Tenorth,et al.  The RoboEarth language: Representing and exchanging knowledge about actions, objects, and environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[87]  Giorgio Metta,et al.  YARP: Yet Another Robot Platform , 2006 .

[88]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[89]  Alessandro Saffiotti,et al.  An introduction to the anchoring problem , 2003, Robotics Auton. Syst..

[90]  Rafael H. Bordini,et al.  BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) , 2005, CLIMA.

[91]  Patrick Doherty,et al.  Stream-Based Hierarchical Anchoring , 2013, KI - Künstliche Intelligenz.

[92]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[93]  Tony Belpaeme,et al.  A review of long-term memory in natural and synthetic systems , 2012, Adapt. Behav..

[94]  Koen V. Hindriks,et al.  Multi-Cycle Query Caching in Agent Programming , 2013, AAAI.

[95]  Ari K. Jónsson,et al.  Universal Executive and PLEXIL: Engine and Language for Robust Spacecraft Control and Operations , 2006 .