1131 search results - page 92 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
109
Voted
LPKR
1997
Springer
15 years 4 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
120
click to vote
ICLP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
TASE
2008
IEEE
15 years 3 hour ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
101
click to vote
IJON
2002
15 years 6 days ago
2002
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
93
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...