3773 search results - page 191 / 755 » Logical Reasoning |
123
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
130
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
195
Voted
PSSE
2004
Springer
15 years 9 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
106
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
133
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...