Search results for "Paraconsistent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Sergei P. Odintsov	On the Representation of N4-Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	N4-lattice, paraconsistent logic, strong negation
32	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung	Defeasible Deontic Control for Discrete Events Based on EVALPSN.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning
30	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
30	Sylvia B. Encheva, Sharil Tumin, Maryna Z. Solesvik	Application of Paraconsistent Logic in an Intelligent Tutoring System.	CDVE	2007	DBLP DOI BibTeX RDF	intelligent infrastructures and automated methods, logic
30	Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin	An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
30	Sylvia B. Encheva, Sharil Tumin, Yuriy P. Kondratenko	Application of Paraconsistent Annotated Logic in Intelligent Systems.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Intelligent infrastructures and automated methods, logic
30	Kazumi Nakamatsu	Intelligent process order control based on a paraconsistent logic program : An introduction.	SMC	2007	DBLP DOI BibTeX RDF
30	Jair Minoro Abe, Kazumi Nakamatsu	Manipulating Paraconsistent Knowledge in Multi-agent Systems.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	knowledge and paraconsistency, distributed systems, multi-agents, Annotated logics
30	Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo	Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II.	KES (2)	2006	DBLP DOI BibTeX RDF
30	Sylvie Coste-Marquis, Pierre Marquis	On the Complexity of Paraconsistent Inference Relations.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
30	Arnon Avron	Non-deterministic Semantics for Paraconsistent C-Systems.	ECSQARU	2005	DBLP DOI BibTeX RDF
30	Ofer Arieli, Arnon Avron	Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.	ESCQARU	1999	DBLP DOI BibTeX RDF
30	Rajiv Bagai, Mehmet A. Orgun	A temporal paraconsistent relational algebra for incomplete and inconsistent information.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
27	Sylvie Coste-Marquis, Pierre Marquis	Recovering Consistency by Forgetting Inconsistency.	JELIA	2008	DBLP DOI BibTeX RDF
27	Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli	Unconventional Models of Computation Through Non-standard Logic Circuits.	UC	2007	DBLP DOI BibTeX RDF
27	Arnon Avron, Anna Zamansky	Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.	ISMVL	2007	DBLP DOI BibTeX RDF
27	Mohua Banerjee	Rough Belief Change.	Trans. Rough Sets	2006	DBLP DOI BibTeX RDF
27	Arnon Avron, Anna Zamansky	Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
27	Adolfo Gustavo Serra Seca Neto, Marcelo Finger	Effective Prover for Minimal Inconsistency Logic.	IFIP AI	2006	DBLP DOI BibTeX RDF
27	Hajime Sawamura, Edwin D. Mares	How Agents Should Exploit Tetralemma with an Eastern Mind in Argumentation.	PRIMA	2004	DBLP DOI BibTeX RDF
27	Anthony Hunter	A Semantic Tableau Version of First-Order Quasi-Classical Logic.	ECSQARU	2001	DBLP DOI BibTeX RDF
27	Rajshekhar Sunderraman	Modeling Negative and Disjunctive Information in Relational Databases.	DEXA	1997	DBLP DOI BibTeX RDF
27	Suryanil Ghosh	Paraconsistency and Beyond: A New Approach to Inconsistency Handling.	ISMIS	1994	DBLP DOI BibTeX RDF
18	Oscar Montiel, Oscar Castillo 0001, Patricia Melin, Roberto Sepúlveda	Mediative fuzzy logic: a new approach for contradictory knowledge management.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Mediative fuzzy logic, Fuzzy logic, Paraconsistent logic
18	Leon Horsten, Philip D. Welch	The Undecidability of Propositional Adaptive Logic.	Synth.	2007	DBLP DOI BibTeX RDF	Dynamic logic, Undecidability, Paraconsistent logic, Adaptive logic
18	Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng	Handling non-canonical software requirements based on Annotated Predicate Calculus.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness
18	Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama	An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.	KES (2)	2007	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, traffic signal control, defeasible deontic reasoning
18	Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu	Monadic Curry Algebras Q tau.	KES (2)	2007	DBLP DOI BibTeX RDF	Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
18	Arnon Avron	A Non-deterministic View on Non-classical Negations.	Stud Logica	2005	DBLP DOI BibTeX RDF	Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
18	Allard M. Tamminga	Expansion and Contraction of Finite States.	Stud Logica	2004	DBLP DOI BibTeX RDF	belief contraction, first degree entailment, paraconsistent logic, belief change
18	Sergei P. Odintsov	Negative Equivalence of Extensions of Minimal Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	minimal logic, negative equivalence, Jankov formula, paraconsistent logic
18	Bart Van Kerkhove, Guido Vanackere	Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes.	Stud Logica	2003	DBLP DOI BibTeX RDF	Sorites paradox, philosophical logic, construction of scientific theories, philosophy of language, paraconsistent logic, vagueness, adaptive logic
18	Anthony Hunter, Bashar Nuseibeh	Managing Inconsistent Specifications: Reasoning, Analysis, and Action.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	managing inconsistency, requiriements specification, viewpoints, paraconsistent logics
17	Cornelis A. Middelburg	Paraconsistent logic and query answering in inconsistent databases.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
17	Arnaldo de Carvalho, João Francisco Justo, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho	A comprehensive review on paraconsistent annotated evidential logic: Algorithms, Applications, and Perspectives.	Eng. Appl. Artif. Intell.	2024	DBLP DOI BibTeX RDF
17	Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho	Cubic Paraconsistent Analysers with Evidence Filter and Temporal Analysis.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
17	Arnaldo de Carvalho, João Francisco Justo, Bruno Augusto Angélico, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho	Paraconsistent State Estimator for a Furuta Pendulum Control.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Xiaolong Liu, Philippe Besnard, Sylvie Doutre	Paraconsistent inference relations induced from inconsistency measures.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
17	Mauricio Osorio 0001, José Luis Carballido	A 4-Valued Logic that Extends the Paraconsistent Logic G'3.	Computación y Sistemas (CyS)	2023	DBLP BibTeX RDF
17	Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij	Presumptive Reasoning in a Paraconsistent Setting.	TARK	2023	DBLP DOI BibTeX RDF
17	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko	Paraconsistent Gödel modal logic on bi-relational frames.	CoRR	2023	DBLP DOI BibTeX RDF
17	Manuel H. Sierra-Aristizábal	Paraconsistent Existential Graphs Gamma Peirce System.	CoRR	2023	DBLP DOI BibTeX RDF
17	Arnaldo de Carvalho, Bruno Augusto Angélico, João Francisco Justo, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho	Model reference control by recurrent neural network built with paraconsistent neurons for trajectory tracking of a rotary inverted pendulum.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
17	João Inácio da Silva Filho, Cláudio Luís Magalhães Fernandes, Rodrigo Silvério da Silveira, Paulino Machado Gomes, Sérgio Luiz da Conceição Matos, Leonardo do Espirito Santo, Célio Vander Nunes, Hyghor Miranda Côrtes, William Aparecido Celestino Lopes, Maurício Conceição Mário, Dorotéa Vilanova Garcia, Cláudio Rodrigo Torres, Jair Minoro Abe, Germano Lambert-Torres	Process of Learning from Demonstration with Paraconsistent Artificial Neural Cells for Application in Linear Cartesian Robots.	Robotics	2023	DBLP DOI BibTeX RDF
17	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer	Two-Layered Logics for Paraconsistent Probabilities.	WoLLIC	2023	DBLP DOI BibTeX RDF
17	Rajeev Rajan, Noumida Abdul Kareem, Sreelakshmi S	Paraconsistent Feature Analysis for the Competency Evaluation of Voice Impersonation.	ASRU	2023	DBLP DOI BibTeX RDF
17	Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa	Structured Specification of Paraconsistent Transition Systems.	FSEN	2023	DBLP DOI BibTeX RDF
17	Luís Soares Barbosa, Alexandre Madeira	Capturing Qubit Decoherence through Paraconsistent Transition Systems.	Programming	2023	DBLP DOI BibTeX RDF
17	Bidhan Saha, Mohua Banerjee, Soma Dutta	Paraconsistent Logics: A Survey Focussing on the Rough Set Approach.	IJCRS	2023	DBLP DOI BibTeX RDF
17	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko	Non-standard Modalities in Paraconsistent Gödel Logic.	JELIA	2023	DBLP DOI BibTeX RDF
17	Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa	Stepwise Development of Paraconsistent Processes.	TASE	2023	DBLP DOI BibTeX RDF
17	Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho	Monitoring electrical systems data-network equipment by means of Fuzzy and Paraconsistent Annotated Logic.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
17	Kleidson Êglicio Carvalho da Silva Oliveira	Paraconsistent Logic Programming in Three and Four-Valued Logics.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
17	Hugo Albuquerque, Carlos Caleiro	AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
17	Guillermo Badia, Zach Weber, Patrick Girard 0004	Paraconsistent Metatheory: New Proofs with Old Tools.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
17	Aldo Figallo Orellano, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras	Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.	Stud Logica	2022	DBLP DOI BibTeX RDF
17	Norihiro Kamide	An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.	Logica Universalis	2022	DBLP DOI BibTeX RDF
17	Ana Cruz, Alexandre Madeira, Luís Soares Barbosa	A Logic for Paraconsistent Transition Systems.	NCL	2022	DBLP DOI BibTeX RDF
17	Ana Cruz, Alexandre Madeira, Luís Soares Barbosa	Paraconsistent Transition Systems.	LSFA	2022	DBLP DOI BibTeX RDF
17	Cornelis A. Middelburg	Paraconsistent logic and query answering in inconsistent databases.	CoRR	2022	DBLP DOI BibTeX RDF
17	Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez	Type Theory with Opposite Types: A Paraconsistent Type Theory.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
17	Hao Wu	Paraconsistent Rough Set Algebras.	AILA	2022	DBLP DOI BibTeX RDF
17	Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai	Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic.	KES-IDT	2022	DBLP DOI BibTeX RDF
17	Nicolas Schwind, Sébastien Konieczny, Ramón Pino Pérez	On Paraconsistent Belief Revision in LP.	AAAI	2022	DBLP DOI BibTeX RDF
17	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko	Paraconsistent Gödel Modal Logic.	IJCAR	2022	DBLP DOI BibTeX RDF
17	Piotr Boltuc	Moral Space for Paraconsistent AGI.	AGI	2022	DBLP DOI BibTeX RDF
17	Andrzej Szalas	Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions.	ICCCI	2022	DBLP DOI BibTeX RDF
17	Ofer Arieli, Kees van Berkel 0002, Christian Straßer	Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation.	IJCAI	2022	DBLP DOI BibTeX RDF
17	Peter Verdée	Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic.	Synth.	2021	DBLP DOI BibTeX RDF
17	Jonas Rafael Becker Arenhart	The evidence approach to paraconsistency versus the paraconsistent approach to evidence.	Synth.	2021	DBLP DOI BibTeX RDF
17	Abdulai Inusah, Esko Turunen	A Paraconsistent Pavelka Technique for Multiple Criteria Decision Analysis.	J. Multiple Valued Log. Soft Comput.	2021	DBLP BibTeX RDF
17	Arnaldo de Carvalho, João Francisco Justo, Bruno Augusto Angélico, Alexandre Maniçoba de Oliveira, João Inácio da Silva Filho	Rotary Inverted Pendulum Identification for Control by Paraconsistent Neural Network.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Bruno Costa Coscarelli	Model Theory in a Paraconsistent Environment.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
17	Norihiro Kamide	Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
17	Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas	On the Paraconsistent Logic CG′3.	Computación y Sistemas	2021	DBLP DOI BibTeX RDF
17	Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias	Paraconsistent Orbits of Logics.	Logica Universalis	2021	DBLP DOI BibTeX RDF
17	Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías	Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$.	Logica Universalis	2021	DBLP DOI BibTeX RDF
17	Ben Goertzel	Paraconsistent Foundations for Quantum Probability.	CoRR	2021	DBLP BibTeX RDF
17	David Fuenmayor	Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL.	CoRR	2021	DBLP BibTeX RDF
17	Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez	About Opposition and Duality in Paraconsistent Type Theory.	LSFA	2021	DBLP DOI BibTeX RDF
17	Hyghor Miranda Côrtes, Paulo Eduardo Santos, João Inácio da Silva Filho	Monitoring electrical systems data-network equipment by means of Fuzzy and Paraconsistent Annotated Logic.	CoRR	2021	DBLP BibTeX RDF
17	Abdulai Inusah, Esko Turunen	A paraconsistent many-valued similarity method for multi-attribute decision making.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
17	João Inácio da Silva Filho, Jair Minoro Abe, Alessandro de Lima Marreiro, Angel Antonio Gonzalez Martinez, Cláudio Rodrigo Torres, Alexandre Rocco, Hyghor Miranda Côrtes, Maurício Conceição Mário, Marcos Tadeu Tavares Pacheco, Dorotéa Vilanova Garcia, Maurício Fontoura Blos	Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes.	Sensors	2021	DBLP DOI BibTeX RDF
17	Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo	Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
17	Cornelis A. Middelburg	On the strongest three-valued paraconsistent logic contained in classical logic and its dual.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
17	Francesco Paoli, Michele Pra Baldi	Extensions of paraconsistent weak Kleene logic.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
17	Walter Carnielli, Abilio Rodrigues	On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
17	Rafael Silva, João F. L. Alcântara	A Paraconsistent Approach to Deal with Epistemic Inconsistencies in Argumentation.	ECSQARU	2021	DBLP DOI BibTeX RDF
17	Francisco Supino Marcondes, Dalila Durães, Marco Gomes 0002, Flávio Arthur O. Santos, José João Almeida, Paulo Novais	Neural Network eXplainable AI Based on Paraconsistent Analysis - an Initial Approach.	SSCT	2021	DBLP DOI BibTeX RDF
17	Flavio Amadeu Bernardini, Márcia Terra da Silva, Jair Minoro Abe	Application of Paraconsistent Annotated Evidential Logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles.	KES	2021	DBLP DOI BibTeX RDF
17	Samira Sestari do Nascimento, Irenilza de Alencar Nääs, Jair Minoro Abe, Cristina Corrêa de Oliveira, Luiz Roberto Forçan	Expert Group Simulation Evaluating Behavioural Competence by Paraconsistent Annotated Evidential Logic Eτ.	KES	2021	DBLP DOI BibTeX RDF
17	Liliam Sayuri Sakamoto, Davis Alves, Jair Minoro Abe, Jonatas Santos de Souza, Nilson A. de Souza, Angel Antonio Gonzalez Martinez	Software optimization for LGPD compliance using Paraconsistent Evidential Annotated Logic Eτ.	KES	2021	DBLP DOI BibTeX RDF
17	Liliam Sayuri Sakamoto, Jair Minoro Abe, Luiz Antônio de Lima, Jonatas Santos de Souza, Nilson A. de Souza, Angel Antonio Gonzalez Martinez	Use of Paraconsistent Logic Evidential Annotated Eτ in Logistic Systems.	APMS (2)	2021	DBLP DOI BibTeX RDF
17	Flavio Amadeu Bernardini, Márcia Terra da Silva, Jair Minoro Abe, Luiz Antônio de Lima	Paraconsistent Annotated Evidential Logic Eτ Applied to Autonomous Robots in Logistic Center.	APMS (3)	2021	DBLP DOI BibTeX RDF
17	Norihiro Kamide	Symmetric Paraconsistent Quantum Logic.	ISMVL	2021	DBLP DOI BibTeX RDF
17	Yakoub Salhi	Inconsistency Measurement for Paraconsistent Inference.	IJCAI	2021	DBLP DOI BibTeX RDF
17	Alex Marino Gonçalves de Almeida, Claudineia Helena Recco, Rodrigo Capobianco Guido	Use of Paraconsistent Feature Engineering to support the Long Term Feature choice for Speaker Verification.	FLAIRS	2021	DBLP DOI BibTeX RDF
17	Yuanxiang Dong, Fan Yang, Zeshui Xu, Xin Cheng, Ke Gong	Incomplete and Inconsistent Information Analysis Method Considering Time Factors: Dynamic Paraconsistent Soft Sets and Their Application to Decision Making.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Andrzej Szalas	A Paraconsistent ASP-Like Language with Tractable Model Generation.	FLAP	2020	DBLP BibTeX RDF
17	Norihiro Kamide	Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.	FLAP	2020	DBLP BibTeX RDF