Results 21 to 30 of about 21,415 (228)
Logics of Formal Inconsistency [PDF]
, 2007 Segundo a pressuposicao de consistencia classica, as contradicoes tem um cara[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocinio sensato pode entao ter lugar. Uma logica e paraconsistente se ela rejeita uma tal pressuposicao, e aceita ao inves que algumas teorias inconsistentes conquanto nao-triviais facam ...
Walter Carnielli +2 more
openaire +1 more source
Volume II: New advances in Logics of Formal Inconsistency
Logic Journal of the IGPL, 2019 Fil: Carnielli, Walter.
Barrio, Eduardo Alejandro +1 more
openaire +2 more sources
From logics of formal inconsistency to logics of formal classicality
Logic Journal of the IGPL, 2018 Abstract One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos.
openaire +1 more source
Non-deterministic algebraization of logics by swap structures1 [PDF]
, 2020 Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that ...
Coniglio, Marcelo E. +2 more
core
Truth in a Logic of Formal Inconsistency: How classical can it get? [PDF]
Logic Journal of the IGPL, 2018 AbstractWeakening classical logic is one of the most popular ways of dealing with semantic paradoxes. Their advocates often claim that such weakening does not affect non-semantic reasoning. Recently, however, Halbach and Horsten (2006) have shown that this is actually not the case for Kripke’s fixed-point theory based on the Strong Kleene evaluation ...
openaire +3 more sources
Cognitive context and arguments from ontologies for learning [PDF]
, 2008 The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that learning resources are underpinned by ontologies.
Bennett, B., Panayioutou, C.
core +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
On Logics of Formal Inconsistency and Fuzzy Logics
, 2013 Ver abstract The authors have been partially supported by the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584). Coniglio was also supported by FAPESP (Thematic Project LogCons 2010/51038-0), and by a research grant from CNPq (PQ 305237/2011-0).
Coniglio, Marcelo E. +2 more
openaire +2 more sources
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source