15754 search results - page 806 / 3151 » Programs are Knowledge Bases |
191
click to vote
FMCO
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
256
click to vote
IDEAL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A novel Genetic Programming (GP) paradigm called Coevolutionary Rule-Chaining Genetic Programming (CRGP) has been proposed to learn the relationships among attributes rep...
189
click to vote
PPDP
2005
Springer
16 years 1 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
202
click to vote
ERLANG
2004
ACM
16 years 1 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
195
click to vote
IBERAMIA
2004
Springer
16 years 1 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...