Sciweavers

268 search results - page 9 / 54
» Revising Contextual Theories
Sort
View
CORR
2010
Springer
43views Education» more  CORR 2010»
14 years 9 months ago
Explicit Substitutions for Contextual Type Theory
Andreas Abel, Brigitte Pientka
TOCL
2008
78views more  TOCL 2008»
14 years 9 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
102
Voted
AAAI
2004
14 years 10 months ago
Negotiation as Mutual Belief Revision
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer,...
ICCS
2007
Springer
15 years 1 months ago
Belief Flow in Assertion Networks
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
Sujata Ghosh, Benedikt Löwe, Erik Scorelle