8232 search results - page 155 / 1647 » Dynamic Logic Programming |
140
click to vote
ICLP
1995
Springer
15 years 9 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
226
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
152
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
160
Voted
ESWA
2006
15 years 6 months ago
2006
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...
210
Voted
CL
1999
Springer
15 years 5 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...