Search Sciweavers | Sciweavers

4617 search results - page 221 / 924

» Automation of Diagrammatic Reasoning

157

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 1 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

165

click to vote

RR
2007
Springer

81views Automated Reasoning» more RR 2007»

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints

16 years 1 months ago

Download users.isr.ist.utl.pt

Sacha Berger, François Bry, Tim Furche, And...

claim paper

Read More »

165

click to vote

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

16 years 1 months ago

Download rewerse.net

Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...

claim paper

Read More »

135

click to vote

RWEB
2007
Springer

95views Automated Reasoning» more RWEB 2007»

Rule Interchange on the Web

16 years 1 months ago

Download axel.deri.ie

Harold Boley, Michael Kifer, Paula-Lavinia Patranj...

claim paper

Read More »

131

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers