Search Sciweavers | Sciweavers

4617 search results - page 135 / 924

» Automation of Diagrammatic Reasoning

156

click to vote

LPAR
2001
Springer

144views Automated Reasoning» more LPAR 2001»

Efficient Negation Using Abstract Interpretation

15 years 10 months ago

Download www.clip.dia.fi.upm.es

Susana Muñoz-Hernández, Juan Jos&eac...

claim paper

Read More »

120

click to vote

ILP
1999
Springer

121views Automated Reasoning» more ILP 1999»

Experiments in Predicting Biodegradability

15 years 10 months ago

Download www-ai.ijs.si

Saso Dzeroski, Hendrik Blockeel, Boris Kompare, St...

claim paper

Read More »

123

click to vote

ILP
1998
Springer

68views Automated Reasoning» more ILP 1998»

Detecting Traffic Problems with ILP

15 years 10 months ago

Download www.doc.ic.ac.uk

Saso Dzeroski, Nico Jacobs, Martín Molina, ...

claim paper

Read More »

126

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

15 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

136

click to vote

PLILP
1998
Springer

148views Programming Languages» more PLILP 1998»

Embedding Multiset Constraints into a Lazy Functional Logic Language

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers