Search results for "Paraconsistent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Zuoquan Lin	Paraconsistent Circumscription: First-Order Case.	ISMVL	1995	DBLP DOI BibTeX RDF	paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
111	Haibin Wang, Rajshekhar Sunderraman	A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations.	ISMIS	2005	DBLP DOI BibTeX RDF
97	Nicholas Q. Trân, Rajiv Bagai	Infinite Relations in Paraconsistent Databases.	ADBIS	1999	DBLP DOI BibTeX RDF
90	Jair Minoro Abe, Seiki Akama	Annotated Temporal Logics Delta*tau.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
89	Fabiano M. Hasegawa, Bráulio Coelho Ávila, Marcos Augusto Hochuli Shmeil	A New Approach for Offer Evaluation in Multi-agent System Negotiation Based in Evidential Paraconsistent Logic.	ISSADS	2005	DBLP DOI BibTeX RDF	Offer Evaluation, Multi-agent Systems, Negotiation, Paraconsistent Logic
85	Guoping Du, Hongguang Wang, Jie Shen	Oppositional Logic.	LORI	2009	DBLP DOI BibTeX RDF	oppositional logic, intuitionism, negation, paraconsistent
84	Kazumi Nakamatsu	The Paraconsistent Annotated Logic Program EVALPSN and its Application.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
84	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.	ECSQARU	2003	DBLP DOI BibTeX RDF
79	Fábio Romeu de Carvalho	Paraconsistent Logic in Decision Making: Paraconsistent Decision Method (PDM).	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
79	Jørgen Villadsen	A Paraconsistent Higher Order Logic.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
79	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
75	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
75	Jair Minoro Abe	Paraconsistent Artificial Neural Networks: An Introduction.	KES	2004	DBLP DOI BibTeX RDF	logical analyzer, Neural network, pattern recognition, paraconsistent logics, annotated logics
70	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Representing Paraconsistent Reasoning via Quantified Propositional Logic.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
70	Jørgen Villadsen	Paraconsistent Assertions.	MATES	2004	DBLP DOI BibTeX RDF
70	Jørgen Villadsen	Paraconsistent Query Answering Systems.	FQAS	2002	DBLP DOI BibTeX RDF
70	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.	JELIA	2002	DBLP DOI BibTeX RDF
67	Elaini Simoni Angelotti, Edson Emílio Scalabrin, Bráulio Coelho Ávila, Flávio Bortolozzi	A Paraconsistent System of Autonomous Agents for Brazilian Bank Check Treatment.	SCCC	2000	DBLP DOI BibTeX RDF	paraconsistent system, Brazilian bank check treatment, handwritten Brazilian bank checks, reasoning mechanisms, task distribution problems, communication between agents, multi-agent systems, image segmentation, software agents, handwriting recognition, autonomous agents, formal logic, paraconsistent logic, cheque processing
67	Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado	ParaLog_e: A Paraconsistent Evidential Logic Programming Language.	SCCC	1997	DBLP DOI BibTeX RDF	Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
62	Newton C. A. da Costa, Décio Krause	An Application of Paraconsistent Logic to Physics: Complementarity.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
62	Seiki Akama	Jair Minoro Abe on Paraconsistent Engineering.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
62	Seiki Akama, Newton C. A. da Costa	Why Paraconsistent Logics?	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
62	João Inácio da Silva Filho, Clóvis Misseno Da Cruz, Alexandre Rocco, Dorotéa Vilanova Garcia, Luís Fernando Pompeo Ferrara, Alexandre Shozo Onuki, Maurício Conceição Mário, Jair Minoro Abe	Paraconsistent Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
62	Jean-Yves Béziau	Two Genuine 3-Valued Paraconsistent Logics.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
62	Sheila Souza, Jair Minoro Abe	Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	João Inácio da Silva Filho, Irapajy da Silva Caetano, Floriana Nascimento Pontes, Maurício Conceição Mário, Jair Minoro Abe, Fábio Giordano	Paraconsistent Logic Algorithms Applied to Seasonal Comparative Analysis with Biomass Data Extracted by the Fouling Process.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Annotated Logic Program EVALPSN and Its Applications.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Jair Minoro Abe, Helder Frederico da Silva Lopes, Renato Anghinah	Paraconsistent Neurocomputing and Biological Signals Analysis.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Maurício Conceição Mário, Marcílio Dias Lopes, Cláudio Luís Magalhães Fernandes, Dorotéa Vilanova Garcia, João Inácio da Silva Filho, José Carlos Morilla, Clóvis Misseno Da Cruz, Jair Minoro Abe, Cláudio Rodrigo Torres, Deovaldo de Moraes Júnior	An Algorithmic Method Supported by Paraconsistent Annotated Logic Applied to the Determination of Friction Factors for Turbulent Flow in Smooth Pipes.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Jair Minoro Abe	Paraconsistent Logics: Preamble.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Paulo Henrique Ferraz Masotti, Roberto Navarro de Mesquita	Paraconsistent Logic Study of Image Focus in Cylindrical Refraction Experiments.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
62	Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (eds.)	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	2002	DBLP BibTeX RDF
62	Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe	Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Jan Maluszynski, Aida Vitória	Defining Rough Sets by Extended Logic Programs.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Michael J. Maher	A Model-Theoretic Semantics for Defeasible Logic.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Guo-Qiang Zhang 0001	Axiomatic Aspects of Default Inference.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	François Bry	An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Diderik Batens	On a Partial Decision Method for Dynamic Proofs.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Dina Q. Goldin, Peter Wegner	Paraconsistency of Interactive Computation.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
62	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
62	Zhihu Zhang, Zuoquan Lin, Shuang Ren	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.	ISMIS	2009	DBLP DOI BibTeX RDF	Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
62	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Paraconsistent Before-After Relation Reasoning Based on EVALPSN.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	annotated logic program, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN
62	Wendy MacCaull, Dimiter Vakarelov	Lattice-Based Paraconsistent Logic.	RelMiCS	2005	DBLP DOI BibTeX RDF	lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
62	Julio Michael Stern	Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.	SBIA	2004	DBLP DOI BibTeX RDF	Hybrid probability / possibility analysis, Uncertainty representation, Hypothesis test, Paraconsistent logic
62	Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki	A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.	KES	2004	DBLP DOI BibTeX RDF	paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning
62	Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki	Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.	RSFDGrC	2003	DBLP DOI BibTeX RDF	paraconsistent logic program, intelligent control, traffic signal control, defeasible deontic reasoning
62	Fabrício Enembreck, Bráulio Coelho Ávila, Robert Sabourin	Decision Tree-Based Paraconsistent Learning.	SCCC	1999	DBLP DOI BibTeX RDF	Machine Learning, Decision Tree, Uncertainty, Inconsistency, Paraconsistent Logic
58	Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska	Socratic Proofs and Paraconsistency: A Case Study.	Stud Logica	2005	DBLP DOI BibTeX RDF	Socratic proofs, logic of questions, paraconsistent logics
58	Jair Minoro Abe	Para-Fuzzy Logic Controller.	KES	2004	DBLP DOI BibTeX RDF	Paraconsistent annotated logic, Fuzzy logic, control systems, logic controller
58	Zuoquan Lin, Wei Li 0022	On Logic of Paradox.	ISMVL	1995	DBLP DOI BibTeX RDF	logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
57	Hui Hou, Jinzhao Wu	Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web.	CSE (2)	2009	DBLP DOI BibTeX RDF
57	Jair Minoro Abe, Neli Regina Siqueira Ortega, Maurício Conceição Mário, Marinho Del Santo	Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis.	KES (2)	2005	DBLP DOI BibTeX RDF
57	Fabiano M. Hasegawa, Bráulio Coelho Ávila, Marcos Augusto Hochuli Shmeil	A Paraconsistent Approach for Offer Evaluation in Negotiations.	SBIA	2004	DBLP DOI BibTeX RDF
57	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
57	Ofer Arieli, Marc Denecker	Modeling Paraconsistent Reasoning by Classical Logic.	FoIKS	2002	DBLP DOI BibTeX RDF
57	Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian	Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.	CADE	1990	DBLP DOI BibTeX RDF
57	V. S. Subrahmanian	Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs.	FSTTCS	1989	DBLP DOI BibTeX RDF
53	Sergei P. Odintsov, David Pearce 0001	Routley Semantics for Answer Sets.	LPNMR	2005	DBLP DOI BibTeX RDF
53	Rajiv Bagai, Shellene J. Kelley	Paraconsistency in Object-Oriented Databases.	Soft-Ware	2002	DBLP DOI BibTeX RDF
49	Luiz Eduardo da Silva, Helga Gonzaga Martins, Maurílio Pereira Coutinho, Germano Lambert-Torres, Luiz Eduardo Borges da Silva	The Convergence Control to the ACO Metaheuristic Using Annotated Paraconsistent Logic.	ISICA	2009	DBLP DOI BibTeX RDF	artificial intelligence, hybrid system, paraconsistent logic, ant colony
49	Esko Turunen	Interpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework.	ADT	2009	DBLP DOI BibTeX RDF	Data mining, fuzzy logic, paraconsistent logic
49	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama	Two Applications of Paraconsistent Logical Controller.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	conflicts and automation, paraconsistent logics, annotated logics, temperature sensors, Logical controller
49	Jair Minoro Abe, Helder F. S. Lopes, Kazumi Nakamatsu	Improving EEG Analysis by Using Paraconsistent Artificial Neural Networks.	KES (2)	2008	DBLP DOI BibTeX RDF	biomedicine and informatics, pattern recognition, artificial neural network, EEG, paraconsistent logic, annotated logic
49	Helga Gonzaga Martins, Germano Lambert-Torres, Luiz Eduardo Borges da Silva, Claudio Inácio de Almeida Costa, Maurílio Pereira Coutinho	Paraconsistent Case-Based Reasoning Applied to a Restoration of Electrical Power Substations.	RSCTC	2008	DBLP DOI BibTeX RDF	Restoration of Electrical Power Substations, Decision Support System, Intelligent System, Case-based Reasoning, Paraconsistent Logic, CBR
49	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
49	Torben Braüner	Axioms for classical, intuitionistic, and paraconsistent hybrid logic.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
49	Sergei P. Odintsov	The Class of Extensions of Nelson's Paraconsistent Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	N4-lattice, lattice of logics, paraconsistent logic, strong negation
49	Elaini Simoni Angelotti, Edson Emílio Scalabrin	Cognitive Agents and Paraconsistent Logic.	ISSADS	2004	DBLP DOI BibTeX RDF	Artificial Intelligence, Autonomous Agent, Paraconsistent Logic, Task Distribution
45	Yasuo Kudo, Tetsuya Murai, Seiki Akama	A Review on Rough Sets and Possible World Semantics for Modal Logics.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Seiki Akama	Introduction.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Seiki Akama	A Survey of Annotated Logics.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet	Temporal Logic Modeling of Biological Systems.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Kazumi Nakamatsu, Seiki Akama	Programming with Annotated Logics.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Tetsuya Murai, Yasuo Kudo, Seiki Akama	Paraconsistency, Chellas's Conditional Logics, and Association Rules.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Francisco Antonio Doria, Carlos Alberto Nunes Cosenza	A Beautiful Theorem.	Towards Paraconsistent Engineering	2016	DBLP DOI BibTeX RDF
45	Cláudio Rodrigo Torres, Régis Reis	The New Hardware Structure of the Emmy II Robot.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
45	Euro de Barros Couto Junior	A Suggestion for Sample Size Determination Using an Instrument for Collecting Medical Data Based on Discrete Items.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
45	Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu	Constructive Discursive Logic: Paraconsistency in Constructivism.	Paraconsistent Intelligent-Based Systems	2015	DBLP DOI BibTeX RDF
45	Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe	EVALPSN Based Intelligent Drivers' Model.	KES (2)	2006	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning
45	Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model Computation.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control
44	Jan Maluszynski, Andrzej Szalas, Aida Vitória	Paraconsistent Logic Programs with Four-Valued Rough Sets.	RSCTC	2008	DBLP DOI BibTeX RDF
44	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Algorithms for Paraconsistent Reasoning with OWL.	ESWC	2007	DBLP DOI BibTeX RDF
44	Jair Minoro Abe, João Carlos Almeida Prado, Kazumi Nakamatsu	Paraconsistent Artificial Neural Network: Applicability in Computer Analysis of Speech Productions.	KES (2)	2006	DBLP DOI BibTeX RDF
44	Hendrik Decker	Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
44	Jørgen Villadsen	A Paraconsistent Higher Order Logic.	AISC	2004	DBLP DOI BibTeX RDF
44	João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira	Paraconsistent Logic Programs.	JELIA	2002	DBLP DOI BibTeX RDF
44	Arief Daynes	A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
44	Rajiv Bagai	Tuple Relational Calculus for Paraconsistent Databases.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Incomplete and inconsistent information, Tuple relational calculus, Relational data model
44	Philippe Besnard, Torsten Schaub	A Simple Signed System for Paraconsistent Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF
40	Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin	A Tableau Algorithm for Handling Inconsistency in OWL.	ESWC	2009	DBLP DOI BibTeX RDF
35	Sylvio Barbon Junior, Rodrigo Capobianco Guido, Lucimar Sasso Vieira	A Neural-Network Approach for Speech Features Classification Based on Paraconsistent Logic.	ISM	2009	DBLP DOI BibTeX RDF	PAL2v, NN, Classification, SVM, ANN, Speech, Features, Paraconsistent
35	Décio Krause, Emerson Faria Nobre, Martin A. Musicante	Bibel's Matrix Connection Method in Paraconsistent Logic: General Concepts and Implementation.	SCCC	2001	DBLP DOI BibTeX RDF	Bibel´s matrix connection method, theorem prover, paraconsistent logic, annotated logic
34	Koji Tanaka	Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
34	João Inácio da Silva Filho, Germano Lambert-Torres, Jair Minoro Abe	Uncertainty Treatment Using Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks		2010	RDF
32	Gemma Robles, José M. Méndez	The basic constructive logic for a weak sense of consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation
32	Gemma Robles	The Basic Constructive Logic for Negation-Consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation
32	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.	KES (2)	2008	DBLP DOI BibTeX RDF	process order control, bf-EVALPSN, before-after relation, paraconsistent reasoning system, EVALPSN
32	Jingde Cheng	Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.	ISICA	2008	DBLP DOI BibTeX RDF	Relevant and truth-preserving reasoning, Ampliative reasoning, Paracomplete and paraconsistent reasoning, Three-dimensional spatio-temporal relevant logic, Spatio-temporal reasoning
32	Otávio A. S. Bueno, Newton C. A. da Costa	Quasi-truth, paraconsistency, and the foundations of science.	Synth.	2007	DBLP DOI BibTeX RDF	Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality
32	John Grant, Anthony Hunter	Measuring inconsistency in knowledgebases.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Conflict resolution, Integrity constraints, Inconsistency, Paraconsistent logic