A Tabled Prolog Program for Solving Sokoban
IEEE International Conference on Tools with Artificial Intelligence, 2011 Neng-Fa Zhou, A. Dovier
semanticscholar +1 more source
Computerized cognitive training vs. care as usual to strengthen cognitive, motor, and (neuro)psychological outcomes in people with advanced Parkinson's disease (TrainParC-Advanced): study protocol of a randomized controlled trial. [PDF]
TrialsOlgemöller PM +5 more
europepmc +1 more source
Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações
, 2013 George Souza Oliveira +1 more
openalex +2 more sources
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system
International Conference on Fuzzy Systems, 2010 Pascual Julián Iranzo, C. Rubio-Manzano
semanticscholar +1 more source
Ontology based autonomous robot task processing framework. [PDF]
Front NeurorobotGe Y +6 more
europepmc +1 more source
Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog [PDF]
María-Antonia Cárdenas-Viedma
openalex +1 more source
ESR Essentials: imaging of lymphoma-practice recommendations by the European Society of Oncologic Imaging. [PDF]
Eur RadiolLeithner D +9 more
europepmc +1 more source
A survey of ontology-enabled processes for dependable robot autonomy. [PDF]
Front Robot AIAguado E +4 more
europepmc +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
Diagnosis and treatment of Guillain-Barre using the prolog expert system
Laberiano Andrade-Arenas +3 more
openalex +2 more sources