Search Sciweavers | Sciweavers

3693 search results - page 168 / 739

» Splitting a Logic Program

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 8 months ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

107

Voted

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 8 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

Voted

BIRTHDAY
2005
Springer

83views Applied Computing» more BIRTHDAY 2005»

Specifying, Programming and Verifying with Equational Logic

15 years 8 months ago

Download cseweb.ucsd.edu

Joseph A. Goguen, Kai Lin

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 8 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

103

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers