Search Sciweavers | Sciweavers

3481 search results - page 71 / 697

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

104

click to vote

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

15 years 3 months ago

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

104

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 7 months ago

Download kaminari.scitec.kobe-u.ac.jp

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...

claim paper

Read More »

195

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 7 months ago

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

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

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 3 months ago

Download tocl.acm.org

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

claim paper

Read More »

119

click to vote

FUIN
2007

220views more FUIN 2007»

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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers