BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (7)
maxim (2)
valu (2)
theori (2)
constraint (1)

Stem paraconsist$ (all stems)

11 papers:

CAiSECAiSE-2012-ErnstBMJ #agile #evolution #reasoning #requirements
Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.
KRKR-2012-Fink #hybrid
Paraconsistent Hybrid Theories (MF).
LICSLICS-2012-AvronKZ #calculus #composition #logic
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
KRKR-2010-Arieli #logic #on the
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information (OA).
KRKR-2010-ArieliAZ #logic
Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).
LICSLICS-2010-AvronAZ #logic #on the
On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
SEKESEKE-2007-ViswanathS #constraints #database #query
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints (NV, RS), pp. 580–585.
KRKR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics
Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
KRKR-2002-Coste-MarquisM #complexity
Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.
ICLPILPS-1995-YouGYG #framework #logic programming #source code
An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.
CADECADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving
Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.

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.