Sign in
Paraconsistent Computational Logic
2002
2002
2002
Keyphrases
Publications
2002
Ofer Arieli
,
Marc Denecker
,
Bert Van Nuffelen
,
Maurice Bruynooghe
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.
Paraconsistent Computational Logic
(2002)
Jan Maluszynski
,
Aida Vitória
Defining Rough Sets by Extended Logic Programs.
Paraconsistent Computational Logic
(2002)
Jørgen Villadsen
A Paraconsistent Higher Order Logic.
Paraconsistent Computational Logic
(2002)
Philippe Besnard
,
Torsten Schaub
,
Hans Tompits
,
Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Paraconsistent Computational Logic
(2002)
Michael J. Maher
A Model-Theoretic Semantics for Defeasible Logic.
Paraconsistent Computational Logic
(2002)
Guo-Qiang Zhang
Axiomatic Aspects of Default Inference.
Paraconsistent Computational Logic
(2002)
François Bry
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.
Paraconsistent Computational Logic
(2002)
Diderik Batens
On a Partial Decision Method for Dynamic Proofs.
Paraconsistent Computational Logic
(2002)
Dina Q. Goldin
,
Peter Wegner
Paraconsistency of Interactive Computation.
Paraconsistent Computational Logic
(2002)
volume 95, 2002
Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC)
Paraconsistent Computational Logic
95 (2002)