Sciweavers

3994 search results - page 85 / 799
» A Linear Logical Framework
Sort
View
FLOPS
2001
Springer
15 years 5 months ago
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
Jesús Manuel Almendros-Jiménez, Anto...
ATAL
1999
Springer
15 years 4 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....
66
Voted
KR
1998
Springer
15 years 4 months ago
Description Logic Framework for Information Integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...