Search Sciweavers | Sciweavers

319 search results - page 18 / 64

» Parallel Belief Revision

click to vote

ICDT
1997
ACM

83views Database» more ICDT 1997»

The Complexity of Iterated Belief Revision

14 years 1 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

14 years 1 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

14 years 1 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

14 years 1 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers