Search Sciweavers | Sciweavers

1153 search results - page 45 / 231

» The Complexity of Revision, Revised

167

click to vote

KR
1998
Springer

143views Automated Reasoning» more KR 1998»

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

15 years 10 months ago

Download www.dis.uniroma1.it

Paolo Liberatore

claim paper

Read More »

139

click to vote

TARK
1998
Springer

136views Automated Reasoning» more TARK 1998»

Belief Revision and Rationalizability

15 years 10 months ago

Download www.pitt.edu

Oliver J. Board

claim paper

Read More »

128

click to vote

AIME
1997
Springer

82views Artificial Intelligence» more AIME 1997»

Strengthening Argumentation in Medical Explanations by Text Plan Revision

15 years 10 months ago

Download www.csc.liv.ac.uk

Fiorella de Rosis, Floriana Grasso, Dianne C. Berr...

claim paper

Read More »

116

click to vote

ICTAI
1993
IEEE

85views Artificial Intelligence» more ICTAI 1993»

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

15 years 10 months ago

Download www.jos.org.cn

Simon Dixon, Wayne Wobcke

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers