Search Sciweavers | Sciweavers

3891 search results - page 77 / 779

» A logic for strategic reasoning

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

14 years 3 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

14 years 3 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

14 years 3 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

click to vote

LLL
1999
Springer

263views Automated Reasoning» more LLL 1999»

Learning the Logic of Simple Phonotactics

14 years 3 months ago

Download odur.let.rug.nl

Erik F. Tjong Kim Sang, John Nerbonne

claim paper

Read More »

click to vote

LOPSTR
1998
Springer

91views Automated Reasoning» more LOPSTR 1998»

Attempto Controlled English - Not Just Another Logic Specification Language

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers