Sciweavers

2766 search results - page 72 / 554
» Hybridizing a Logical Framework
Sort
View
89
Voted
FLOPS
2001
Springer
15 years 8 months ago
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
Jesús Manuel Almendros-Jiménez, Anto...
103
Voted
CSL
2000
Springer
15 years 8 months ago
Elimination of Negation in a Logical Framework
Alberto Momigliano
ATAL
1999
Springer
15 years 8 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....