Name
Affiliation
Papers
OFER ARIELI
School of Computer Science, The Academic College of Tel-Aviv, Tel-Aviv, Israel
88
Collaborators
Citations 
PageRank 
72
705
51.54
Referers 
Referees 
References 
478
694
1644
Search Limit
100694
Title
Citations
PageRank
Year
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation00.342022
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.00.342022
A Generalized Proof-Theoretic Approach To Logical Argumentation Based On Hypersequents00.342021
Characterizations and Classifications of Argumentative Entailments.00.342021
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences00.342021
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.00.342021
Tuning Logical Argumentation Frameworks - A Postulate-Derived Approach.00.342020
Simple contrapositive assumption-based argumentation frameworks00.342020
Logical argumentation by dynamic proof systems20.352019
An Argumentative Characterization of Disjunctive Logic Programming.00.342019
A review of the relations between logical argumentation and reasoning with maximal consistency20.362019
Normative reasoning by sequent-based argumentation20.352019
Hypersequential Argumentation Frameworks: An Instantiation In The Modal Logic S510.342018
Reasoning with maximal consistency by argumentative approaches.30.372018
Prioritized Sequent-Based Argumentation00.342018
Four-Valued Paradefinite Logics.00.342017
Argumentative Approaches to Reasoning with Consistent Subsets of Premises.10.342017
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.00.342017
On the acceptance of loops in argumentation frameworks20.372016
Argumentative Approaches to Reasoning with Maximal Consistency.10.362016
A graded approach to database repair by context-aware distance semantics10.352016
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.40.412016
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency.20.382016
A dissimilarity-based framework for generating inconsistency-tolerant logics00.342015
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks00.342015
Sequent-Based Logical Argumentation100.572015
Context-Aware Distance Semantics for Inconsistent Database Systems.10.342014
Dynamic Derivations for Sequent-Based Logical Argumentation.30.442014
Preferential Reasoning Based On Abstract Argumentation Semantics.00.342014
Sequent-Based Argumentation for Normative Reasoning.60.482014
A QBF-based formalization of abstract argumentation semantics.190.782013
A Sequent-Based Representation Of Logical Argumentation80.542013
Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks.00.342013
Conflict-Tolerant semantics for argumentation frameworks70.502012
A General QBF-based Formalization of abstract Argumentation Theory.20.402012
Inconsistency-Tolerance in knowledge-based systems by dissimilarities20.372012
A framework for reasoning under uncertainty based on non-deterministic distance semantics20.382011
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics130.972011
Simplified forms of computerized reasoning with distance semantics30.362011
What is an ideal logic for reasoning with inconsistency?80.482011
Coherent integration of databases by abductive logic programming220.672011
Towards a logical reconstruction of a theory for locally closed databases160.752010
Maximally Paraconsistent Three-Valued Logics30.552010
On Strong Maximality of Paraconsistent Finite-Valued Logics30.512010
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information10.352010
Similarity-based inconsistency-tolerant logics40.442010
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data20.382009
Distance-based non-deterministic semantics for reasoning with uncertainty70.532009
Reasoning with Prioritized Data by Aggregation of Distance Functions10.352008
Distance-based paraconsistent logics270.862008
  • 1
  • 2