Sciweavers

17

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

13 years 11 months ago

A Unified Framework for Class-Based Representation Formalisms

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

14

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

13 years 11 months ago

Belief Ascription and Mental-Level Modelling

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

21

KR
1994
Springer

145views Automated Reasoning» more KR 1994»

Toward a Logic for Qualitative Decision Theory

13 years 11 months ago

Toward a Logic for Qualitative Decision Theory

Download www.cs.toronto.edu

We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....

Craig Boutilier

claim paper

Read More »