1943 search results - page 35 / 389 » Ordering Default Theories |
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
LICS
2000
IEEE
14 years 27 days ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
IFIP
2000
Springer
14 years 3 days ago
2000
Springer
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...