1802 search results - page 38 / 361 » Model-based Theory Combination |
CADE
2003
Springer
14 years 9 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
 We  present  an  agentÂbased  model  that  employs different  social  theories  and  their  combination  to explain and predict social changes.Â...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...