634 search results - page 8 / 127 » Completion Procedures as Semidecision Procedures |
EOR
2006
13 years 7 months ago
2006
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
FROCOS
2005
Springer
14 years 26 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
CADE
2002
Springer
14 years 7 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...
COMMA
2006
13 years 8 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
CSREAEEE
2006
13 years 8 months ago
2006
- This paper presents a complete description of the improvements that have been conducted for the learning management system at Arab Open University. AOU is the first regional univ...