Extending Semantic Resolution via Automated Model Building: Applications.

Ricardo Caferra, Nicolas Peltier

Browse the full IJCAI paper archive.