fall-1998-02

Contents

• Logic-based Subsumption Architecture

  Eyal Amir, Pedrito Maynard-Reid II

  PDF

• Robots in a Distributed Agent System

  Didier Guzzoni, Kurt Konolige, Karen Myers, Adam Cheyer, Luc Julia

  PDF

• High-Level Robotic Control Beyond Planning (Position Paper)

  Hector Levesque, Ray Reiter

  PDF

• An Incremental Interpreter for High-Level Programs with Sensing

  Giuseppe De Giacomo, Hector Levesque

  PDF

• Embodied Cassie

  Stuart C. Shapiro

  PDF

• Reasoning on High-Level Robot Behaviors by Model Checking and Local Validity Tests

  Giuseppe De Giacomo, Riccardo Rosati

  PDF

• Formalizing Sensing Actions a Transition Function Based Approach

  Chitta Baral, Tran Cao Son

  PDF

• Reactivity in a Logic-Based Robot Programming Framework

  Yves Lesperance, Kenneth Tam, Michael Jenkin

  PDF

• High-Level Planning and Control with Incomplete Information using POMDP’s

  Hector Geffner, Blai Bonet

  PDF

• Plan Management Issues for Cognitive Robotics Project Overview

  John F. Horty, Martha E. Pollack

  PDF

• On Sensing and Off-Line Interpreting in GOLOG

  Gerhard Lakemeyer

  PDF

• Boundary Region Relations

  Emilio Remolina, Benjamin Kuipers

  PDF

• Temporal Golog with Execution Monitoring

  Mikhail Soutchanski

  PDF

• Interval-valued Epistemic (IVE) Fluents

  John Funge

  PDF

• Reinventing Shakey

  Murray Shanahan

  PDF

• Fault Tolerant Coordination of Robot Teams

  Jeffrey Coble and Diane J. Cook

  PDF

• A Hybrid BDI Architecture for Modeling Embedded Rational Agents

  Deepak Kumar, Lisa Meeden

  PDF

• Failure, Monitoring and Recovery in the Agent Language 3APL

  Koen Hindriks, Frank de Boer, Wiebe van der Hoek, John-Jules Meyer

  PDF

• COPLAS a Conditional PLAnner with Sensing Actions

  Jorge Lobo

  PDF