Search Sciweavers | Sciweavers

3970 search results - page 89 / 794

» A Logic For Causal Reasoning

Voted

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 8 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

click to vote

LICS
1999
IEEE

89views Automated Reasoning» more LICS 1999»

Logics with Aggregate Operators

15 years 8 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

109

click to vote

LLL
1999
Springer

263views Automated Reasoning» more LLL 1999»

Learning the Logic of Simple Phonotactics

15 years 8 months ago

Download odur.let.rug.nl

Erik F. Tjong Kim Sang, John Nerbonne

claim paper

Read More »

110

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

15 years 8 months ago

Download attempto.ifi.uzh.ch

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

claim paper

Read More »

Voted

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers