Search Sciweavers | Sciweavers

14 search results - page 1 / 3

» kr 1994

click to vote

KR
1994
Springer

109views Automated Reasoning» more KR 1994»

Reasoning in Logic about Continuous Systems

13 years 8 months ago

Download www.qrg.northwestern.edu

Benjamin Kuipers, Benjamin Shults

claim paper

Read More »

click to vote

KR
1994
Springer

101views Automated Reasoning» more KR 1994»

Belief Ascription and Mental-Level Modelling

13 years 8 months ago

Download u.cs.biu.ac.il

Ronen I. Brafman, Moshe Tennenholtz

claim paper

Read More »

click to vote

KR
1994
Springer

113views Automated Reasoning» more KR 1994»

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

13 years 8 months ago

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

13 years 8 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

click to vote

KR
1994
Springer

93views Automated Reasoning» more KR 1994»

GSAT and Dynamic Backtracking

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers