Sciweavers

Share
62 search results - page 1 / 13
» A Framework for Reasoning About the Human in the Loop
Sort
View
AIL
2015
3 years 11 months ago
Transition systems for designing and reasoning about norms
The design and analysis of norms is a somewhat neglected topic in AI and Law, but this is not so in other areas of Computer Science. In recent years powerful techniques to model an...
Trevor J. M. Bench-Capon
FLAIRS
2004
9 years 5 months ago
Reasoning about Beliefs, Observability, and Information Exchange in Teamwork
Communication is an important aspect of teamwork, both in human teams and in multi-agent teams. One of the most vital roles for communication is for information exchange, such as ...
Thomas R. Ioerger
ICCBR
1997
Springer
9 years 7 months ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
CVPR
2007
IEEE
10 years 5 months ago
Bilattice-based Logical Reasoning for Human Detection
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, La...
books