Speedith: A Reasoner for Spider Diagrams
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Description
Keywords
5003 Philosophy, 46 Information and Computing Sciences, 4602 Artificial Intelligence, 50 Philosophy and Religious Studies
Journal Title
Journal of Logic, Language and Information
Conference Name
Journal ISSN
0925-8531
1572-9583
1572-9583
Volume Title
24
Publisher
Springer Science and Business Media LLC
Publisher DOI
Sponsorship
EPSRC (GR/R76783/01)