Sciweavers

268 search results - page 9 / 54
» Revising Contextual Theories
Sort
View
CORR
2010
Springer
43views Education» more  CORR 2010»
13 years 7 months ago
Explicit Substitutions for Contextual Type Theory
Andreas Abel, Brigitte Pientka
TOCL
2008
78views more  TOCL 2008»
13 years 7 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
AAAI
2004
13 years 9 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
13 years 11 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