Sciweavers

3765 search results - page 299 / 753
» Qualitative Action Systems
Sort
View
KBS
2002
136views more  KBS 2002»
15 years 7 months ago
Diagnostic reasoning based on means-end models: experiences and future prospects
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
Jan Eric Larsson
LFCS
2009
Springer
16 years 1 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
CTCS
1989
Springer
15 years 11 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002
ICML
2008
IEEE
16 years 8 months ago
Exploration scavenging
We examine the problem of evaluating a policy in the contextual bandit setting using only observations collected during the execution of another policy. We show that policy evalua...
John Langford, Alexander L. Strehl, Jennifer Wortm...
CSE
2009
IEEE
16 years 2 months ago
Modeling User Perception of Interaction Opportunities for Effective Teamwork
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
Ece Kamar, Ya'akov Gal, Barbara J. Grosz