Search Sciweavers | Sciweavers

4617 search results - page 221 / 924

» Automation of Diagrammatic Reasoning

135

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 19 days ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

156

click to vote

RR
2007
Springer

81views Automated Reasoning» more RR 2007»

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints

16 years 18 days ago

Download users.isr.ist.utl.pt

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

claim paper

Read More »

147

click to vote

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

16 years 18 days ago

Download rewerse.net

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

claim paper

Read More »

122

click to vote

RWEB
2007
Springer

95views Automated Reasoning» more RWEB 2007»

Rule Interchange on the Web

16 years 18 days ago

Download axel.deri.ie

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

claim paper

Read More »

116

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers