BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Arieli:Ofer

Contributed to:

KR 20102010
LICS 20102010
KR 20082008
CAiSE 20042004
LICS 19981998
CSL 19961996
LICS 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.