Search Results for author: Johan Wittocx

Found 1 papers, 0 papers with code

Date Published Github Stars

Grounding FO and FO(ID) with Bounds

no code implementations • 16 Jan 2014 • Johan Wittocx, Maarten Mariën, Marc Denecker

We first present our method for classical first-order logic (FO) theories.

 
Paper
Add Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy