Search Sciweavers | Sciweavers

4573 search results - page 204 / 915

» Automated Reasoning

Voted

ECSQARU
2007
Springer

86views Automated Reasoning» more ECSQARU 2007»

Dependencies Between Players in Boolean Games

15 years 10 months ago

Download www.irit.fr

Elise Bonzon, Marie-Christine Lagasquie-Schiex, J&...

claim paper

Read More »

100

click to vote

ECSQARU
2007
Springer

89views Automated Reasoning» more ECSQARU 2007»

Inference and Learning in Multi-dimensional Bayesian Network Classifiers

15 years 10 months ago

Download www.cs.uu.nl

Peter R. de Waal, Linda C. van der Gaag

claim paper

Read More »

124

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

15 years 10 months ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

15 years 10 months ago

Download www.cs.nmsu.edu

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

claim paper

Read More »

122

click to vote

RR
2007
Springer

81views Automated Reasoning» more RR 2007»

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers