Cover Image

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pant, Sangeeta, Kumar, Anuj, Mazurek, Jiří
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
by: Zese, Riccardo, et al.
Published: (2023)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

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

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

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

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

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
by: Arakelyan, Erik
Published: (2025)

Multi-Property Synthesis
by: Weinhuber, Christoph, et al.
Published: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
by: Kumar, Aman
Published: (2024)

Investigations into Proof Structures
by: Wernhard, Christoph, et al.
Published: (2023)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
by: Ye, Kangfeng, et al.
Published: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Axiomatizing Rumsfeld Ignorance
by: Fan, Jie
Published: (2025)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
by: Katz, Jediah, et al.
Published: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)

Structured d-DNNF Is Not Closed Under Negation
by: Vinall-Smeeth, Harry
Published: (2024)

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

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

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

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

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

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

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
by: Case, Denise M.
Published: (2026)