Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
<
User:Felix QW
Current plans for logic programming articles
Currently, the focus is on the "X logic programming" articles.
Probabilistic logic programming
Write
Probabilistic logic programming
using the PILP paper as a first resource.
Concurrent logic programming
Use information from the 50 years of Prolog paper" and the two surveys for
Concurrent logic programming
and merge what is salvageable from
Indeterminacy in concurrent computation
there.
Inductive logic programming
Theta-subsumption
(Needs a little bit of extension, but solid start)
Inductive logic programming
(Further drafting at
user:Felix QW/Inductive logic programming
)
Articles on the main ILP systems
Existing system articles:
Golem
Progol
FOIL
Other notable systems
Model Inference System
Aleph
Metagol
From Wikipedia, the free encyclopedia
<
User:Felix QW
Current plans for logic programming articles
Currently, the focus is on the "X logic programming" articles.
Probabilistic logic programming
Write
Probabilistic logic programming
using the PILP paper as a first resource.
Concurrent logic programming
Use information from the 50 years of Prolog paper" and the two surveys for
Concurrent logic programming
and merge what is salvageable from
Indeterminacy in concurrent computation
there.
Inductive logic programming
Theta-subsumption
(Needs a little bit of extension, but solid start)
Inductive logic programming
(Further drafting at
user:Felix QW/Inductive logic programming
)
Articles on the main ILP systems
Existing system articles:
Golem
Progol
FOIL
Other notable systems
Model Inference System
Aleph
Metagol
Videos
Youtube
|
Vimeo
|
Bing
Websites
Google
|
Yahoo
|
Bing
Encyclopedia
Google
|
Yahoo
|
Bing
Facebook
Top Of Page
Home
•
Search
•
Translate
©
CSE