Search Sciweavers | Sciweavers

3513 search results - page 23 / 703

» Super Logic Programs

120

click to vote

IAT
2008
IEEE

144views Intelligent Agents» more IAT 2008»

Combining Fuzzy Description Logics and Fuzzy Logic Programs

16 years 11 days ago

Download v37s3b4h7dn47s37hg1br4h7rs7n3du7s8nu.unbf.ca

Jidi Zhao, Harold Boley

claim paper

Read More »

134

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

15 years 10 months ago

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

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

claim paper

Read More »

247

Voted

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 »

116

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers