Semantical considerations on nonmonotonic logic
Artificial Intelligence
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Prolog programming in depth
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Delegation logic: A logic-based approach to distributed authorization
ACM Transactions on Information and System Security (TISSEC)
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
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
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
WWW '03 Proceedings of the 12th international conference on World Wide Web
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
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
A Defeasible Logic Programming System for the Web
ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Defeasible logic on an embedded microcontroller
IEA/AIE'1997 Proceedings of the 10th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
DR-BROKERING: A semantic brokering system
Knowledge-Based Systems
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Visualization of Proofs in Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
onQoS-QL: A Query Language for QoS-Based Service Selection and Ranking
Service-Oriented Computing - ICSOC 2007 Workshops
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Mining and analysing security goal models in health information systems
SEHC '09 Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care
Implementing modal extensions of defeasible logic for the semantic web
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Semantics-aware matching strategy (SAMS) for the Ontology meDiated Data Integration (ODDI)
International Journal of Knowledge Engineering and Soft Data Paradigms
A framework for combining rules and geo-ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A system for modal and deontic defeasible reasoning
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
An ontology-based intrusion alerts correlation system
Expert Systems with Applications: An International Journal
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
The Knowledge Engineering Review
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
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
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
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Defeasible Reasoning Based Argumentative Web-IDSS for Virtual Teams (VTs)
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
An argumentation framework for non-monotonic reasoning in description logic
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
International Journal on Semantic Web & Information Systems
Information Systems Frontiers
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.01 |
Nonmonotonic rule systems are expected to play an important role in the layered development of the Semantic Web. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic rule systems for reasoning with incomplete and inconsistent information. This paper reports on the implementation of a system for defeasible reasoning on the Web. The system 1) is syntactically compatible with RuleML, 2) features strict and defeasible rules, priorities, and two kinds of negation, 3) is based on a translation to logic programming with declarative semantics, 4) is flexible and adaptable to different intuitions within defeasible reasoning, and 5) can reason with rules, RDF, RDF Schema, and (parts of) OWL ontologies.