Semantic wikis as flexible database interfaces for biomedical applications. [PDF]
Sci Rep, 2023 Falda M, Atzori M, Corbetta M.
europepmc +1 more source
Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning.
Interdisciplinaria, 2004 Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos.
Alfredo O. López Alonso +1 more
doaj
Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs. [PDF]
Kunstliche Intell (Oldenbourg), 2022 Finzel B +5 more
europepmc +1 more source
Training cognition in older male prisoners: lessons learned from a feasibility study. [PDF]
Health Justice, 2023 Verhülsdonk S +6 more
europepmc +1 more source
The Semantics of Metaprogramming in Prolog
Theory and Practice of Logic ProgrammingAbstractThis paper describes a semantics for pure Prolog programs with negation that provides meaning to metaprograms. Metaprograms are programs that construct and use data structures as programs. In Prolog a primary mataprogramming construct is the use of a variable as a literal in the body of a clause. The traditional Prolog 3-line metainterpreter is
openaire +2 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
PROLOG study: main results and guidance for further action
Кардиоваскулярная терапия и профилактика, 2006 The article contains main results of PROLOG study, that compared effectiveness of controlled arterial hypertension therapy in step-wise antihypertensive treatment scheme: ACE inhibitor, spirapril, with addiction, if necessary, of diuretic ...
S. Yu. Martsevich +4 more
doaj
Enseñando Prolog con mapas conceptuales
Revista Cubana de Ciencias Informáticas, 2011 Se describe la experiencia del Centro Universitario de Sancti Spíritus “José Martí” en el empleo de mapas conceptuales para el desarrollo de APA-Prolog como herramienta de enseñanza-aprendizaje en la programación lógica. Incluye análisis del uso de mapas
Lydia Rosa Ríos Rodríguez +2 more
doaj
Legal linguistic templates and the tension between legal knowledge representation and reasoning. [PDF]
Front Artif Intell, 2023 Libal T.
europepmc +1 more source
DAP Prolog: A Set-oriented Approach to Prolog [PDF]
The Computer Journal, 1987 Péter Kacsuk, A. Bale
openaire +1 more source