Tractable Reasoning Using Logic Programs with Intensional Concepts

Authors

Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite,