Defeasible Reasoning in OSCAR
人工智能
2007-05-23 v1
作者:
John L. Pollock
摘要
This is a system description for the OSCAR defeasible reasoner.
引用
@article{arxiv.cs/0003012,
title = {Defeasible Reasoning in OSCAR},
author = {John L. Pollock},
journal= {arXiv preprint arXiv:cs/0003012},
year = {2007}
}
备注
Nonmonotonic Reasoning Workshop, 2000
相关论文
查看更多相关论文 →
人工智能 · 计算机科学
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
Gabriele Sacco, Loris Bozzato, Oliver Kutz
2024-03-06
计算机科学中的逻辑 · 计算机科学
A Model-Theoretic Semantics for Defeasible Logic
Michael J. Maher
2007-05-23
人工智能 · 计算机科学
Defeasible Reasoning on Concepts
Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang
2024-09-10
计算机科学中的逻辑 · 计算机科学
Annotated Defeasible Logic
Guido Governatori, Michael J. Maher
2021-02-16
最优化与控制 · 数学
An Observable Canonical Form for a Rational System on a Variety
Jana Nemcova, Jan H. van Schuppen
2018-05-07
人工智能 · 计算机科学
Propositional Defeasible Logic has Linear Complexity
Michael J. Maher
2009-09-29
人工智能 · 计算机科学
Defeasible Logic Programming: An Argumentative Approach
Alejandro Javier Garcia, Guillermo Ricardo Simari
2007-05-23
计算机科学中的逻辑 · 计算机科学
Which are the True Defeasible Logics?
Michael J. Maher
2024-05-30
人工智能 · 计算机科学
Defeasible Reasoning with Knowledge Graphs
Dave Raggett
2023-09-25
人工智能 · 计算机科学
A Framework for Combining Defeasible Argumentation with Labeled Deduction
Carlos Iván Chesñevar, Guillermo Ricardo Simari
2007-05-23
计算机科学中的逻辑 · 计算机科学
Decorated proofs for computational effects: Exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012-03-15
计算机科学中的逻辑 · 计算机科学
Defeasible Modalities
Katarina Britz, Ivan Varzinczak
2013-10-29
人工智能 · 计算机科学
Automating Defeasible Reasoning in Law
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022-05-17
计算机科学中的逻辑 · 计算机科学
Equipping sequent-based argumentation with defeasible assumptions
AnneMarie Borg
2018-04-25
人工智能 · 计算机科学
Explainability in Human-Agent Systems
Avi Rosenfeld, Ariella Richardson
2019-04-18
人工智能 · 计算机科学
Reasoning by Cases in Structured Argumentation
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
2017-03-27
机器学习 · 计算机科学
Plausible Counterfactual Explanations of Recommendations
Jakub Černý, Jiří Němeček, Ivan Dovica, Jakub Mareček
2025-07-11
人工智能 · 计算机科学
Some Properties of Plausible Reasoning
Wray L. Buntine
2013-03-26
人工智能 · 计算机科学
Theoretical Foundations of Defeasible Description Logics
Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley +2
2019-04-17
计算机科学中的逻辑 · 计算机科学
Extending Defeasibility for Propositional Standpoint Logics
Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak
2025-07-15
计算机科学中的逻辑 · 计算机科学
Systemic Constraints of Undecidability
Seth Bulin
2025-09-03
人工智能 · 计算机科学
What Does Explainable AI Really Mean? A New Conceptualization of Perspectives
Derek Doran, Sarah Schulz, Tarek R. Besold
2017-10-03
计算机科学中的逻辑 · 计算机科学
Rethinking Defeasible Reasoning: A Scalable Approach
Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen Wade +1
2021-02-16
人工智能 · 计算机科学
Towards a Characterization of Explainable Systems
Dimitri Bohlender, Maximilian A. Köhl
2019-02-11
计算机科学中的逻辑 · 计算机科学
Embedding Defeasible Logic into Logic Programming
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2012-06-26