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