15754 search results - page 675 / 3151 » Programs are Knowledge Bases |
212
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
195
click to vote
GI
1999
Springer
15 years 11 months ago
1999
Springer
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
187
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Within a database mobile environment, cached data on mobile clients can take the form of materialized views. In order to e ciently maintain such materialized views while taking in...
182
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe semidefinite programming methods for system realization and identification. For each of these two applications, a variant of a simple subspace algorithm is presented, i...
151
click to vote
EPIA
1995
Springer
15 years 11 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...