Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
What are the necessity rules in defeasible reasoning?
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Modelling temporal legal rules
Proceedings of the 13th International Conference on Artificial Intelligence and Law
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
EMERALD: a multi-agent system for knowledge-based reasoning interoperability in the semantic web
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Expert Systems with Applications: An International Journal
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Advanced agent discovery services
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Reasoning and proofing services for semantic web agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Regorous: a business process compliance checker
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Picking up the best goal: an analytical study in defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
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.