Search Sciweavers | Sciweavers

14 search results - page 1 / 3

» kr 1994

138

click to vote

KR
1994
Springer

109views Automated Reasoning» more KR 1994»

Reasoning in Logic about Continuous Systems

15 years 10 months ago

Download www.qrg.northwestern.edu

Benjamin Kuipers, Benjamin Shults

claim paper

Read More »

107

click to vote

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

15 years 10 months ago

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

144

click to vote

KR
1994
Springer

113views Automated Reasoning» more KR 1994»

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update

15 years 10 months ago

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

119

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

111

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers