5499 search results - page 104 / 1100 » Generalized Rewrite Theories |
101
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
My paper discusses system consequence, which is a central idea in the project to lift the theory of information flow to the general level of universal logic and the theory of ins...
122
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
This work derives and simulates two choice models applying the weighted utility theory, a generalization of the expected utility theory. It shows one set of assumptions, which jus...
113
click to vote
AAAI
2000
15 years 5 months ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
109
click to vote
APAL
2010
15 years 4 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...
125
click to vote
TCS
2008
15 years 4 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...