Stem paraconsist$ (all stems)

11 papers:

CAiSE-2012-ErnstBMJ #agile #evolution #reasoning #requirements

Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.

KR-2012-Fink #hybrid

Paraconsistent Hybrid Theories (MF).

LICS-2012-AvronKZ #calculus #composition #logic

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.

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.

SEKE-2007-ViswanathS #constraints #database #query

Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.

KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics

Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.

KR-2002-Coste-MarquisM #complexity

Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.

ILPS-1995-YouGYG #framework #logic programming #source code

An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.

CADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.