Search Sciweavers | Sciweavers

3470 search results - page 9 / 694

» Head-Elementary-Set-Free Logic Programs

247

click to vote

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

15 years 10 months ago

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

114

click to vote

CORR
2008
Springer

128views Education» more CORR 2008»

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

15 years 6 months ago

Download tocl.acm.org

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...

claim paper

Read More »

121

click to vote

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

15 years 5 months ago

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

138

click to vote

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

15 years 5 months ago

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

153

click to vote

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers