Sciweavers

2082 search results - page 2 / 417

» Change Paths in Reasoning!

16

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

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

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

25

TARK
1994
Springer

118views Automated Reasoning» more TARK 1994»

A Knowledge-Based Framework for Belief change, Part I: Foundations

13 years 11 months ago

A Knowledge-Based Framework for Belief change, Part I: Foundations

Download www.cs.huji.ac.il

Nir Friedman, Joseph Y. Halpern

claim paper

Read More »

18

DEON
2004
Springer

88views Automated Reasoning» more DEON 2004»

Obligation Change in Dependence Logic and Situation Calculus

13 years 11 months ago

Obligation Change in Dependence Logic and Situation Calculus

Download www.irit.fr

Robert Demolombe, Andreas Herzig

claim paper

Read More »

23

GIS
2006
ACM

71views Automated Reasoning» more GIS 2006»

Monitoring qualitative spatiotemporal change for geosensor networks

13 years 7 months ago

Monitoring qualitative spatiotemporal change for geosensor networks

Download www.geosensor.net

Michael F. Worboys, Matt Duckham

claim paper

Read More »

15

CSL
2004
Springer

94views Automated Reasoning» more CSL 2004»

Pronunciation change in conversational speech and its implications for automatic speech recognition

13 years 7 months ago

Pronunciation change in conversational speech and its implications for automatic speech recognition

Download www.clsp.jhu.edu

Murat Saraclar, Sanjeev Khudanpur

claim paper

Read More »

« Prev « First page 2 / 417 Last » Next »