Relevant bibliographies by topics / Defeasible Reasoning / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Defeasible Reasoning.

Dissertations / Theses on the topic 'Defeasible Reasoning'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 19 dissertations / theses for your research on the topic 'Defeasible Reasoning.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Hecham, Abdelraouf. "Defeasible reasoning for existential rules." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS012/document.

Full text
Abstract:
La représentation des connaissances et le raisonnement sur le Web sémantique se sont récemment concentrés, pour des raisons pratiques, sur le sous-ensemble de la logique du premier ordre appelé règles existentielles. Dans cette thèse, nous étudions le raisonnement avec des règles existentielles en présence d'informations contradictoires et introduisons un raisonnement existentiel défaisible. Nous proposons trois résultats principaux: Premièrement, nous montrons que les techniques de raisonnement défaisibles classiques doivent être revisitées pour les règles existentielles et étudions leurs déf
APA, Harvard, Vancouver, ISO, and other styles
2

Dalglish, Steven Jack William. "Accepting Defeat: A Solution to Semantic Paradox with Defeasible Principles for Truth." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1597757494987204.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

AnneMarie, Borg [Verfasser], Christian [Gutachter] Straßer, and Ofer [Gutachter] Arieli. "Modeling defeasible reasoning from an argumentative angle / Borg AnneMarie ; Gutachter: Christian Straßer, Ofer Arieli ; Fakultät für Philosophie und Erziehungswissenschaft." Bochum : Ruhr-Universität Bochum, 2020. http://d-nb.info/120260899X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stilgenbauer, Jean-Louis. "Étude expérimentale des stratégies de raisonnement causal dans l’estimation de la probabilité diagnostique : stratégie abductive versus stratégie par déduction rétractable." Thesis, Paris, EPHE, 2016. http://www.theses.fr/2016EPHE3085.

Full text
Abstract:
Le premier objectif de cette thèse consistait à tester l’existence de stratégies de raisonnements dans l’estimation de la probabilité diagnostique : P(cause|effet). A travers quatre expériences, nous montrons que l’estimation de cette probabilitépeut se réaliser selon deux voies formellement distinctes. La première consiste à évaluer P(cause|effet) à travers une forme de déduction affaiblie fondée sur un Modus Ponens rétractable (EFFET ; si EFFET alors il est probable que CAUSE ) il est probable que CAUSE). La seconde stratégie consiste à estimer la probabilité diagnostique à travers un raison
APA, Harvard, Vancouver, ISO, and other styles
5

Olivieri, Francesco. "Compliance by Design: Synthesis of Business Processes by Declarative Specifications." Thesis, Griffith University, 2015. http://hdl.handle.net/10072/367344.

Full text
Abstract:
Business Process Compliance are three words which scholars use to describe what happens, or should happen, when two very di erent worlds collide. The first world is meant to represent enterprises and how they do what they do or, more simply, which procedures and processes they adopt to o er improved products to their customers. Scholars of the field refer to the Business Process Management as a “process optimisation process” and they study approaches, methodologies, and formal languages to describe and improve what they esteem as the heart of every organisation, the business process. A busi
APA, Harvard, Vancouver, ISO, and other styles
6

Heyninck, Jesse [Verfasser], Christian [Gutachter] Straßer, and Ofer [Gutachter] Arieli. "Investigations into the logical foundations of defeasible reasoning : an argumentative perspective / Jesse Heyninck ; Gutachter: Christian Straßer, Ofer Arieli ; Fakultät für Philosophie und Erziehungswissenschaft." Bochum : Ruhr-Universität Bochum, 2019. http://d-nb.info/1187523003/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pensel, Maximilian [Verfasser], Anni-Yasmin [Akademischer Betreuer] Turhan, and Piero Andrea [Gutachter] Bonatti. "A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond / Maximilian Pensel ; Gutachter: Piero Andrea Bonatti ; Betreuer: Anni-Yasmin Turhan." Dresden : Technische Universität Dresden, 2019. http://d-nb.info/122720213X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Scannapieco, Simone. "Towards a Methodology for Business Process Revision Under Norm and Outcome Compliance." Thesis, Griffith University, 2014. http://hdl.handle.net/10072/368143.

Full text
Abstract:
Business Process Management approach allows an organisation to control every aspect of its internal processes (also called business processes) to im- prove them continuously, and to achieve at the same time the organisational objectives (or goals) business processes are built for. When the enterprise is seen as an entity embedded in an environment regulated by norms, the concept of norm compliance comes into play. Norm compliance is the alignment of the formal specifications of a (set of) business process(es), and the formal specifications of the set of norms governing the surrounding
APA, Harvard, Vancouver, ISO, and other styles
9

Guitart, Bravo Francesc. "Algorithms and efficient encodings for argumentation frameworks and arithmetic problems." Doctoral thesis, Universitat de Lleida, 2014. http://hdl.handle.net/10803/284474.

Full text
Abstract:
In this thesis we focus on the design and implementation of a particular framework of Possibilistic Defeasible Logic Programming (RP-DeLP). This framework is based on a general notion of collective (non-binary) conflict among arguments allowing to ensure direct and indirect consistency properties with respect to the strict knowledge. An output of an RP-DeLP program is a pair of sets of warranted and blocked conclusions (literals), all of them recursively based on warranted conclusions but, while warranted conclusions do not generate any conflict, blocked conclusions do. An RP-DeLP program ma
APA, Harvard, Vancouver, ISO, and other styles
10

Schaefer, Reiner. "Brandom’s Account of Defeasible Reasoning: Problems and Solutions." Thesis, 2012. http://hdl.handle.net/10214/3541.

Full text
Abstract:
Robert Brandom has provided what is probably one of the best worked out accounts of how the meanings of linguistic expressions are determined by how they are used—in particular, used in inferences. There are three different types of inferential relations in terms of which Brandom gives his account: commitment-preserving, entitlement-preserving, and incompatibility relations. Brandom also recognizes that most of the reasoning we engage in is defeasible (or deductively inconclusive). For example, the inference from ‘Tweety is a bird’ to ‘Tweety can fly’ is defeasible, because it can be defeated
APA, Harvard, Vancouver, ISO, and other styles
11

Pensel, Maximilian. "A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond." 2019. https://tud.qucosa.de/id/qucosa%3A36341.

Full text
Abstract:
Description Logics (DLs) are increasingly successful knowledge representation formalisms, useful for any application requiring implicit derivation of knowledge from explicitly known facts. A prominent example domain benefiting from these formalisms since the 1990s is the biomedical field. This area contributes an intangible amount of facts and relations between low- and high-level concepts such as the constitution of cells or interactions between studied illnesses, their symptoms and remedies. DLs are well-suited for handling large formal knowledge repositories and computing inferable coherenc
APA, Harvard, Vancouver, ISO, and other styles
12

"Reasoning about Cyber Threat Actors." Doctoral diss., 2018. http://hdl.handle.net/2286/R.I.50463.

Full text
Abstract:
abstract: Reasoning about the activities of cyber threat actors is critical to defend against cyber attacks. However, this task is difficult for a variety of reasons. In simple terms, it is difficult to determine who the attacker is, what the desired goals are of the attacker, and how they will carry out their attacks. These three questions essentially entail understanding the attacker’s use of deception, the capabilities available, and the intent of launching the attack. These three issues are highly inter-related. If an adversary can hide their intent, they can better deceive a defende
APA, Harvard, Vancouver, ISO, and other styles
13

ANGELUCCI, ADRIANO. "Hypotheses fingo. Epistemological considerations on philosophical thought experiments." Doctoral thesis, 2012. http://hdl.handle.net/11562/405936.

Full text
Abstract:
Oggetto primario della presente tesi è la nozione di esperimento mentale in filosofia. Il lavoro si propone in particolare di mettere in luce una serie di aspetti logico-epistemologici fondamentali, che sembrano caratterizzarne tanto la struttura interna, quanto il possibile utilizzo. Il primo capitolo intende far emergere la rilevanza filosofica della questione epistemologica fondamentale sollevata dagli esperimenti mentali scientifici. Il secondo capitolo si sofferma sul ruolo centrale svolto dall’intuizione nell’esecuzione di esperimenti mentali filosofici. Il terzo capitolo, infine, è dedi
APA, Harvard, Vancouver, ISO, and other styles
14

Dixon, Scott Walton. "The theory and pedagody of semantic inconsistency in critical reasoning." Thesis, 2018. http://hdl.handle.net/10500/24927.

Full text
Abstract:
One aspect of critical reasoning is the analysis and appraisal of claims and arguments. A typical problem, when analysing and appraising arguments, is inconsistent statements. Although several inconsistencies may have deleterious effects on rationality and action, not all of them do. As educators, we also have an obligation to teach this evaluation in a way that does justice to our normal reasoning practices and judgements of inconsistency. Thus, there is a need to determine the acceptable inconsistencies from those that are not, and to impart that information to students. We might ask: What
APA, Harvard, Vancouver, ISO, and other styles
15

"Answer Set Programming Modulo Theories." Doctoral diss., 2016. http://hdl.handle.net/2286/R.I.38710.

Full text
Abstract:
abstract: Knowledge representation and reasoning is a prominent subject of study within the field of artificial intelligence that is concerned with the symbolic representation of knowledge in such a way to facilitate automated reasoning about this knowledge. Often in real-world domains, it is necessary to perform defeasible reasoning when representing default behaviors of systems. Answer Set Programming is a widely-used knowledge representation framework that is well-suited for such reasoning tasks and has been successfully applied to practical domains due to efficient computation through gro
APA, Harvard, Vancouver, ISO, and other styles
16

Pasetto, Luca. "A Computational Framework for Formalizing Rules and Managing Changes in Normative Systems." Doctoral thesis, 2022. http://hdl.handle.net/11562/1075666.

Full text
Abstract:
Legal texts are typically written in a natural language. However, a legal text that is written in a formal language has the advantage of being subject to automation, at least partially. Such a translation is not easy, and the matter is even more complex because the law changes with time, so if we formalized a legal text that was originally written in natural language, there is a need to keep track of the change. This thesis proposes original developments on these subjects. In order to formalize a legal document, we provide a pipeline for the translation of a legal text from natural to formal l
APA, Harvard, Vancouver, ISO, and other styles
17

OLIVIERI, FRANCESCO. "Compliance by Design: Synthesis of business processes by declarative specifications." Doctoral thesis, 2014. http://hdl.handle.net/11562/772161.

Full text
Abstract:
Non presente<br>Business Process Compliance are three words scholars use to describe what happens, or should happen, when two worlds very dierent from each other collide. The first world is meant to represent enterprises and how they do what they do or, in a simpler way, what procedures and processes they adopt to oer always better products to their customers. Scholars of the field refer to the Business Process Management as a “process optimisation process” and they study approaches, methodologies, formal languages to describe and improve what they esteem as the heart of every organisation, th
APA, Harvard, Vancouver, ISO, and other styles
18

SCANNAPIECO, SIMONE. "Towards a Methodology for Business Process Revision under Norm and Outcome Compliance." Doctoral thesis, 2014. http://hdl.handle.net/11562/772162.

Full text
Abstract:
See English abstract.<br>Business Process Management approach allows an organisation to control every aspect of its internal processes (also called business processes) to improve them continuously, and to achieve at the same time the organisational objectives (or goals) business processes are built for. When the enterprise is seen as an entity embedded in an environment regulated by norms, the concept of norm compliance comes into play. Norm compliance is the alignment of the formal specifications of a (set of) business process(es), and the formal specifications of the set of norms governing t
APA, Harvard, Vancouver, ISO, and other styles
19

Onabajo, Adeniyi. "Analysis of multilateral software confidentiality requirements". Thesis, 2009. http://hdl.handle.net/1828/1689.

Full text
Abstract:
Ensuring privacy and confidentiality concerns of data owners is an important aspect of a secured information system. This is particularly important for integrated systems, which allow data exchange across organizations. Governments, regulatory bodies and organizations provide legislations, regulations and guidelines for information privacy and security to ensure proper data handling. These are usually specified in natural language formats, contain default requirements and exceptions, and are often ambiguous. In addition, interacting concerns, which are often multilayered and from different stake
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Defeasible Reasoning' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography