article

Prioritized logic programming and its application to commonsense reasoning

Authors:

Chiaki Sakama,

Katsumi InoueAuthors Info & Claims

Artificial Intelligence, Volume 123, Issue 1-2

Pages 185 - 222

https://doi.org/10.1016/S0004-3702(00)00054-0

Published: 01 October 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Swift TKifer M(2024)Multi-paradigm Logic Programming in the rgoAI SystemLogic Programming and Nonmonotonic Reasoning10.1007/978-3-031-74209-5_10(126-139)Online publication date: 11-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-74209-5_10
Bernreiter MDvořák WRapberger AWoltran SWilliams BChen YNeville J(2023)The effect of preferences in abstract argumentation under a claim-centric viewProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i5.25770(6253-6261)Online publication date: 7-Feb-2023
https://dl.acm.org/doi/10.1609/aaai.v37i5.25770
Calautti MCaroprese LGreco SMolinaro CTrubitsyna IZumpano EDesai BCho W(2020)Consistent query answering with prioritized active integrity constraintsProceedings of the 24th Symposium on International Database Engineering & Applications10.1145/3410566.3410592(1-10)Online publication date: 12-Aug-2020
https://dl.acm.org/doi/10.1145/3410566.3410592
Show More Cited By

Index Terms

Prioritized logic programming and its application to commonsense reasoning
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Logic programming and answer set programming
2. Theory of computation
  1. Logic
    1. Constraint and logic programming
  2. Models of computation
    1. Computability

Recommendations

On the computational complexity of assumption-based argumentation for default reasoning

Bondarenko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, the framework extends these formalisms by generalising the semantics ...
An abstract, argumentation-theoretic approach to default reasoning
Two results for prioritized logic programming

Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we ...

Comments

Information & Contributors

Information

Published In

Artificial Intelligence Volume 123, Issue 1-2

Oct. 2000

261 pages

ISSN:0004-3702

Editor:
Daniel G. Bobrow
Xerox Corp., Palo Alto, CA

Issue’s Table of Contents

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 01 October 2000

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

55
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Swift TKifer M(2024)Multi-paradigm Logic Programming in the rgoAI SystemLogic Programming and Nonmonotonic Reasoning10.1007/978-3-031-74209-5_10(126-139)Online publication date: 11-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-74209-5_10
Bernreiter MDvořák WRapberger AWoltran SWilliams BChen YNeville J(2023)The effect of preferences in abstract argumentation under a claim-centric viewProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i5.25770(6253-6261)Online publication date: 7-Feb-2023
https://dl.acm.org/doi/10.1609/aaai.v37i5.25770
Calautti MCaroprese LGreco SMolinaro CTrubitsyna IZumpano EDesai BCho W(2020)Consistent query answering with prioritized active integrity constraintsProceedings of the 24th Symposium on International Database Engineering & Applications10.1145/3410566.3410592(1-10)Online publication date: 12-Aug-2020
https://dl.acm.org/doi/10.1145/3410566.3410592
Ensan ATernovska E(2019)A Language-Independent Framework for Reasoning About Preferences for Declarative Problem SolvingFrontiers of Combining Systems10.1007/978-3-030-29007-8_4(57-73)Online publication date: 4-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-29007-8_4
Masciari ESaccà DTrubitsyna I(2019)An Effective System for User Queries AssistanceFlexible Query Answering Systems10.1007/978-3-030-27629-4_33(361-373)Online publication date: 17-Jun-2019
https://dl.acm.org/doi/10.1007/978-3-030-27629-4_33
Previti AJärvisalo MHaddad HWainwright RChbeir R(2018)A preference-based approach to backbone computation with application to argumentationProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167230(896-902)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167230
Caroprese LZumpano E(2017)P2P deductive databasesProceedings of the 19th International Conference on Information Integration and Web-based Applications & Services10.1145/3151759.3151768(258-265)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3151759.3151768
Gebser MSchaub T(2016)Modeling and Language ExtensionsAI Magazine10.1609/aimag.v37i3.267337:3(33-44)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1609/aimag.v37i3.2673
Charalambidis ARondogiannis PTroumpoukis ACheney JVidal G(2016)Higher-order logic programmingProceedings of the 18th International Symposium on Principles and Practice of Declarative Programming10.1145/2967973.2968607(24-37)Online publication date: 5-Sep-2016
https://dl.acm.org/doi/10.1145/2967973.2968607
Caroprese LZumpano EDesai BToyama MBernardino J(2016)A Deterministic Model for P2P Deductive DatabasesProceedings of the 20th International Database Engineering & Applications Symposium10.1145/2938503.2938558(193-198)Online publication date: 11-Jul-2016
https://dl.acm.org/doi/10.1145/2938503.2938558
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

On the computational complexity of assumption-based argumentation for default reasoning

An abstract, argumentation-theoretic approach to default reasoning

Two results for prioritized logic programming

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations