Search Sciweavers | Sciweavers

3481 search results - page 201 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

150

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

16 years 15 days ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

154

Voted

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

16 years 14 days ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

136

Voted

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

16 years 14 days ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

102

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

16 years 11 days ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

134

Voted

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers