Search Sciweavers | Sciweavers

3776 search results - page 66 / 756

» Partition-Based Logical Reasoning

153

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 10 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

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

LICS
1999
IEEE

89views Automated Reasoning» more LICS 1999»

Logics with Aggregate Operators

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon...

claim paper

Read More »

136

click to vote

LLL
1999
Springer

263views Automated Reasoning» more LLL 1999»

Learning the Logic of Simple Phonotactics

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers