Ofer Arieli
Orcid: 0000-0002-6588-886X
According to our database1,
Ofer Arieli
authored at least 105 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.
Artif. Intell., 2024
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Computational Models of Argument, 2022
2021
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents.
Stud Logica, 2021
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences.
Int. J. Approx. Reason., 2021
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
2020
Int. J. Approx. Reason., 2020
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the Computational Models of Argument, 2020
2019
A review of the relations between logical argumentation and reasoning with maximal consistency.
Ann. Math. Artif. Intell., 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Progress in Artificial Intelligence, 2019
2018
J. Log. Comput., 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Proceedings of the Theory and Applications of Formal Argumentation, 2017
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017
2016
Fuzzy Sets Syst., 2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
2015
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks.
J. Appl. Log., 2015
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015
Ann. Math. Artif. Intell., 2015
2014
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
2013
Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
Proceedings of the Computational Logic in Multi-Agent Systems, 2013
2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the Computational Models of Argument, 2012
2011
Stud Logica, 2011
J. Appl. Log., 2011
A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reason., 2011
Proceedings of the IJCAI 2011, 2011
2010
ACM Trans. Database Syst., 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
2009
Log. J. IGPL, 2009
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
2008
Reasoning with prioritized information by iterative aggregation of distance functions.
J. Appl. Log., 2008
Proceedings of the Logic, 2008
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Advances in Artificial Intelligence , 2008
Proceedings of the Artificial General Intelligence 2008, 2008
Proceedings of the Artificial General Intelligence 2008, 2008
2007
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.
ACM Trans. Comput. Log., 2007
IEEE Trans. Fuzzy Syst., 2007
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Ann. Math. Artif. Intell., 2006
Proceedings of the Modeling Decisions for Artificial Intelligence, 2006
Representation of Partial Knowledge and Query Answering in Locally Complete Databases.
Proceedings of the Logic for Programming, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005
2004
J. Artif. Intell. Res., 2004
Proceedings of the Foundations of Information and Knowledge Systems, 2004
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004
2003
J. Log. Comput., 2003
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003
2002
Ann. Math. Artif. Intell., 2002
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Proceedings of the Paraconsistent Computational Logic, 2002
Paraconsistent Semantics for Extended Logic Programs.
Proceedings of the International Conference on Artificial Intelligence, 2002
Proceedings of the Foundations of Information and Knowledge Systems, 2002
2001
Proceedings of the Logic for Programming, 2001
2000
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Log. J. IGPL, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
1999
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.
J. Autom. Reason., 1999
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999
1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1996
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994