Sciweavers

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