Switch to: References

Add citations

You must login to add citations.
  1. Learning social navigation from demonstrations with conditional neural processes.Yigit Yildirim & Emre Ugur - 2022 - Interaction Studies 23 (3):427-468.
    Sociability is essential for modern robots to increase their acceptability in human environments. Traditional techniques use manually engineered utility functions inspired by observing pedestrian behaviors to achieve social navigation. However, social aspects of navigation are diverse, changing across different types of environments, societies, and population densities, making it unrealistic to use hand-crafted techniques in each domain. This paper presents a data-driven navigation architecture that uses state-of-the-art neural architectures, namely Conditional Neural Processes, to learn global and local controllers of the mobile (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Robust Monte Carlo localization for mobile robots.Sebastian Thrun, Dieter Fox, Wolfram Burgard & Frank Dellaert - 2001 - Artificial Intelligence 128 (1-2):99-141.
  • An affective mobile robot educator with a full-time job.Illah R. Nourbakhsh, Judith Bobenage, Sebastien Grange, Ron Lutz, Roland Meyer & Alvaro Soto - 1999 - Artificial Intelligence 114 (1-2):95-124.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
    The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
  • Specifying and computing preferred plans.Meghyn Bienvenu, Christian Fritz & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (7-8):1308-1345.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Logical Theory of Localization.Vaishak Belle & Hector J. Levesque - 2016 - Studia Logica 104 (4):741-772.
    A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of belief change is categorical in the former, while probabilistic in the latter. A typical example is the fundamental capability of localization where a robot uses its noisy sensors to situate itself in a dynamic world. Domain designers are then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations