Sciweavers

2766 search results - page 72 / 554

» Hybridizing a Logical Framework

29

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 3 months ago

Meta-Logical Frameworks and Formal Digital Libraries

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

23

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 3 months ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

20

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 2 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

24

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

14 years 2 months ago

Elimination of Negation in a Logical Framework

Download reports-archive.adm.cs.cmu.edu

Alberto Momigliano

claim paper

Read More »

35

ATAL
1999
Springer

114views Intelligent Agents» more ATAL 1999»

Reactivity in a Logic-Based Robot Programming Framework

14 years 2 months ago

Reactivity in a Logic-Based Robot Programming Framework

Download www.cs.toronto.edu

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....

claim paper

Read More »

« Prev « First page 72 / 554 Last » Next »