Defining relative likelihood in partially-ordered preferential structures

JY Halpern - Journal of Artificial Intelligence Research, 1997 - jair.org
Starting with a likelihood or preference order on worlds, we extend it to a likelihood ordering
on sets of worlds in a natural way, and examine the resulting logic. Lewis earlier considered …

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

F Baader, B Hollunder - Journal of Automated Reasoning, 1995 - Springer
In a recent paper we have proposed terminological default logic as a formalism that
combines means both for structured representation of classes and objects and for default …

Permissions and obligations in hierarchical normative systems

G Boella, L Van Der Torre - … of the 9th international conference on …, 2003 - dl.acm.org
In this paper we discuss different types of permissions and their roles in deontic logic. We
study the distinction between weak and strong permissions in the context of input/output …

Qualitative decision theory: from savage's axioms to nonmonotonic reasoning

D Dubois, H Fargier, H Prade, P Perny - Journal of the ACM (JACM), 2002 - dl.acm.org
This paper investigates to what extent a purely symbolic approach to decision making under
uncertainty is possible, in the scope of artificial intelligence. Contrary to classical …

Institutions with a hierarchy of authorities in distributed dynamic environments

G Boella, L van der Torre - Artificial Intelligence and Law, 2008 - Springer
A single global authority is not sufficient to regulate heterogenous agents in multiagent
systems based on distributed architectures, due to idiosyncratic local situations and to the …

[PDF][PDF] Practical reasoning for defeasible description logics

K Moodley - 2015 - osf.io
The work reported on in this thesis was carried out at the Centre for Artificial Intelligence
Research and the CSIR Meraka Institute in Pretoria, South Africa, from August 2011 to …

Moral particularism in the light of deontic logic

X Parent - Artificial Intelligence and Law, 2011 - Springer
The aim of this paper is to strengthen the point made by Horty about the relationship
between reason holism and moral particularism. In the literature prima facie obligations …

Conciliatory reasoning, self-defeat, and abstract argumentation

A Knoks - The Review of Symbolic Logic, 2023 - cambridge.org
According to conciliatory views on the significance of disagreement, it's rational for you to
become less confident in your take on an issue in case your epistemic peer's take on it is …

A new methodology for query answering in default logics via structure-oriented theorem proving

T Schaub - Journal of Automated Reasoning, 1995 - Springer
We present a new approach to query answering in default logics. The basic idea is to treat
default rules as classical implications along with some qualifying conditions restricting the …

Defeasibility in epistemology

A Knoks - 2020 - search.proquest.com
DEFEASIBILITY IN EPISTEMOLOGY Aleks Knoks Doctor of Philosophy, 2020 Department of
Philosophy & Institute for Advan Page 1 ABSTRACT Title of Dissertation: DEFEASIBILITY IN …