Search Sciweavers | Sciweavers

1814 search results - page 49 / 363

» Extended First-Order Logic

123

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 10 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »

119

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

125

click to vote

ICLP
1993
Springer

79views Automated Reasoning» more ICLP 1993»

A Monotonicity Theorem for Extended Logic Programs

15 years 10 months ago

Download www.d.umn.edu

Hudson Turner

claim paper

Read More »

136

click to vote

ICLP
1992
Springer

86views Automated Reasoning» more ICLP 1992»

Complexity of Computing with Extended Propositional Logic Programs

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszcz...

claim paper

Read More »

177

click to vote

ECML
1995
Springer

121views Machine Learning» more ECML 1995»

Generating Neural Networks Through the Induction of Threshold Logic Unit Trees (Extended Abstract)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers