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
PROLOG DE NICHIFOR CRAINIC. O LECTURĂ ÎN CHEIE „SEMANTIC-LOGICĂ”2 (REVELAȚII LA CURSUL DE POETICĂ) [PDF]
, 2022 IULIA POP
openalex +1 more source
An optimizing prolog front-end to a relational query system [PDF]
, 1984 Matthias Jarke +2 more
openalex +2 more sources
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
An extensible web interface for databases and its application to storing biochemical data
, 2010 This paper presents a generic web-based database interface implemented in Prolog. We discuss the advantages of the implementation platform and demonstrate the system's applicability in providing access to integrated biochemical data.
Angelopoulos, Nicos, Taylor, Paul
core
DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj
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
Legal linguistic templates and the tension between legal knowledge representation and reasoning. [PDF]
Front Artif Intell, 2023 Libal T.
europepmc +1 more source
Study on Integration and Application of Artificial Intelligence and Wireless Network in Piano Music Teaching. [PDF]
Comput Intell Neurosci, 2022 Li J.
europepmc +1 more source
An efficient cryptographic protocol verifier based on prolog rules
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 2001 B. Blanchet
semanticscholar +1 more source