Sciweavers

ICLP
2011
Springer
14 years 11 days ago
Transaction Logic with Defaults and Argumentation Theories
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
Paul Fodor, Michael Kifer
60
Voted
IROS
2009
IEEE
123views Robotics» more  IROS 2009»
15 years 3 months ago
Planning-based prediction for pedestrians
— We present a novel approach for determining robot movements that efficiently accomplish the robot’s tasks while not hindering the movements of people within the environment....
Brian Ziebart, Nathan D. Ratliff, Garratt Gallaghe...