Skip to content

A Logic for Approximate First-Order Reasoning.

Frdric Koriche

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.