Eric Rosen

Jessica Zosa Forde

IEEE Robotics Autom. Mag., 2022

Planning with Large Language Models via Corrective Re-prompting.

[BibT_eX]

[DOI]

Shreyas Sundara Raman

CoRR, 2022

Structural Biases for Improving Transformers on Translation into Morphologically Rich Languages.

[BibT_eX]

[DOI]

CoRR, 2022

CHARM: A Hierarchical Deep Learning Model for Classification of Complex Human Activities Using Motion Sensors.

[BibT_eX]

[DOI]

Doruk Senkal

CoRR, 2022

Skill Transfer for Temporally-Extended Task Specifications.

[BibT_eX]

[DOI]

CoRR, 2022

Learning robot motor skills with mixed reality.

[BibT_eX]

[DOI]

Sreehari Rammohan

Devesh K. Jha

CoRR, 2022

Norm Learning with Reward Models from Instructive and Evaluative Feedback.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Learning Reward Functions from a Combination of Demonstration and Evaluative Feedback.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

Virtual, Augmented, and Mixed Reality for HRI (VAM-HRI).

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

2021

Scalable knowledge base completion with superposition memories.

[BibT_eX]

[DOI]

Matthias Lalisse

Paul Smolensky

CoRR, 2021

TOKCS: Tool for Organizing Key Characteristics of VAM-HRI Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Value-Based Reinforcement Learning for Continuous Control Robotic Manipulation in Multi-Task Sparse Reward Settings.

[BibT_eX]

[DOI]

CoRR, 2021

Bootstrapping Motor Skill Learning with Motion Planning.

[BibT_eX]

[DOI]

Ben Abbatematteo

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI).

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021

A VR Teleoperation Suite with Manipulation Assist.

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021

Compositional processing emerges in neural networks solving math problems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

2020

Steps Towards Best Practices For Robot Videos.

[BibT_eX]

[DOI]

George Konidaris

CoRR, 2020

Simultaneously Learning Transferable Symbols and Language Groundings from Perceptual Data for Instruction Following.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVI, 2020

A General Methodology for Teaching Norms to Social Robots.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

Mixed Reality as a Bidirectional Communication Interface for Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Building Plannable Representations with Mixed Reality.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI).

[BibT_eX]

[DOI]

Tom Williams

Daniel Szafir

Tathagata Chakraborti

Proceedings of the Companion of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020

2019

Communicating and controlling robot arm motion intent through mixed-reality head-mounted displays.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2019

End-User Robot Programming Using Mixed Reality.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

2018

ROS Reality: A Virtual Reality Framework Using Consumer-Grade Hardware for ROS-Enabled Robots.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

Geometrical morphology.

[BibT_eX]

[DOI]

John Goldsmith

CoRR, 2017

Comparing Robot Grasping Teleoperation Across Desktop and Virtual Reality with ROS Reality.

[BibT_eX]

[DOI]

David Whitney

Elizabeth Phillips

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Communicating Robot Arm Motion Intent Through Mixed Reality Head-Mounted Displays.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Reducing errors in object-fetching interactions through social feedback.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2005

On the First-Order Prefix Hierarchy.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2005

2002

Some aspects of model theory and finite structures.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2002

2000

SO(forall-exist*) Sentences and Their Asymptotic Probabilities.

[BibT_eX]

[DOI]

Jerzy Tyszkiewicz

Math. Log. Q., 2000

1999

On Preservation Theorems for Two-Variable Logic.

[BibT_eX]

[DOI]

Math. Log. Q., 1999

An existential fragment of second order logic.

[BibT_eX]

[DOI]

Arch. Math. Log., 1999

Undecidability results on two-variable logics.

[BibT_eX]

[DOI]

Martin Otto

Arch. Math. Log., 1999

Two-Variable Descriptions of Regularity.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1997

Modal Logic over Finite Structures.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1997

Two-Variable Logic with Counting is Decidable.

[BibT_eX]

[DOI]

Martin Otto

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

<i>k</i>-universal finite graphs.

[BibT_eX]

[DOI]

Saharon Shelah

Scott Weinstein

Proceedings of the Logic and Random Structures, 1995

1994

Preservation Theorems in Finite Model Theory.

[BibT_eX]

[DOI]