895 search results - page 31 / 179 » A Spectrum of Applications of Automated Reasoning |
162
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
By design, Case-Based Reasoning (CBR) systems do not need deep general knowledge. In contrast to (rule-based) expert systems, CBR systems can already be used with just some initial...
150
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
130
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
130
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
129
click to vote
TVLSI
2008
15 years 5 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...