4617 search results - page 598 / 924 » Automation of Diagrammatic Reasoning |
177
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
194
click to vote
ICTAI
1997
IEEE
15 years 11 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
197
Voted
ICCBR
1995
Springer
15 years 11 months ago
1995
Springer
The particular strength of CBR is normally considered to be its use in weak theory domains where solution quality is compiled into cases and is reusable. In this paper we explore a...
237
click to vote
ICLP
1995
Springer
15 years 11 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
229
Voted
ICLP
1995
Springer
15 years 11 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...