Sciweavers

3994 search results - page 85 / 799

» A Linear Logical Framework

110

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

15 years 11 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 »

110

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

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

15 years 10 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 »

120

CSL
2000
Springer

95views Automated Reasoning» more CSL 2000»

Elimination of Negation in a Logical Framework

15 years 10 months ago

Elimination of Negation in a Logical Framework

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

Alberto Momigliano

claim paper

Read More »

152

ATAL
1999
Springer

114views Intelligent Agents» more ATAL 1999»

Reactivity in a Logic-Based Robot Programming Framework

15 years 10 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 »

120

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Description Logic Framework for Information Integration

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

« Prev « First page 85 / 799 Last » Next »