Search Sciweavers | Sciweavers

2585 search results - page 33 / 517

» Automating Coherent Logic

117

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 10 months ago

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

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

Download odur.let.rug.nl

Erik F. Tjong Kim Sang, John Nerbonne

claim paper

Read More »

134

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

15 years 10 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

claim paper

Read More »

115

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers