Propositional defeasible logic has linear complexity

Authors:
Michael J. Maher
Affiliations:
Department of Mathematical and Computer Sciences, Loyola University Chicago, Chicago, IL, USA/ (e-mail: mjm@cs.luc.edu) and aff2 School of Computing & Information Technology, Griffith University
Venue:
Theory and Practice of Logic Programming
Year:
2001

Citing 15
Cited 52

Algorithms for testing the satisfiability of propositional formulae

Journal of Logic Programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Resolving ambiguity in nonmonotonic inheritance hierarchies

Artificial Intelligence
Some direct theories of nonmonotonic inheritance

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Inheritance comes of age: applying nonmonotonic techniques to problems in industry

Artificial Intelligence - Special issue: artificial intelligence 40 years later
Normal forms for defeasible logic

JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
A Study of Provability in Defeasible Logic

AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
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
Efficient defeasible reasoning systems

ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence

Embedding Defeasible Logic into Logic Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Relating Defeasible Logic to Extended Logic Programs

SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
A Defeasible Logic of Policy-Based Intention

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Nonmonotonic Rule Systems on Top of Ontology Layers

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
An algorithm for the induction of defeasible logic theories from databases

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Formalizing defeasible logic in CAKE

Fundamenta Informaticae
A model-based approach to integrating security policies for embedded devices

Proceedings of the 4th ACM international conference on Embedded software
Induction of defeasible logic theories in the legal domain

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Normative autonomy and normative co-ordination: declarative power, representation, and mandate

Artificial Intelligence and Law
Process modelling: the deontic way

APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
The cost of social agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming

Theory and Practice of Logic Programming
Defeasible security policy composition for web services

Proceedings of the fourth ACM workshop on Formal methods in security
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
DR-BROKERING: A semantic brokering system

Knowledge-Based Systems
Strategic argumentation: a game theoretical investigation

Proceedings of the 11th international conference on Artificial intelligence and law
Variants of temporal defeasible logics for modelling norm modifications

Proceedings of the 11th international conference on Artificial intelligence and law
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

Data & Knowledge Engineering
Deploying defeasible logic rule bases for the semantic web

Data & Knowledge Engineering
BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency

Artificial Intelligence and Law
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Settling on the Group's Goals: An n-Person Argumentation Game Approach

PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities

Trust in Agent Societies
A Java Implementation of Temporal Defeasible Logic

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
The Making of SPINdle

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Modelling and reasoning languages for social networks policies

EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Temporal extensions to defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Structured argumentation in a mediator for online dispute resolution

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

International Symposium on Symbolic and Algebraic Computation
Base Logics in Argumentation

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Implementing temporal defeasible logic for modeling legal reasoning

JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Human and unhuman commonsense reasoning

LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
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
Extending a multi-agent reasoning interoperability framework with services for the semantic web logic and proof layers

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
ALE defeasible description logic

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder

Expert Systems with Applications: An International Journal
Forgetting for defeasible logic

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Agents and knowledge interoperability in the semantic web era

Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Managed multi-context systems

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
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
Formalizing Defeasible Logic in CAKE

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
HARM: a hybrid rule-based agent reputation model based on temporal defeasible logic

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Inconsistency management for traffic regulations: formalization and complexity results

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Relative expressiveness of defeasible logics

Theory and Practice of Logic Programming
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts markedly with most other propositional nonmonotonic logics, in which inference is intractable.