Search Sciweavers | Sciweavers

4617 search results - page 101 / 924

» Automation of Diagrammatic Reasoning

130

click to vote

ILP
2001
Springer

83views Automated Reasoning» more ILP 2001»

Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition

15 years 10 months ago

Download www.irisa.fr

Rene Quiniou, Marie-Odile Cordier, Guy Carrault, F...

claim paper

Read More »

158

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 10 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

125

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

15 years 10 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

109

click to vote

LICS
2000
IEEE

113views Automated Reasoning» more LICS 2000»

View-Based Query Processing and Constraint Satisfaction

15 years 10 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

121

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers