@inproceedings{9416e5a7d54e43e6b55cd6bb4802be8d,
title = "The making of SPINdle",
abstract = "We present the design and implementation of SPINdle - an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic theories (including theories with over 1 million rules). The implementation covers both the standard and modal extensions to defeasible logics. It can be used as a standalone theory prover and can be embedded into any applications as a defeasible logic rule engine. It allows users or agents to issues queries, on a given knowledge base or a theory generated on the fly by other applications, and automatically produces the conclusions of its consequences. The theory can also be represented using XML.",
keywords = "Defeasible Logic, Modal Defeasible Logic, Reasoning",
author = "Lam, {Ho Pun} and Guido Governatori",
year = "2009",
doi = "10.1007/978-3-642-04985-9_29",
language = "English",
isbn = "3642049842",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "315--322",
booktitle = "Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings",
note = "International Symposium on Rule Interchange and Applications, RuleML 2009 ; Conference date: 05-11-2009 Through 07-11-2009",
}