Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | Zuoquan Lin |
Paraconsistent Circumscription: First-Order Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 112-116, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 669-677, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
97 | Nicholas Q. Trân, Rajiv Bagai |
Infinite Relations in Paraconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings, pp. 275-287, 1999, Springer, 3-540-66485-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
90 | Jair Minoro Abe, Seiki Akama |
Annotated Temporal Logics Delta*tau. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 217-226, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 483-494, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Offer Evaluation, Multi-agent Systems, Negotiation, Paraconsistent Logic |
85 | Guoping Du, Hongguang Wang, Jie Shen |
Oppositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 319, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
oppositional logic, intuitionism, negation, paraconsistent |
84 | Kazumi Nakamatsu |
The Paraconsistent Annotated Logic Program EVALPSN and its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence: A Compendium ![In: Computational Intelligence: A Compendium, pp. 233-306, 2008, Springer, 978-3-540-78292-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 528-539, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
79 | Fábio Romeu de Carvalho |
Paraconsistent Logic in Decision Making: Paraconsistent Decision Method (PDM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 233-272, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
79 | Jørgen Villadsen |
A Paraconsistent Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 33-49, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
79 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 1-15, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
75 | Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe |
An Intelligent Safety Verification Based on a Paraconsistent Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 708-715, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 942-948, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 84-118, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
70 | Jørgen Villadsen |
Paraconsistent Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 99-113, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
70 | Jørgen Villadsen |
Paraconsistent Query Answering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 370-384, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
70 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 320-331, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 89-98, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 2-8, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 25-34, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
62 | Seiki Akama |
Jair Minoro Abe on Paraconsistent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 227-234, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
62 | Seiki Akama, Newton C. A. da Costa |
Why Paraconsistent Logics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 7-24, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 77-102, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
62 | Jean-Yves Béziau |
Two Genuine 3-Valued Paraconsistent Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 35-47, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
62 | Sheila Souza, Jair Minoro Abe |
Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 207-231, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 131-151, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
62 | Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama |
Paraconsistent Annotated Logic Program EVALPSN and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 39-85, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
62 | Jair Minoro Abe, Helder Frederico da Silva Lopes, Renato Anghinah |
Paraconsistent Neurocomputing and Biological Signals Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 273-306, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 153-174, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
62 | Jair Minoro Abe |
Paraconsistent Logics: Preamble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 1-22, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
62 | Paulo Henrique Ferraz Masotti, Roberto Navarro de Mesquita |
Paraconsistent Logic Study of Image Focus in Cylindrical Refraction Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 175-205, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![Roskilde University, Roskilde, Denmark The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe |
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 51-65, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Jan Maluszynski, Aida Vitória |
Defining Rough Sets by Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 81-90, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Michael J. Maher |
A Model-Theoretic Semantics for Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 67-80, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Guo-Qiang Zhang 0001 |
Axiomatic Aspects of Default Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 17-32, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | François Bry |
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 119-134, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Diderik Batens |
On a Partial Decision Method for Dynamic Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 91-108, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Dina Q. Goldin, Peter Wegner |
Paraconsistency of Interactive Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Computational Logic ![In: 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), pp. 109-118, 2002, Roskilde University, Roskilde, Denmark. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
62 | Norihiro Kamide |
Proof Systems Combining Classical and Paraconsistent Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 217-238, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 181-190, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Directions in Intelligent Interactive Multimedia ![In: New Directions in Intelligent Interactive Multimedia, pp. 265-274, 2008, Springer, 978-3-540-68126-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, pp. 173-187, 2005, Springer, 3-540-33339-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 134-143, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 954-960, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 719-723, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile, pp. 43-52, 1999, IEEE Computer Society, 0-7695-0296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 431-466, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Socratic proofs, logic of questions, paraconsistent logics |
58 | Jair Minoro Abe |
Para-Fuzzy Logic Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 935-941, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Paraconsistent annotated logic, Fuzzy logic, control systems, logic controller |
58 | Zuoquan Lin, Wei Li 0022 |
On Logic of Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 248-255, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 703-708, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 716-723, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 516-525, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Alexej P. Pynko |
Extensions of Halkowska-Zajac's three-valued paraconsistent logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(3), pp. 299-307, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Ofer Arieli, Marc Denecker |
Modeling Paraconsistent Reasoning by Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 1-14, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 72-86, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
57 | V. S. Subrahmanian |
Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings, pp. 56-67, 1989, Springer, 3-540-52048-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
53 | Sergei P. Odintsov, David Pearce 0001 |
Routley Semantics for Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 343-355, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Rajiv Bagai, Shellene J. Kelley |
Paraconsistency in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft-Ware ![In: Soft-Ware 2002: Computing in an Imperfect World, First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002, Proceedings, pp. 141-150, 2002, Springer, 3-540-43481-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings, pp. 382-391, 2009, Springer, 978-3-642-04842-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings, pp. 284-293, 2009, Springer, 978-3-642-04427-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Directions in Intelligent Interactive Multimedia ![In: New Directions in Intelligent Interactive Multimedia, pp. 249-254, 2008, Springer, 978-3-540-68126-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 466-473, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 232-241, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 18, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 179-194, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 291-320, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers, pp. 91-104, 2004, Springer, 3-540-22172-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 165-177, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Seiki Akama |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 1-5, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Seiki Akama |
A Survey of Annotated Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 49-76, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 205-226, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Kazumi Nakamatsu, Seiki Akama |
Programming with Annotated Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 103-164, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Tetsuya Murai, Yasuo Kudo, Seiki Akama |
Paraconsistency, Chellas's Conditional Logics, and Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 179-196, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Francisco Antonio Doria, Carlos Alberto Nunes Cosenza |
A Beautiful Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Paraconsistent Engineering ![In: Towards Paraconsistent Engineering, pp. 197-203, 2016, Springer, 978-3-319-40417-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Cláudio Rodrigo Torres, Régis Reis |
The New Hardware Structure of the Emmy II Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 87-103, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 105-130, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu |
Constructive Discursive Logic: Paraconsistency in Constructivism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistent Intelligent-Based Systems ![In: Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency, pp. 23-38, 2015, Springer, 978-3-319-19721-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
45 | Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe |
EVALPSN Based Intelligent Drivers' Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 858-865, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 671-681, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 41-51, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Yue Ma 0009, Pascal Hitzler, Zuoquan Lin |
Algorithms for Paraconsistent Reasoning with OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 399-413, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 844-850, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Hendrik Decker |
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 813-817, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Jørgen Villadsen |
A Paraconsistent Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 38-51, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
Paraconsistent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 345-356, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(8), pp. 581-598, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Rajiv Bagai |
Tuple Relational Calculus for Paraconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 409-416, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 404-416, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin |
A Tableau Algorithm for Handling Inconsistency in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 399-413, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: 11th IEEE International Symposium on Multimedia, ISM 2009, San Diego, California, USA, December 14-16, 2009, pp. 567-570, 2009, IEEE Computer Society, 978-0-7695-3890-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 6-8 November 2001, Punta Arenas, Chile, pp. 161-167, 2001, IEEE Computer Society, 0-7695-1396-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 15-25, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
32 | Gemma Robles, José M. Méndez |
The basic constructive logic for a weak sense of consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 89-107, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation |
32 | Gemma Robles |
The Basic Constructive Logic for Negation-Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(2), pp. 161-181, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 474-482, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 637-648, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(3), pp. 383-399, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scientific change, Coherence, Inconsistency, Paraconsistent logic, Rationality |
32 | John Grant, Anthony Hunter |
Measuring inconsistency in knowledgebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 27(2), pp. 159-184, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Conflict resolution, Integrity constraints, Inconsistency, Paraconsistent logic |