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
Legal linguistic templates and the tension between legal knowledge representation and reasoning. [PDF]
Front Artif Intell, 2023 Libal T.
europepmc +1 more source
Parsing and compiling using Prolog [PDF]
, 1987 Jacques Cohen, Timothy J. Hickey
openalex +1 more source
EXPERIENCES WITH BUlLDING A KNOWLEDGE SYSTEM AN APPLICATION IN INDUSTRIAL CQNTROL
South African Journal of Industrial Engineering, 2012 <p>ENGLISH ABSTRACT: The Centre for Robotics at the University of Stellenbosch set itself the objective of building a fairly complex manufactu.ring ceH, including .'.11 unskilled human as a system componenL As a precursor to this effort we ...
A.R. Greef, R. Reinecke
doaj
A type driven hardware engine for Prolog clause retrieval over a large knowledge base [PDF]
, 1989 Kam‐Fai Wong, M. Howard Williams
openalex +1 more source
Resting state EEG as biomarker of cognitive training and physical activity's joint effect in Parkinson's patients with mild cognitive impairment. [PDF]
Neurol Res Pract, 2023 Trenado C +9 more
europepmc +1 more source
A high performance Prolog processor with multiple function units [PDF]
, 1989 A.K. Singhal, Yale N. Patt
openalex +1 more source
Logic + probabilistic programming + causal laws. [PDF]
R Soc Open Sci, 2023 Belle V.
europepmc +1 more source