Search Sciweavers | Sciweavers

3481 search results - page 201 / 697

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

142

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

16 years 1 days ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

140

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

16 years 33 min ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

130

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 12 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

15 years 12 months ago

Download sevein.matap.uma.es

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

claim paper

Read More »

120

click to vote

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers