Search Sciweavers | Sciweavers

244 search results - page 20 / 49

» Iterated belief revision, revised

click to vote

KR
1998
Springer

143views Automated Reasoning» more KR 1998»

On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc

14 years 19 days ago

Download www.dis.uniroma1.it

Paolo Liberatore

claim paper

Read More »

click to vote

TARK
1998
Springer

136views Automated Reasoning» more TARK 1998»

Belief Revision and Rationalizability

14 years 19 days ago

Download www.pitt.edu

Oliver J. Board

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 16 days 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 15 days 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 14 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers