Search results for "Paraconsistent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Antonino Drago	Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
17	Paul Wong, Philippe Besnard	Paraconsistent Reasoning as an Analytic Tool.	Log. J. IGPL	2001	DBLP DOI BibTeX RDF
17	C. Morgan	Many Valued Paraconsistent Logic.	ISMVL	2001	DBLP DOI BibTeX RDF
17	Jørgen Villadsen	Combinators for Paraconsistent Attitudes.	LACL	2001	DBLP DOI BibTeX RDF
17	Maria Luisa Dalla Chiara, Roberto Giuntini	Paraconsistent ideas in quantum logic.	Synth.	2000	DBLP DOI BibTeX RDF
17	Nicholas Q. Trân, Rajiv Bagai	Efficient Representation and Algebraic Manipulation of Infinite Relations in Paraconsistent Databases.	Inf. Syst.	2000	DBLP DOI BibTeX RDF
17	Reinhard Muskens	On Partial and Paraconsistent Logics.	Notre Dame J. Formal Log.	1999	DBLP DOI BibTeX RDF
17	Walter Alexandre Carnielli, João Marcos 0001	Limits for Paraconsistent Calculi.	Notre Dame J. Formal Log.	1999	DBLP DOI BibTeX RDF
17	Bryson Brown	Yes, Virginia, there Really are Paraconsistent Logics.	J. Philos. Log.	1999	DBLP DOI BibTeX RDF
17	Jean-Yves Béziau	Idempotent Full Paraconsistent Negations are not Algebraizable.	Notre Dame J. Formal Log.	1998	DBLP DOI BibTeX RDF
17	Dale Jacquette	Paraconsistent Logical Consequence.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
17	Philippe Besnard, Torsten Schaub	Signed Systems for Paraconsistent Reasoning.	J. Autom. Reason.	1998	DBLP DOI BibTeX RDF
17	Carlos Viegas Damásio, Luís Moniz Pereira	A Paraconsistent Semantics with Contradiction Support Detection.	LPNMR	1997	DBLP DOI BibTeX RDF
17	Zuoquan Lin	Paraconsistent Circumscription: Preliminary Report.	Int. J. Pattern Recognit. Artif. Intell.	1996	DBLP DOI BibTeX RDF
17	Peter Apostoli	Modal Aggregation and the Theory of Paraconsistent Filters.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
17	Zuoquan Lin	Paraconsistent Circumscription.	AI	1996	DBLP DOI BibTeX RDF
17	Rajiv Bagai, Rajshekhar Sunderraman	A paraconsistent relational data model.	Int. J. Comput. Math.	1995	DBLP DOI BibTeX RDF
17	Barry Hartley Slater	Paraconsistent logics?	J. Philos. Log.	1995	DBLP DOI BibTeX RDF
17	Alexej P. Pynko	Algebraic study of sette's maximal paraconsistent logic.	Stud Logica	1995	DBLP DOI BibTeX RDF
17	Chiaki Sakama, Katsumi Inoue	Paraconsistent Stable Semantics for Extended Disjunctive Programs.	J. Log. Comput.	1995	DBLP DOI BibTeX RDF
17	Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno	Aspects of Paraconsistent Logic.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
17	Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel	An Introspective Framework for Paraconsistent Logic Programs.	ILPS	1995	DBLP BibTeX RDF
17	Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel	An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
17	Carlos Viegas Damásio, Luís Moniz Pereira	A Model Theory for Paraconsistent Logic Programming.	EPIA	1995	DBLP DOI BibTeX RDF
17	Philippe Besnard, Els Laenens	A knowledge representation perspective: Logics for paraconsistent reasoning.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
17	Anthony Bloesch	A Tableau Style Proof System for Two Paraconsistent Logics.	Notre Dame J. Formal Log.	1993	DBLP DOI BibTeX RDF
17	Arthur Buchsbaum, Tarcisio H. C. Pequeno	A reasoning method for a paraconsistent logic.	Stud Logica	1993	DBLP DOI BibTeX RDF
17	V. S. Subrahmanian	Paraconsistent Disjunctive Deductive Databases.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
17	Gerson Zaverucha	Relevant logic as a basis for paraconsistent epistemic logics.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
17	Chiaki Sakama	Extended Well-Founded Semantics for Paraconsistent Logic Programs.	FGCS	1992	DBLP BibTeX RDF
17	Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago	The Paraconsistent Logics PJ.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
17	James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa	Reasoning in Paraconsistent Logics.	Automated Reasoning: Essays in Honor of Woody Bledsoe	1991	DBLP BibTeX RDF
17	Ján Sefránek	Inconsistencies handling: nonmonotonic and paraconsistent reasoning.	FAIR	1991	DBLP DOI BibTeX RDF
17	V. S. Subrahmanian	Paraconsistent Disjunctive Deductive Databases.	ISMVL	1990	DBLP DOI BibTeX RDF
17	Newton C. A. da Costa, V. S. Subrahmanian	Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.	Artif. Intell. Medicine	1989	DBLP DOI BibTeX RDF
17	Howard A. Blair, V. S. Subrahmanian	Paraconsistent Logic Programming.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
17	Howard A. Blair, V. S. Subrahmanian	Paraconsistent Logic Programming.	FSTTCS	1987	DBLP DOI BibTeX RDF
17	Matthias Baaz	Kripke-type semantics for da Costa's paraconsistent logic Cω.	Notre Dame J. Formal Log.	1986	DBLP DOI BibTeX RDF
17	Harry Deutsch	Paraconsistent analytic implication.	J. Philos. Log.	1984	DBLP DOI BibTeX RDF
13	Sven Hartmann, Sebastian Link	When data dependencies over SQL tables meet the logics of paradox and S-3.	PODS	2010	DBLP DOI BibTeX RDF	logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value
13	Carlos Caleiro, Ricardo Gonçalves 0001	Algebraic Valuations as Behavioral Logical Matrices.	WoLLIC	2009	DBLP DOI BibTeX RDF	behavioral algebraization, logical matrix, valuation semantics, algebraic logic
13	Xiaowang Zhang, Zuoquan Lin	An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.	KI	2009	DBLP DOI BibTeX RDF
13	Yue Ma 0009, Guilin Qi, Guohui Xiao 0001, Pascal Hitzler, Zuoquan Lin	An Anytime Algorithm for Computing Inconsistency Measurement.	KSEM	2009	DBLP DOI BibTeX RDF
13	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Explaining Inconsistencies in OWL Ontologies.	SUM	2009	DBLP DOI BibTeX RDF
13	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.	KES (2)	2009	DBLP DOI BibTeX RDF	before-after relation, bf-EVALPSN, annotated logic program, anticipatory system, EVALPSN
13	Sebastiaan Terwijn	Decidability and Undecidability in Probability Logic.	LFCS	2009	DBLP DOI BibTeX RDF
13	Roberto Confalonieri 0001, Juan Carlos Nieves, Javier Vázquez-Salceda	Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction.	AI*IA	2009	DBLP DOI BibTeX RDF
13	Arnon Avron, Beata Konikowska	Rough Sets and 3-Valued Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	rough sets, three-valued logics, sequent calculi, non-deterministic matrices
13	Itala M. Loffredo D'Ottaviano, Carlos Hifume	Peircean Pragmatic Truth and da Costa's Quasi-Truth.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
13	Mauricio Osorio 0001, Juan Carlos Nieves	PStable Semantics for Possibilistic Logic Programs.	MICAI	2007	DBLP DOI BibTeX RDF
13	Ofer Arieli	Commonsense reasoning by distance semantics.	TARK	2007	DBLP DOI BibTeX RDF
13	Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe	A Natural Deduction System for Annotated Predicate Logic.	KES (2)	2007	DBLP DOI BibTeX RDF	completeness, natural deduction, Annotated logics
13	Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang	Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.	ICECCS	2007	DBLP DOI BibTeX RDF	BAF, BOWL, Semantic Web, OWL, confidence, ignorance
13	Carl Hewitt	Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency.	COIN	2007	DBLP DOI BibTeX RDF	Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency
13	Carlos Caleiro, Ricardo Gonçalves 0001	On the Algebraization of Many-Sorted Logics.	WADT	2006	DBLP DOI BibTeX RDF
13	Jingde Cheng, Junichi Miura	Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance.	ARES	2006	DBLP DOI BibTeX RDF
13	Anbu Yue, Yue Ma 0009, Zuoquan Lin	Four-Valued Semantics for Default Logic.	Canadian AI	2006	DBLP DOI BibTeX RDF
13	Zhangang Lin, Yue Ma 0009, Zuoquan Lin	A Fault-Tolerant Default Logic.	JELIA	2006	DBLP DOI BibTeX RDF
13	Donghuo Chen, Jinzhao Wu	Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.	SOFSEM	2006	DBLP DOI BibTeX RDF
13	Aida Vitória	A Framework for Reasoning with Rough Sets.	Trans. Rough Sets	2005	DBLP DOI BibTeX RDF
13	Anthony Hunter, Sébastien Konieczny	Approaches to Measuring Inconsistent Information.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
13	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama	Non-alethic Reasoning in Distributed Systems.	KES (2)	2005	DBLP DOI BibTeX RDF
13	Jingde Cheng	Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems.	ICTAI	2005	DBLP DOI BibTeX RDF
13	Jingde Cheng	Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
13	Ofer Arieli	Preferential Logics for Reasoning with Graded Uncertainty.	ECSQARU	2003	DBLP DOI BibTeX RDF
13	Philippe Besnard, Paul Wong	Modal (Logic) Paraconsistency.	ECSQARU	2003	DBLP DOI BibTeX RDF
13	Arnon Avron	Tableaux with Four Signs as a Unified Framework.	TABLEAUX	2003	DBLP DOI BibTeX RDF
13	Francesco Paoli	On the algebraic structure of linear, relevance, and fuzzy logics.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
13	Ralph Miarka, John Derrick, Eerke A. Boiten	Handling Inconsistencies in Z Using Quasi-Classical Logic.	ZB	2002	DBLP DOI BibTeX RDF
13	Sébastien Konieczny, Pierre Marquis	Three-Valued Logics for Inconsistency Handling.	JELIA	2002	DBLP DOI BibTeX RDF
13	Sandra de Amo, Walter Alexandre Carnielli, João Marcos 0001	A Logical Framework for Integrating Inconsistent Information in Multiple Databases.	FoIKS	2002	DBLP DOI BibTeX RDF
13	Hendrik Decker	Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
13	Carlos Viegas Damásio, Luís Moniz Pereira	Hybrid Probabilistic Logic Programs as Residuated Logic Programs.	JELIA	2000	DBLP DOI BibTeX RDF
13	Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift	Coherent Well-founded Annotated Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
13	Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü	KOMET - A System for the Integration of Heterogeneous Information Sources.	ISMIS	1997	DBLP DOI BibTeX RDF	Mediator, Knowledge Integration, Intelligent Information Systems
13	Carlos Viegas Damásio, Luís Moniz Pereira	Default Negated Conclusions: Why Not?	ELP	1996	DBLP DOI BibTeX RDF
13	Pierre-Yves Schobbens	A Logic for Legal Hierarchies.	ICAIL	1993	DBLP DOI BibTeX RDF