🏛️ The Artificial Intelligence Crypt

cs.AI: Where Artificial Intelligence papers rest without their code.

16798 Total Papers
10620 No Code
277 Twilight
5901 Has Code
35.1% Survival Rate
R.I.P. 👻 Ghosted

On First-Order Model-Based Reasoning

Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans

cs.AI 🏛 Logic, Rewriting, and Concurrency 📚 16 cites 11 years ago