Sciweavers

JOLLI
1998
49views more  JOLLI 1998»
13 years 4 months ago
Speaking about Transitive Frames in Propositional Languages
Yasuhito Suzuki, Frank Wolter, Michael Zakharyasch...
JOLLI
1998
78views more  JOLLI 1998»
13 years 4 months ago
Proof Nets and the Complexity of Processing Center Embedded Constructions
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
Mark Johnson
JOLLI
1998
86views more  JOLLI 1998»
13 years 4 months ago
On the Logic of Theory Change: Contraction without Recovery
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourr´on, G¨ardenfors and Makinson is the one that has provoked most cont...
Eduardo L. Fermé
JOLLI
1998
103views more  JOLLI 1998»
13 years 4 months ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur