Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Carl Hewitt |
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 110-124, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
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 |
88 | Hendrik Decker |
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics in Databases ![In: Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, pp. 63-81, 2001, Springer, 3-540-00957-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
78 | Edwin D. Mares |
Information, Negation, and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 43-55, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
67 | Philippe Besnard, Paul Wong |
Modal (Logic) Paraconsistency. ![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. 540-551, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Suryanil Ghosh |
Paraconsistency and Beyond: A New Approach to Inconsistency Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 531-540, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
54 | Ross T. Brady, Andrea Meinander |
Distribution in the Logic of Meaning Containment and in Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 223-255, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Walter Alexandre Carnielli, Marcelo E. Coniglio |
On Discourses Addressed by Infidel Logicians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 27-41, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Patrick Allo |
Noisy vs. Merely Equivocal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 57-79, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Michèle Friend |
Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 277-307, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Diderik Batens |
New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 101-122, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Zach Weber |
Notes on Inconsistent Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 315-328, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis |
An Approach to Human-Level Commonsense Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 201-222, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Ray E. Jennings, Yue Chen |
FDE: A Logic of Clutters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 163-172, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Bryson Brown |
Consequence as Preservation: Some Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 123-139, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Francesco Berto |
Wittgenstein on Incompleteness Makes Paraconsistent Sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 257-276, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | David Ripley |
Sorting out the Sorites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 329-348, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Francesco Paoli |
A Paraconsistent and Substructural Conditional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 173-198, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | 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 |
|
54 | Chris Mortensen |
Arithmetic Starred. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 309-314, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Graham Priest |
Vague Inclosures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 367-377, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Marek Nasieniewski, Andrzej Pietruszczak |
On Modal Logics Defining Jaśkowski's D2-Consequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 141-161, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Greg Restall |
Assertion, Denial and Non-classical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 81-99, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
54 | Dominic Hyde |
Are the Sorites and Liar Paradox of a Kind? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 349-366, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
49 | 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 |
49 | Roderic A. Girle |
Tableaux for Expansion and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 387-398, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
belief revision, tableaux, paraconsistency |
48 | 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 | John K. Slaney |
Relevant Logic and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 270-293, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Fahim T. Imam, Wendy MacCaull |
Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 373-384, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-valued logic, Ontology integration, paraconsistency |
27 | Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno |
A logical expression of reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(3), pp. 431-466, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency |
27 | Jair Minoro Abe, Kazumi Nakamatsu |
Manipulating Paraconsistent Knowledge in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 159-168, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
knowledge and paraconsistency, distributed systems, multi-agents, Annotated logics |
24 | Bozena Czernecka-Rej |
Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(1), pp. 145-146, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Diana Costa 0001, Daniel Figueiredo 0001, Manuel A. Martins 0001 |
Relation-changing models meet paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 133, pp. 100870, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yakoub Salhi, Michael Sioutis |
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 2049-2056, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | María del Rosario Martínez-Ordaz |
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 16(1-2), pp. 335-354, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sankha S. Basu, Sayantan Roy |
Negation-Free Definitions of Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCL ![In: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., pp. 150-159, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sankha S. Basu, Mihir K. Chakraborty |
Restricted Rules of Inference and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 30(3), pp. 534-560, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jonas Rafael Becker Arenhart |
The evidence approach to paraconsistency versus the paraconsistent approach to evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(12), pp. 11537-11559, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Sankha S. Basu, Mihir K. Chakraborty |
Restricted Rules of Inference and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.01088, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Hiroyuki Kido 0001, Keishi Okamoto |
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.08479, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Arnon Avron, Anna Zamansky |
Paraconsistency, self-extensionality, modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 28(5), pp. 851-880, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues |
Recovery operators, paraconsistency and duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 28(5), pp. 624-656, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Walter Carnielli, Abilio Rodrigues |
An epistemic approach to paraconsistency: a logic of evidence and truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(9), pp. 3789-3813, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Michal Walicki, Sjur K. Dyrkolbotn |
Paraconsistency, resolution and relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.03476, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Arnon Avron |
Paraconsistency and the need for infinite semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(7), pp. 2167-2175, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Gabriele Pulcini, Achille C. Varzi |
Paraconsistency in classical logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 195(12), pp. 5485-5496, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Evandro Luís Gomes |
Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 24(4), pp. 464-465, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, Alireza Ahrary |
Handling Paraconsistency and Paracompleteness in Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: 2018 Innovations in Intelligent Systems and Applications, INISTA 2018, Thessaloniki, Greece, July 3-5, 2018, pp. 1-7, 2018, IEEE, 978-1-5386-5150-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 52, pp. 3-44, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Diana Costa 0001, Manuel A. Martins 0001 |
Paraconsistency in hybrid logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 27(6), pp. 1825-1852, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama, João Inácio da Silva Filho |
The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-IDT (2) ![In: Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017) - Part II, Algarve, Portugal, June 21-23, 2017., pp. 196-205, 2017, Springer, 978-3-319-59423-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Diana Grooters, Henry Prakken |
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 56, pp. 197-245, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Tiantian Gao, Paul Fodor, Michael Kifer |
Paraconsistency and Word Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.01338, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Anders Schlichtkrull, Jørgen Villadsen |
Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Tiantian Gao, Paul Fodor, Michael Kifer |
Paraconsistency and word puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 16(5-6), pp. 703-720, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide, Daiki Koizumi |
Method for Combining Paraconsistency and Probability in Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 20(5), pp. 813-827, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Jonas R. Becker Arenhart |
Liberating Paraconsistency from Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 9(4), pp. 523-544, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jan A. Bergstra, Inge Bethke |
Note on paraconsistency and reasoning about fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 25(2), pp. 120-124, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera |
Paraconsistency properties in degree-preserving fuzzy logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 19(3), pp. 531-546, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jair Minoro Abe (eds.) |
Paraconsistent Intelligent-Based Systems - New Trends in the Applications of Paraconsistency ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide, Daiki Koizumi |
Combining Paraconsistency and Probability in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., pp. 285-293, 2015, SciTePress, 978-989-758-074-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | 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 |
|
24 | Jan A. Bergstra, Inge Bethke |
Note on paraconsistency and the logic of fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.8692, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Arnon Avron |
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 24(1-2), pp. 12-34, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben |
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 22(2), pp. 268-273, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jesse Alama |
A machine-assisted view of paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.4381, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | András Kertész, Csilla Rákosi |
Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 22(2), pp. 195-230, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds.) |
Paraconsistency: Logic and Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
DBLP DOI BibTeX RDF |
|
24 | Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera |
Exploring Paraconsistency in Degree-Preserving Fuzzy Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology, EUSFLAT-13, Milano, Italy, September 11-13, 2013, 2013, Atlantis Press, 978-90786-77-78-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Gemma Robles |
Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 47, pp. 147-171, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Graham Priest |
Realism, Antirealism, and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Realism-Antirealism Debate in the Age of Alternative Logics ![In: The Realism-Antirealism Debate in the Age of Alternative Logics, pp. 181-190, 2012, Springer, 978-94-007-1922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Vladimir L. Vasyukov |
Paraconsistency in Categories: Case of Relevance Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 98(3), pp. 429-443, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ofer Arieli, Arnon Avron, Anna Zamansky |
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 97(1), pp. 31-60, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Can Baskent |
Paraconsistency and Topological Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.4939, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | Peter Verdée |
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings, pp. 272-292, 2011, Springer, 978-3-642-20919-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide, Heinrich Wansing |
Combining linear-time temporal logic with constructiveness and paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 8(1), pp. 33-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Carl Hewitt |
Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0906.2756, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Gemma Robles, José M. Méndez |
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 18(3), pp. 357-402, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Luis Estrada-González, Claudia Olmedo-García |
Can Paraconsistency Replace Non-Monotonicity? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009., pp. 217-224, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Carl Hewitt |
Common sense for concurrency and strong paraconsistency using unstratified inference and reflection ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0812.4852, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | 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 |
24 | Andrew David Irvine |
John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(3), pp. 425-428, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Graham Priest |
Paraconsistency and dialetheism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Many Valued and Nonmonotonic Turn in Logic ![In: The Many Valued and Nonmonotonic Turn in Logic, pp. 129-204, 2007, Elsevier, 978-0-444-51623-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Eduardo Ariza, José Arrazola |
Analysis of the paraconsistency in some logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Joke Meheus |
An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 35(6), pp. 539-567, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ricardo Sousa Silvestre |
Modality, Paraconsistency and Paracompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 6, papers from the sixth conference on `Advances in Modal Logic,` held in Noosa, Queensland, Australia, on 25-28 September 2006, pp. 449-467, 2006, College Publications, 1-904987-20-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | 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 |
24 | Chris Mortensen, P. Quigley |
Cubic Logic, Ulam Games, and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 15(1), pp. 59-68, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jørgen Villadsen |
Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 15(1), pp. 45-58, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Claudio Pizzi |
Aristotle's Thesis between paraconsistency and modalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 3(1), pp. 119-131, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Arnon Avron |
Combining classical logic, paraconsistency and relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 3(1), pp. 133-160, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|