Travelled to:1 × Australia
1 × Canada
1 × France
1 × Latvia
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:A.Avron A.Zamansky ∅ A.Cortés-Calabuig M.Denecker M.Bruynooghe B.V.Nuffelen
Talks about:logic (6) valu (4) paraconsist (3) four (3) bilattic (2) maxim (2) data (2) base (2) inconsist (1) stratifi (1)
Person: Ofer Arieli
DBLP: Arieli:Ofer
Contributed to:
2010
20102008
20041998
19961994Wrote 8 papers:
- KR-2010-Arieli #logic #on the
- On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information (OA).
- KR-2010-ArieliAZ #logic
- Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).
- LICS-2010-AvronAZ #logic #on the
- On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
- KR-2008-Cortes-CalabuigDAB #approximate #database #fixpoint #performance #query
- Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases (ACC, MD, OA, MB), pp. 81–91.
- CAiSE-2004-NuffelenCDAB #integration #using
- Data Integration Using ID-Logic (BVN, ACC, MD, OA, MB), pp. 67–81.
- LICS-1998-ArieliA #logic
- The Logical Role of the Four-Valued Bilattice (OA, AA), pp. 118–126.
- CSL-1996-ArieliA #knowledge base
- Four-Valued Diagnoses for Stratified Knowledge-Bases (OA, AA), pp. 1–17.
- LICS-1994-ArieliA #consistency #logic
- Logical Bilattices and Inconsistent Data (OA, AA), pp. 468–476.