Search Sciweavers | Sciweavers

3738 search results - page 44 / 748

» Parametrized Logic Programming

165

Voted

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

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

15 years 7 months 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

15 years 10 months ago

Download v37s3b4h7dn47s37hg1br4h7rs7n3du7s8nu.unbf.ca

Jidi Zhao, Harold Boley

claim paper

Read More »

107

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 »

199

Voted

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 »

Voted

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers