1581 search results - page 54 / 317 » Mechanizing Inductive Reasoning |
100
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...
117
Voted
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
JFP
2008
15 years 2 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
125
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
153
Voted
AIME
2005
Springer
15 years 8 months ago
2005
Springer
We have developed an algorithm for triaging acute pediatric abdominal pain in the Emergency Department using the discovery-driven approach. This algorithm is embedded into the MET-...