3738 search results - page 290 / 748 » Parametrized Logic Programming |
119
Voted
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
109
click to vote
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname sc...
161
Voted
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
130
Voted
COLING
2000
15 years 5 months ago
2000
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
123
click to vote
ICONIP
1998
15 years 5 months ago
1998
This paper presents a method to induce relational concepts with neural networks using the inductive logic programming system LINUS. Some first-order inductive learning tasks taken...