7335 search results - page 209 / 1467 » Scene Based Reasoning |
153
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...
135
Voted
DSL
2009
15 years 1 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
123
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
128
Voted
CADE
2008
Springer
16 years 3 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...
129
Voted
VMCAI
2010
Springer
16 years 26 days ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...