Search Sciweavers | Sciweavers

237 search results - page 18 / 48

» Permissive Belief Revision

click to vote

ICDT
1997
ACM

83views Database» more ICDT 1997»

The Complexity of Iterated Belief Revision

13 years 11 months ago

Download www.dis.uniroma1.it

Paolo Liberatore

claim paper

Read More »

click to vote

ICTAI
1993
IEEE

85views Artificial Intelligence» more ICTAI 1993»

The Implementation of a First-Order Logic AGM Belief Revision System

13 years 11 months ago

Download www.jos.org.cn

Simon Dixon, Wayne Wobcke

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 11 months ago

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

click to vote

IEAAIE
2000
Springer

74views Artificial Intelligence» more IEAAIE 2000»

Inventiveness as Belief Revision and a Heuristic Rule of Inventive Design

13 years 11 months ago

Download www3.sympatico.ca

Y. B. Karasik

claim paper

Read More »

click to vote

STACS
2000
Springer

75views Theoretical Computer Science» more STACS 2000»

Succinct Representations of Model Based Belief Revision

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers