Search Sciweavers | Sciweavers

3738 search results - page 44 / 748

» Parametrized Logic Programming

click to vote

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

14 years 9 days ago

Download www.kr.tuwien.ac.at

In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...

Thomas Lukasiewicz

claim paper

Read More »

click to vote

IAT
2008
IEEE

144views Intelligent Agents» more IAT 2008»

Combining Fuzzy Description Logics and Fuzzy Logic Programs

14 years 2 months ago

Download v37s3b4h7dn47s37hg1br4h7rs7n3du7s8nu.unbf.ca

Jidi Zhao, Harold Boley

claim paper

Read More »

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

14 years 10 days ago

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

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

claim paper

Read More »

click to vote

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

14 years 4 days 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

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers