Results 71 to 80 of about 27,800 (166)

Logic Programming with Requests.

, 1999
We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation.
Etalle, Sandro, van Raamsdonk, Femke
openaire   +3 more sources

ALPES: an advanced logic programming environment

Le Matematiche, 1988
This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj  

ASP∀

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Answer Set Programming (ASP) languages represent an important advancement in declarative (logic) programming. First proposed in the late 90s, the paradigm is based on the stable model semantics of formal logic.
Joshua Guerin, David Gonzalez Sua, Jackson Madsen   +2 more
doaj  

Logic programming reveals alteration of key transcription factors in multiple myeloma. [PDF]

Sci Rep, 2017
Miannay B, Minvielle S, Roux O, Drouin P, Avet-Loiseau H, Guérin-Charbonnel C, Gouraud W, Attal M, Facon T, Munshi NC, Moreau P, Campion L, Magrangeas F, Guziolowski C.   +13 more
europepmc   +1 more source

ECOLE: a pedagogical environment for non procedural languages

Journal of Computer Science and Technology, 2007
The work described in this paper is related to three areas in the programming world : logic, functional and object programming. The main objective is essentially pedagogical since it is question here to make a synthesis on non procedural languages.
D. E. Zegour, W. K. Hidouci
doaj  

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

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

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

Logic programming

The Reasoner, 2008
Koen Vervloesem
doaj