307 search results - page 3 / 62 » On Hierarchical Reasoning in Combinations of Theories |
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
79
Voted
CLIMA
2010
14 years 11 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
100
click to vote
CADE
2012
Springer
12 years 12 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...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...