Tractable Reasoning Using Logic Programs with Intensional Concepts.

Jesse Heyninck, Ricardo Gonalves, Matthias Knorr, Joo Leite

Browse the full JELIA paper archive.