Sciweavers

225 search results - page 37 / 45
» Reasoning About Synchronic Groups
Sort
View
UAI
1993
13 years 8 months ago
Utility-Based Abstraction and Categorization
Based Abstraction and Categorization Eric J. Horvitz∗ and Adrian C. Klein Palo Alto Laboratory Rockwell International Science Center 444 High Street Palo Alto, CA 94301 We take ...
Eric Horvitz, Adrian Klein
AAAI
1992
13 years 8 months ago
An Empirical Analysis of Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...
Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, H...
AIME
2005
Springer
14 years 1 months ago
Ontology of Time and Situoids in Medical Conceptual Modeling
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
Heinrich Herre, Barbara Heller
ATAL
2006
Springer
13 years 9 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
CSCW
2008
ACM
13 years 9 months ago
"Are you watching this film or what?": interruption and the juggling of cohorts
A proliferation of mobile devices in everyday life has increased the likelihood of technologically mediated interruptions. We examine ethnographic data from an SMSbased pervasive ...
Peter Tolmie, Andy Crabtree, Tom Rodden, Steve Ben...