Search Sciweavers | Sciweavers

3513 search results - page 82 / 703

» Super Logic Programs

112

click to vote

LPNMR
2009
Springer

84views Automated Reasoning» more LPNMR 2009»

Simple Random Logic Programs

15 years 9 months ago

Download www.cs.engr.uky.edu

We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...

Gayathri Namasivayam, Miroslaw Truszczynski

claim paper

Read More »

click to vote

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

15 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

101

click to vote

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 9 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

15 years 9 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

click to vote

ICLP
2007
Springer

106views Automated Reasoning» more ICLP 2007»

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers