The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ofer Arieli" ( http://dblp.L3S.de/Authors/Ofer_Arieli )

  Author page on DBLP  Author page in RDF  Community of Ofer Arieli in ASPL-2

Publication years (Num. hits)
1994-2002 (15) 2003-2006 (15) 2007-2009 (15) 2010-2013 (17) 2014-2017 (17) 2018-2019 (10)
Publication types (Num. hits)
article(36) inproceedings(53)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords

Results
Found 90 publication records. Showing 89 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ofer Arieli, Anna Zamansky Preface. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Ofer Arieli, Christian Straßer Logical argumentation by dynamic proof systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Straßer, Ofer Arieli Normative reasoning by sequent-based argumentation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesse Heyninck, Ofer Arieli Simple Contrapositive Assumption-Based Frameworks. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesse Heyninck, Ofer Arieli An Argumentative Characterization of Disjunctive Logic Programming. Search on Bibsonomy EPIA (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jesse Heyninck, Ofer Arieli Simple Contrapositive Assumption-Based Frameworks. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Ofer Arieli, Annemarie Borg, Christian Straßer Reasoning with maximal consistency by argumentative approaches. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jesse Heyninck, Ofer Arieli On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Annemarie Borg, Christian Straßer Prioritized Sequent-Based Argumentation. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Annemarie Borg, Ofer Arieli Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Ofer Arieli, Arnon Avron Four-Valued Paradefinite Logics. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annemarie Borg, Ofer Arieli, Christian Straßer Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. Search on Bibsonomy TAFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Annemarie Borg, Christian Straßer Argumentative Approaches to Reasoning with Consistent Subsets of Premises. Search on Bibsonomy IEA/AIE (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Christian Straßer Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky A graded approach to database repair by context-aware distance semantics. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky Foreword. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli On the acceptance of loops in argumentation frameworks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Preface. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. Search on Bibsonomy FSCD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Christian Straßer Argumentative Approaches to Reasoning with Maximal Consistency. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ofer Arieli, Christian Straßer Sequent-based logical argumentation. Search on Bibsonomy Argument & Computation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky A dissimilarity-based framework for generating inconsistency-tolerant logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. Search on Bibsonomy J. Applied Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anna Zamansky, Ofer Arieli, Kostas Stefanidis Context-Aware Distance Semantics for Inconsistent Database Systems. Search on Bibsonomy IPMU (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Christian Straßer Dynamic Derivations for Sequent-Based Logical Argumentation. Search on Bibsonomy COMMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Tjitze Rienstra Preferential Reasoning Based On Abstract Argumentation Semantics. Search on Bibsonomy COMMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Straßer, Ofer Arieli Sequent-Based Argumentation for Normative Reasoning. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Martin W. A. Caminada A QBF-based formalization of abstract argumentation semantics. Search on Bibsonomy J. Applied Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ofer Arieli A Sequent-Based Representation of Logical Argumentation. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. Search on Bibsonomy FLAIRS Conference The full citation details ... 2013 DBLP  BibTeX  RDF
1Ofer Arieli, Martin W. A. Caminada A General QBF-based Formalization of abstract Argumentation Theory. Search on Bibsonomy COMMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Conflict-Tolerant Semantics for Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. Search on Bibsonomy FoIKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky A framework for reasoning under uncertainty based on non-deterministic distance semantics. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron, Anna Zamansky Ideal Paraconsistent Logics. Search on Bibsonomy Studia Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron, Anna Zamansky Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Search on Bibsonomy Studia Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen Coherent Integration of Databases by Abductive Logic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Simplified forms of computerized reasoning with distance semantics. Search on Bibsonomy J. Applied Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron, Anna Zamansky What Is an Ideal Logic for Reasoning with Inconsistency?. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli Towards a logical reconstruction of a theory for locally closed databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Ofer Arieli, Anna Zamansky On Strong Maximality of Paraconsistent Finite-Valued Logics. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Similarity-Based Inconsistency-Tolerant Logics. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron, Anna Zamansky Maximally Paraconsistent Three-Valued Logics. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ofer Arieli On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Distance-based non-deterministic semantics for reasoning with uncertainty. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Distance-based paraconsistent logics. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Reasoning with prioritized information by iterative aggregation of distance functions. Search on Bibsonomy J. Applied Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Reasoning with Uncertainty by Nmatrix-Metric Semantics. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Some Simplified Forms of Reasoning with Distance-Based Entailments. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Reasoning with Prioritized Data by Aggregation of Distance Functions. Search on Bibsonomy AGI The full citation details ... 2008 DBLP  BibTeX  RDF
1Ofer Arieli, Anna Zamansky Distance-Based Non-Deterministic Semantics. Search on Bibsonomy AGI The full citation details ... 2008 DBLP  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Ofer Arieli Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
1Glad Deschrijver, Ofer Arieli, Chris Cornelis, Etienne E. Kerre A Bilattice-Based Framework for Handling Graded Truth and Imprecision. Search on Bibsonomy International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance semantics for database repair. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30
1Chris Cornelis, Ofer Arieli, Glad Deschrijver, Etienne E. Kerre Uncertainty Modeling by Bilattice-Based Squares and Triangles. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Commonsense reasoning by distance semantics. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Approximate Query Answering in Locally Closed Databases. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Computational methods for database repair by signed formulae. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 62T37, 68U35, 68T30, AMS subject classifications 68P15
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Representation of Partial Knowledge and Query Answering in Locally Complete Databases. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Chris Cornelis, Glad Deschrijver Preference Modeling by Rectangular Bilattices. Search on Bibsonomy MDAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance-Based Repairs of Databases. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre Bilattice-Based Squares and Triangles. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe An ID-Logic Formalization of the Composition of Autonomous Databases. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Coherent Integration of Databases by Abductive Logic Programming. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Data Integration Using ID-Logic. Search on Bibsonomy CAiSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Database Repair by Signed Formulae. Search on Bibsonomy FoIKS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Reasoning with Different Levels of Uncertainty. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker Reducing Preferential Paraconsistent Reasoning to Classical Entailment. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Preferential Logics for Reasoning with Graded Uncertainty. Search on Bibsonomy ECSQARU The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Paraconsistent Declarative Semantics for Extended Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Search on Bibsonomy Paraconsistent Computational Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Ofer Arieli, Marc Denecker Modeling Paraconsistent Reasoning by Classical Logic. Search on Bibsonomy FoIKS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ofer Arieli Paraconsistent Semantics for Extended Logic Programs. Search on Bibsonomy IC-AI The full citation details ... 2002 DBLP  BibTeX  RDF
1Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe Coherent Composition of Distributed Knowledge-Bases Through Abduction. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ofer Arieli An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. Search on Bibsonomy ESCQARU The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron The Value of the Four Values. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron The Logical Role of the Four-Valued Bilattice. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Reasoning with Logical Bilattices. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Automatic Diagnoses for Properly Stratified Knowledge-Bases. Search on Bibsonomy ICTAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Four-Valued Diagnoses for Stratified Knowledge-Bases. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Logical Bilattices and Inconsistent Data Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license