A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
An algorithm for the induction of defeasible logic theories from databases
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
On the Analysis of Regulations using Defeasible Rules
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Using Temporal Consistency to Improve Robot Localisation
RoboCup 2006: Robot Soccer World Cup X
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Dialogue games in defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The proof algorithms of plausible logic form a hierarchy
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Measuring inconsistency in probabilistic knowledge bases
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Correcting missing data anomalies with clausal defeasible logic
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
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
A novel integrated classifier for handling data warehouse anomalies
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
X-CleLo: intelligent deterministic RFID data and event transformer
Personal and Ubiquitous Computing
An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies
Intelligent Data Analysis
Hi-index | 0.01 |
Defeasible logics are non-monotonic reasoning systems that have efficient implementations and practical applications. We list several desirable properties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.