Results 71 to 80 of about 29,176 (93)

Indexical-Based Solver Learning

International Conference on Principles and Practice of Constraint Programming, 2002
T. Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin   +3 more
semanticscholar   +1 more source

A tracer driver for hybrid execution analyses

Automated and Algorithmic Debugging, 2005
Ludovic Langevine, M. Ducassé
semanticscholar   +1 more source

Fifty Years of Prolog and Beyond

Theory and Practice of Logic Programming, 2022
Philipp Körner, Michael Leuschel, Vitor Santos Costa   +2 more
exaly  

Interactive problem solving in an intelligent virtual environment

International Conference on Intelligent User Interfaces, 2003
C. Calderon, M. Cavazza, Daniel Diaz
semanticscholar   +1 more source

Learning Approximate Consistencies

ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming, 2003
Arnaud Lallouet, Andrei Legtchenko, T. Dao, AbdelAli Ed-Dbali   +3 more
semanticscholar   +1 more source

New Results - GNU-Prolog

, 2002
Philippe Codognet, Daniel Díaz
openalex  

SWI-Prolog

Theory and Practice of Logic Programming, 2012
Jan Wielemaker, Tom Schrijvers, Markus Triska   +2 more
exaly  

GNU Prolog: beyond compiling Prolog to C

, 2009
Daniel Díaz, Philippe Codognet
openalex  

The YAP Prolog system

Theory and Practice of Logic Programming, 2012
Vitor Santos Costa, Ricardo Rocha
exaly  

Predictive Low-Glucose Suspend Reduces Hypoglycemia in Adults, Adolescents, and Children With Type 1 Diabetes in an At-Home Randomized Crossover Study: Results of the PROLOG Trial

Diabetes Care, 2018
Gregory P Forlenza, Jordan E Pinsker, Eda Cengiz   +2 more
exaly