by Jelle Gerbr, Willem Groeneveld
ftp://ftp.fwi.uva.nl/pub/theory/illc/researchreports/LP-1996-10.text.ps.gz
Add To MetaCart
Abstract:
Recently the notions of information and information change have gained a prominent place in several fields of scientific research, such as philosophy, the formal semantics of natural language and computer science. The present paper
Citations
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
304
|
On the difference between updating a knowledge base and revising it, in P. Gärdenfors ed.: Belief Revision
– KATSUNO
- 1992
|
|
236
|
Knowledge in Flux
– Gärdenfors
- 1988
|
|
163
|
Non-well-founded sets
– Aczel
- 1988
|
|
155
|
Considerations on floyd-hoare logic
– Pratt
- 1976
|
|
146
|
Defaults in update semantics
– Veltman
- 1996
|
|
116
|
Agent oriented programming
– Shoham
- 1993
|
|
42
|
A model-theoretic analysis of knowledge
– Fagin, Halpern, et al.
- 1991
|
|
38
|
Formalizing Common Sense: Papers by
– McCarthy
- 1990
|
|
36
|
Scenes and other situations
– Barwise
- 1981
|
|
23
|
Cheating husbands and other stories: a case study of knowledge, action, and communication
– Moses, Dolev, et al.
- 1986
|
|
22
|
Logical Investigations into Dynamic Semantics
– Groeneveld
- 1995
|
|
13
|
Belief Revision from the Point of View of Doxastic Logic
– Segerberg
- 1995
|
|
8
|
Calculi for Constructive Communication: A Study of the Dynamics of Partial States, doctoral dissertation
– Jaspars
- 1994
|
|
5
|
The Conway paradox: its solution in an epistemic framework
– Boas, Groenendijk, et al.
- 1980
|
|
3
|
Logics of Time and Computation. CSLI Lecture Notes
– Goldblatt
- 1987
|
|
1
|
Formalization of two puzzles involving knowedge
– McCarthy
- 1990
|
