Sciweavers

4573 search results - page 176 / 915
» Automated Reasoning
Sort
View
ICCBR
2003
Springer
15 years 11 months ago
Measuring the Similarity of Labeled Graphs
Pierre-Antoine Champin, Christine Solnon
ICCBR
2003
Springer
15 years 11 months ago
Maintaining Consistency in Project Planning Reuse
Ke Xu, Héctor Muñoz-Avila
ICLP
2003
Springer
15 years 11 months ago
Objective: In Minimum Context
Salvador Abreu, Daniel Diaz
ICLP
2003
Springer
15 years 11 months ago
Intensional Sets in CLP
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi