< Back to previous page
Publication
SOGrounder: Modelling and Solving Second-Order Logic.
Book Contribution - Book Chapter Conference Contribution
Book: Principles of Knowledge Representation and Reasoning: Proceedings of the sixteenth International Conference
Pages: 72 - 77
Number of pages: 5
ISBN:978-1-57735-803-9
Publication year:2018
BOF-keylabel:yes
IOF-keylabel:yes
Authors from:Higher Education
Accessibility:Open