2303 search results - page 106 / 461 » On the logic of argumentation theory |
193
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
188
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
152
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
136
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
178
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Non-Axiomatic Logic (NAL) is designed for intelligent reasoning, and can be used in a system that has insufficient knowledge and resources with respect to the problems to...