:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Zongshun, Shen, Yuping
Formato:	Preprint
Publicado:	2020
Materias:	Artificial Intelligence Logic
Acceso en línea:	https://arxiv.org/abs/2006.08880
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Strength Change Explanations in Quantitative Argumentation
por: Kampik, Timotheus, et al.
Publicado: (2026)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
por: Kampik, Timotheus, et al.
Publicado: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Deontic Argumentation
por: Governatori, Guido, et al.
Publicado: (2025)

Constrained Assumption-Based Argumentation Frameworks
por: De Angelis, Emanuele, et al.
Publicado: (2026)

Splitting Argumentation Frameworks with Collective Attacks and Supports
por: Berthold, Matti, et al.
Publicado: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
por: Andrews, Uri, et al.
Publicado: (2025)

Defeaters and Eliminative Argumentation in Assurance 2.0
por: Bloomfield, Robin, et al.
Publicado: (2024)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
por: Ben-Naim, Jonathan, et al.
Publicado: (2024)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
por: Cramer, Marcos, et al.
Publicado: (2026)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
por: Arisaka, Ryuta
Publicado: (2024)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
por: Sevilla, Jaime, et al.
Publicado: (2024)

Rejection in Abstract Argumentation: Harder Than Acceptance?
por: Fichte, Johannes K., et al.
Publicado: (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements
por: Kampik, Timotheus, et al.
Publicado: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
por: David, Victor, et al.
Publicado: (2026)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
por: Bienvenu, Meghyn, et al.
Publicado: (2020)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Dialectical Reconciliation via Structured Argumentative Dialogues
por: Vasileiou, Stylianos Loukas, et al.
Publicado: (2023)

SCC-recursiveness in infinite argumentation (extended version)
por: Andrews, Uri, et al.
Publicado: (2025)

Approximating Human Models During Argumentation-based Dialogues
por: Tang, Yinxu, et al.
Publicado: (2024)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
por: Proietti, Carlo, et al.
Publicado: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
por: Ho, Loan, et al.
Publicado: (2025)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
por: Shen, Austin, et al.
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
por: Anwer, Nivar, et al.
Publicado: (2025)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
por: Tang, Yinxu, et al.
Publicado: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Can LLM Aid in Solving Constraints with Inductive Definitions?
por: Feng, Weizhi, et al.
Publicado: (2026)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
por: Cabral, Rafael, et al.
Publicado: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
por: Collinson, Matthew, et al.
Publicado: (2026)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
por: Wirth, Claus-Peter
Publicado: (2011)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
por: Andrews, Uri, et al.
Publicado: (2025)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
por: Bouke, Mohamed Aly
Publicado: (2025)

Axiomatizing Rumsfeld Ignorance
por: Fan, Jie
Publicado: (2025)