Search results
Linguistics and Philosophy > 2018 > 41 > 2 > 209-249
Philosophical Studies > 2019 > 176 > 4 > 1035-1054
Journal of Automated Reasoning > 2019 > 62 > 4 > 531-555
Axiomathes > 2018 > 28 > 2 > 125-154
Linguistics and Philosophy > 2017 > 40 > 3 > 207-237
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 200-218
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 1-2 > 129-158
Linguistics and Philosophy > 2011 > 34 > 5 > 397-410
Cognitive Systems Research > 2005 > 6 > 4 > 282-302
Data & Knowledge Engineering > 2001 > 38 > 2 > 173-197
The Journal of Logic Programming > 1999 > 40 > 1 > 89-123
Science of Computer Programming > 1999 > 34 > 3 > 207-238