Results 131 to 140 of about 8,649 (191)

Global compilation of prolog

, 1989
Timothy J. Hickey, Shyam Mudambi
openalex   +1 more source

Reasoning about Prolog programs: From modes through types to assertions [PDF]

, 1994
Krzysztof R. Apt, Elena Marchiori
openalex   +1 more source

Resident Performance on the Obstetrics and Gynecology In-Training Examination After Implementation of a New Academic Curriculum. [PDF]

Cureus
Lundeberg KR, Madison S, Lo N, Maxwell R, Massengill J.   +4 more
europepmc   +1 more source

A simple code improvement scheme for prolog [PDF]

, 1992
Saumya Debray
openalex   +1 more source

Ontology based autonomous robot task processing framework. [PDF]

Front Neurorobot
Ge Y, Zhang S, Cai Y, Lu T, Wang H, Hui X, Wang S.   +6 more
europepmc   +1 more source

On rewrite programs: Semantics and relationship with prolog [PDF]

, 1992
Maria Paola Bonacina, Jieh Hsiang
openalex   +1 more source

A survey of ontology-enabled processes for dependable robot autonomy. [PDF]

Front Robot AI
Aguado E, Gomez V, Hernando M, Rossi C, Sanz R.   +4 more
europepmc   +1 more source

AI-driven streamlined modeling: experiences and lessons learned from multiple domains. [PDF]

Softw Syst Model, 2022
Sunkle S, Saxena K, Patil A, Kulkarni V.
europepmc   +1 more source

Problemlösen mit PROLOG

, 1987
Michael Hanus
openalex   +1 more source

Hypothesizing an algorithm from one example: the role of specificity. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Muggleton FREng SH.
europepmc   +1 more source