Results 111 to 120 of about 7,084,339 (219)

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

On the equivalence between logic programming semantics and argumentation semantics

International Journal of Approximate Reasoning, 2013
Martin Wigbertus Antonius Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvořák   +3 more
semanticscholar   +1 more source

Logic programming-based Minimal Cut Sets reveal consortium-level therapeutic targets for chronic wound infections. [PDF]

NPJ Syst Biol Appl
Mahout M, Carlson RP, Simon L, Peres S.
europepmc   +1 more source

Separation logic: a logic for shared mutable data structures

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002
J. C. Reynolds
semanticscholar   +1 more source

Programming the logic theory machine

IRE-AIEE-ACM '57 (Western), 1899
A. Newell, J. Shaw
semanticscholar   +1 more source

Knowledge discovery for pancreatic cancer using inductive logic programming. [PDF]

IET Syst Biol, 2014
Qiu Y, Shimada K, Hiraoka N, Maeshiro K, Ching WK, Aoki-Kinoshita KF, Furuta K.   +6 more
europepmc   +1 more source

Negation in Logic Programming [PDF]

, 1991
Bry, François, Karagiannis, Dimitris
core  

Knowledge discovery in variant databases using inductive logic programming. [PDF]

Bioinform Biol Insights, 2013
Nguyen H, Luu TD, Poch O, Thompson JD.
europepmc   +1 more source

Functional and Logic Programming

Lecture Notes in Computer Science, 2012
Tom Schrijvers, Peter Thiemann
semanticscholar   +1 more source