Article

A Flexible Framework for Defeasible Logics

Authors:

Grigoris Antoniou,

David Billington,

Guido Governatori,

Michael J. MaherAuthors Info & Claims

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence

Pages 405 - 410

Published: 30 July 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Governatori GRotolo ACalardo E(2012)Possible world semantics for defeasible deontic logicProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_4(46-60)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_4
Governatori GRotolo A(2011)Justice delayed is justice deniedProceedings of the 12th international conference on Computational logic in multi-agent systems10.5555/2044543.2044574(364-382)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.5555/2044543.2044574
Lundström JAceto GHamfelt A(2011)A dynamic metalogic argumentation framework implementationProceedings of the 5th international conference on Rule-based reasoning, programming, and applications10.5555/2032787.2032798(83-98)Online publication date: 19-Jul-2011
https://dl.acm.org/doi/10.5555/2032787.2032798
Show More Cited By

A Flexible Framework for Defeasible Logics
1. Theory of computation

Recommendations

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

We investigate defeasible logics using a technique which decomposes the semantics of such logics into two parts: a specification of the structure of defeasible reasoning and a semantics for the meta-language in which the specification is written. We ...
Intuitionistic Trilattice Logics

We take up a suggestion by Odintsov (2009, Studia Logica, 91, 407–428) and define intuitionistic variants of certain logics arising from the trilattice SIXTEEN₃ introduced in Shramko and Wansing (2005, Journal of Philosophical Logic, 34, 121–153 and ...
Comparing defeasible logics
ECAI'14: Proceedings of the Twenty-first European Conference on Artificial Intelligence

In this paper we seek to formally establish the similarities and differences between two formalizations of defeasible reasoning: the defeasible logics of Nute and Maier, and defeasible logics in the framework of Antoniou et al. Both families of logics ...

Comments

Information & Contributors

Information

Published In

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence

July 2000

1108 pages

ISBN:0262511126

Publisher

AAAI Press

Publication History

Published: 30 July 2000

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Governatori GRotolo ACalardo E(2012)Possible world semantics for defeasible deontic logicProceedings of the 11th international conference on Deontic Logic in Computer Science10.1007/978-3-642-31570-1_4(46-60)Online publication date: 16-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31570-1_4
Governatori GRotolo A(2011)Justice delayed is justice deniedProceedings of the 12th international conference on Computational logic in multi-agent systems10.5555/2044543.2044574(364-382)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.5555/2044543.2044574
Lundström JAceto GHamfelt A(2011)A dynamic metalogic argumentation framework implementationProceedings of the 5th international conference on Rule-based reasoning, programming, and applications10.5555/2032787.2032798(83-98)Online publication date: 19-Jul-2011
https://dl.acm.org/doi/10.5555/2032787.2032798
Lam HGovernatori G(2011)What are the necessity rules in defeasible reasoning?Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning10.5555/2010192.2010212(187-192)Online publication date: 16-May-2011
https://dl.acm.org/doi/10.5555/2010192.2010212
Lundström JAceto GHamfelt AAshley Kvan Engers T(2011)Towards a dynamic metalogic implementation of legal argumentationProceedings of the 13th International Conference on Artificial Intelligence and Law10.1145/2018358.2018370(91-95)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.1145/2018358.2018370
Governatori GAshley Kvan Engers T(2011)On the relationship between Carneades and Defeasible LogicProceedings of the 13th International Conference on Artificial Intelligence and Law10.1145/2018358.2018362(31-40)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.1145/2018358.2018362
Lam HGovernatori G(2010)On the problem of computing ambiguity propagation and well-founded semantics in defeasible logicProceedings of the 2010 international conference on Semantic web rules10.5555/1929574.1929589(119-127)Online publication date: 21-Oct-2010
https://dl.acm.org/doi/10.5555/1929574.1929589
Governatori GOlivieri FScannapieco SCristani M(2010)Superiority based revision of defeasible theoriesProceedings of the 2010 international conference on Semantic web rules10.5555/1929574.1929588(104-118)Online publication date: 21-Oct-2010
https://dl.acm.org/doi/10.5555/1929574.1929588
Maher M(2010)Human and unhuman commonsense reasoningProceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning10.5555/1928380.1928383(16-29)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.5555/1928380.1928383
Billington DAntoniou GGovernatori GMaher M(2010)An inclusion theorem for defeasible logicsACM Transactions on Computational Logic10.1145/1838552.183855812:1(1-27)Online publication date: 26-Nov-2010
https://dl.acm.org/doi/10.1145/1838552.1838558
Show More Cited By

Abstract

Cited By

Recommendations

A semantic decomposition of defeasible logics

Intuitionistic Trilattice Logics

Comparing defeasible logics

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations