Relevant bibliographies by topics / Defeasible Reasoning

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Defeasible Reasoning"

1

Pollock, John L. "Defeasible Reasoning." Cognitive Science 11, no. 4 (1987): 481–518. http://dx.doi.org/10.1207/s15516709cog1104_4.

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

McCarty, L. Thorne. "DEFEASIBLE DEONTIC REASONING." Fundamenta Informaticae 21, no. 1,2 (1994): 125–48. http://dx.doi.org/10.3233/fi-1994-21128.

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

Augusto, Juan C., and Guillermo R. Simari. "Temporal Defeasible Reasoning." Knowledge and Information Systems 3, no. 3 (2001): 287–318. http://dx.doi.org/10.1007/pl00011670.

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

Spohn, Wolfgang. "Defeasible normative reasoning." Synthese 197, no. 4 (2019): 1391–428. http://dx.doi.org/10.1007/s11229-019-02083-2.

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

MAHER, MICHAEL J., ILIAS TACHMAZIDIS, GRIGORIS ANTONIOU, STEPHEN WADE, and LONG CHENG. "Rethinking Defeasible Reasoning: A Scalable Approach." Theory and Practice of Logic Programming 20, no. 4 (2020): 552–86. http://dx.doi.org/10.1017/s1471068420000010.

Full text
Abstract:
AbstractRecent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks, and social media. Analytics in terms of defeasible reasoning – for example, for decision making – could provide richer knowledge of the underlying domain. Traditionally, defeasible reasoning has focused on complex knowledge structures over small to medium amounts of data, but recent research efforts have attempted to parallelize the reasoning process over theories with large numbers of facts. Such work has shown that traditional defeasible logics come with ove
APA, Harvard, Vancouver, ISO, and other styles
6

Hecham, Abdelraouf, Madalina Croitoru, and Pierre Bisquert. "DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 09 (2020): 13612–13. http://dx.doi.org/10.1609/aaai.v34i09.7093.

Full text
Abstract:
This demonstration paper introduces DAMN: a defeasible reasoning platform available on the web. It is geared towards decision making where each agent has its own knowledge base that can be combined with other agents to detect and visualize conflicts and potentially solve them using a semantics. It allows the use of different defeasible reasoning semantics (ambiguity blocking/propagating with or without team defeat) and integrates agent collaboration and visualization features.
APA, Harvard, Vancouver, ISO, and other styles
7

MAHER, MICHAEL J., ANDREW ROCK, GRIGORIS ANTONIOU, DAVID BILLINGTON, and TRISTAN MILLER. "EFFICIENT DEFEASIBLE REASONING SYSTEMS." International Journal on Artificial Intelligence Tools 10, no. 04 (2001): 483–501. http://dx.doi.org/10.1142/s0218213001000623.

Full text
Abstract:
For many years, the non-montonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic: a query answering system employing a backward-chaining approach, and a forward-chaining implementation that computes all conclusions. Our experimental evaluation demonstrates that the systems can deal w
APA, Harvard, Vancouver, ISO, and other styles
8

Dewitz, Sandra K., Young Ryu, and Ronald M. Lee. "Defeasible reasoning in law." Decision Support Systems 11, no. 2 (1994): 133–55. http://dx.doi.org/10.1016/0167-9236(94)90029-9.

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

Belzer, Marvin. "Reasoning with defeasible principles." Synthese 66, no. 1 (1986): 135–58. http://dx.doi.org/10.1007/bf00413584.

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

Asarnow, Samuel. "The Reasoning View and Defeasible Practical Reasoning." Philosophy and Phenomenological Research 95, no. 3 (2017): 614–36. http://dx.doi.org/10.1111/phpr.12446.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Defeasible Reasoning"

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
More sources

Books on the topic "Defeasible Reasoning"

1

1928-, Kyburg Henry Ely, Loui Ronald P, and Carlson Greg N. 1948-, eds. Knowledge representation and defeasible reasoning. Kluwer Academic Publishers, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kyburg, Henry E., Ronald P. Loui, and Greg N. Carlson, eds. Knowledge Representation and Defeasible Reasoning. Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0553-5.

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

Straßer, Christian. Adaptive Logics for Defeasible Reasoning. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-00792-2.

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

Kyburg, Henry E. Knowledge Representation and Defeasible Reasoning. Springer Netherlands, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1947-, Nute Donald, ed. Defeasible deontic logic. Kluwer Academic Publishers, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kohlas, Jürg. Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Springer Netherlands, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

1939-, Kohlas Jürg, and Moral Serafín 1952-, eds. Algorithms for uncertainty and defeasible reasoning. Kluwer Academic Publishers, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nute, Donald. Defeasible Deontic Logic. Springer Netherlands, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ch, Meyer John-Jules, and Treur Jan 1952-, eds. Agent-based defeasible control in dynamic environments. Kluwer Academic, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kohlas, Jürg, and Serafín Moral, eds. Handbook of Defeasible Reasoning and Uncertainty Management Systems. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-017-1737-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Defeasible Reasoning"

1

Andreas, Holger. "Defeasible Reasoning." In Dynamic Tractable Reasoning. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-36233-1_4.

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

Prakken, Henry, and Giovanni Sartor. "A system for defeasible argumentation, with defeasible priorities." In Practical Reasoning. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61313-7_97.

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

Geerts, P., E. Laenens, and D. Vermeir. "Defeasible Logics." In Reasoning with Actual and Potential Contradictions. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1739-7_6.

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

Royakkers, Lambèr, and Frank Dignum. "Defeasible Reasoning with Legal Rules." In Defeasible Deontic Logic. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_11.

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

Koons, Robert C., and T. K. Seung. "Defeasible Reasoning and Moral Dilemmas." In Defeasible Deontic Logic. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_9.

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

Ryu, Y. U., and R. M. Lee. "Deontic Logic Viewed as Defeasible Reasoning." In Defeasible Deontic Logic. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8851-5_6.

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

van der Torre, Leendert. "Defeasible Goals." In Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48747-6_35.

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

Loui, Ronald. "Defeasible Specification of Utilities." In Knowledge Representation and Defeasible Reasoning. Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0553-5_14.

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

Antonelli, G. Aldo. "Interrogative Inquiry as Defeasible Reasoning." In Logic, Argumentation & Reasoning. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-20762-9_6.

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

Cristani, Matteo, Guido Governatori, Francesco Olivieri, and Antonino Rotolo. "From Defeasible Logic to Counterfactual Reasoning." In Rules and Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-21541-4_5.

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

Conference papers on the topic "Defeasible Reasoning"

1

Allaway, Emily, and Kathleen McKeown. "Evaluating Defeasible Reasoning in LLMs with DEFREASING." In Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers). Association for Computational Linguistics, 2025. https://doi.org/10.18653/v1/2025.naacl-long.529.

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

Arieli, Ofer, Kees van Berkel, Badran Raddaoui, and Christian Strasser. "Deontic Reasoning Based on Inconsistency Measures." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/7.

Full text
Abstract:
Conflicts are inherent to normative systems. In this paper, we explore a novel approach to normative reasoning by quantifying the amount of conflicts within normative systems. We refine the idea from classical logic, according to which a formula is a consequence of a knowledge base in case its negation renders the knowledge base inconsistent. In our approach, whether a formula is a logical consequence depends, for instance, on its negation's marginal contribution to the inconsistency of the given knowledge base. Accordingly, various inconsistency measures and corresponding (nonmonotonic and pa
APA, Harvard, Vancouver, ISO, and other styles
3

Lehtonen, Tuomo, Daphne Odekerken, Johannes P. Wallner, and Matti Järvisalo. "Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/49.

Full text
Abstract:
We provide complexity results and algorithms for reasoning in the central structured argumentation formalism of ASPIC+. Considering ASPIC+ accommodated with preferences under the last-link principle, the results are made possible by rephrasing several argumentation semantics---admissible, complete, stable, preferred and grounded---in terms of defeasible elements of an ASPIC+ theory for both democratic and elitist last-link lifting. Via the rephrasing, we establish that acceptance is polynomial-time computable under grounded semantics, and complete for either NP, coNP, or Pi_P^2, depending on t
APA, Harvard, Vancouver, ISO, and other styles
4

Popescu, Andrei, and Johannes P. Wallner. "Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/55.

Full text
Abstract:
Reasoning with defeasible and conflicting knowledge in an argumentative form is a key research field in computational argumentation. Reasoning under various forms of uncertainty is both a key feature and a challenging barrier for automated argumentative reasoning. It was shown that argumentative reasoning using probabilities faces in general high computational complexity, in particular for the so-called constellation approach. In this paper, we develop an algorithmic approach to overcome this obstacle. We refine existing complexity results and show that two main reasoning tasks, that of comput
APA, Harvard, Vancouver, ISO, and other styles
5

Azam, Naila, Alex Chak, Anna Lito Michala, Shuja Ansari, and Nguyen Truong. "Modelling GDPR-compliance based on Defeasible Logic Reasoning: Insights from Time Complexity Perspective*." In 2024 IEEE 23rd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). IEEE, 2024. https://doi.org/10.1109/trustcom63139.2024.00286.

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

Garcia, Diego R., Alejandro J. Garcia, and Guillermo R. Simari. "Planning and defeasible reasoning." In the 6th international joint conference. ACM Press, 2007. http://dx.doi.org/10.1145/1329125.1329393.

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

Giannikis, Georgios, and Aspassia Daskalopulu. "Defeasible Reasoning with e-Contracts." In 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology. IEEE, 2006. http://dx.doi.org/10.1109/iat.2006.51.

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

Cristani, Matteo, Claudio Tomazzoli, Erisa Karafili, and Francesco Olivieri. "Defeasible Reasoning about Electric Consumptions." In 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA). IEEE, 2016. http://dx.doi.org/10.1109/aina.2016.62.

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

Vagin, Vadim, and Oleg Morosin. "Modeling Defeasible Reasoning for Argumentation." In 2013 BRICS Congress on Computational Intelligence & 11th Brazilian Congress on Computational Intelligence (BRICS-CCI & CBIC). IEEE, 2013. http://dx.doi.org/10.1109/brics-cci-cbic.2013.58.

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

Rotolo, Antonino, Guido Governatori, and Giovanni Sartor. "Deontic defeasible reasoning in legal interpretation." In ICAIL '15: 15th International Conference on Artificial Intelligence and Law. ACM, 2015. http://dx.doi.org/10.1145/2746090.2746100.

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

Reports on the topic "Defeasible Reasoning"

1

Pensel, Maximilian, and Anni-Yasmin Turhan. Making Quantification Relevant Again —the Case of Defeasible EL⊥. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.231.

Full text
Abstract:
Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such nested defeasible subsumption relationships were not detected by earlier reasoning algorithms—neither for rational nor relevant closure. In this report, we present a new approach for EL ⊥ that alleviates t
APA, Harvard, Vancouver, ISO, and other styles
2

Bonatti, Piero, Carsten Lutz, and Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.149.

Full text
Abstract:
Recent applications of description logics (DLs) strongly suggest the integration of non-monotonic features into DLs, with particular attention to defeasible inheritance. However, the existing non-monotonic extensions of DLs are usually based on default logic or autoepistemic logic, and have to be seriously restricted in expressive power to preserve the decidability of reasoning. In particular, such DLs allow the modelling of defeasible inheritance only in a very restricted form, where non-monotonic reasoning is limited to individuals that are explicitly identified by constants in the knowledge
APA, Harvard, Vancouver, ISO, and other styles
3

Bhargava, Hemant K., and Ramayya Krishnan. Reasoning with Assumptions, Defeasibly, in Model Formulation. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada242734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Defeasible Reasoning' for particular source types:
Journal articles Dissertations / Theses 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