Search results for "negations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Miklos Santha, Christopher B. Wilson	Polynomial Size Constant Depth Circuits with a Limited Number of Negations.	STACS	1991	DBLP DOI BibTeX RDF
58	Ken Kaneiwa, Satoshi Tojo	An Order-Sorted Resolution with Implicitly Negative Sorts.	ICLP	2001	DBLP DOI BibTeX RDF
50	Yaroslav Shramko	Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.	Stud Logica	2005	DBLP DOI BibTeX RDF	falsification, dual intuitionistic logic, kite of negations, Verification
50	Norbert Blum	On Negations in Boolean Networks.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF	monotone network, non-monotone network, Boolean function, network complexity
50	Frithjof Dau	Negations in Simple Concept Graphs.	ICCS	2000	DBLP DOI BibTeX RDF
44	Helmut Thiele	On the Mutual Definability of Classes of Generalized Fuzzy Implications and of Classes of Generalized NegationsandS-Norms.	ISMVL	1997	DBLP DOI BibTeX RDF	S-implications, S-norms, R-implications, QL-implications, negations, T-norms
44	J. Dunn, Chunlai Zhou	Negation in the Context of Gaggle Theory.	Stud Logica	2005	DBLP DOI BibTeX RDF	gaggle theory, perp, compatibility frames, exhaustiveness frames, minimal negation, orthonegation
42	Annaxsuel A. de Lima, Benjamín R. C. Bedregal, Ivan Mezzomo	Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
42	Annaxsuel A. de Lima, Benjamín R. C. Bedregal, Ivan Mezzomo	Ordinal Sums of Fuzzy Negations: Main Classes and Natural Negations.	CoRR	2019	DBLP BibTeX RDF
42	Norihiro Kamide	Paraconsistent Double Negations as Classical and Intuitionistic Negations.	Stud Logica	2017	DBLP DOI BibTeX RDF
42	Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa	Adjoint negations, more than residuated negations.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
35	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
35	Hiroki Morizumi	Limiting Negations in Formulas.	ICALP (1)	2009	DBLP DOI BibTeX RDF
35	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
35	Funda Karaçal	On the Direct Decomposability of Fuzzy Connectives, Negations and Implications Based on T-Norms and T-Conorms on Product Lattices.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
35	Shao Chin Sung, Keisuke Tanaka	Limiting Negations in Bounded-Depth Circuits: An Extension of Markov's Theorem.	ISAAC	2003	DBLP DOI BibTeX RDF
35	Marsha Chechik, Wendy MacCaull	CTL Model-Checking over Logics with Non-Classical Negations.	ISMVL	2003	DBLP DOI BibTeX RDF
29	Ana Pradera	Uninorms and Non-contradiction.	MDAI	2008	DBLP DOI BibTeX RDF	Non-Contradiction Principle, Aggregation functions, Strong Negations, Uninorms
29	Catholijn M. Jonker	Proof-theory for Extensions of Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF	Rule-based calculus, program completions, negations
29	Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu	Deductive Framework for Programming Sensor Networks.	ICDE	2009	DBLP DOI BibTeX RDF
29	Fatih Kocan, Jason Meyer	Logic Modules with Shared SRAM Tables for Field-Programmable Gate Arrays.	FPL	2004	DBLP DOI BibTeX RDF
29	Rudolf Wille	Existential Concept Graphs of Power Context Families.	ICCS	2002	DBLP DOI BibTeX RDF
29	Zhisheng Huang, Karen L. Kwast	Awareness, Negation and Logical Omniscience.	JELIA	1990	DBLP DOI BibTeX RDF
21	Jaisidh Singh, Ishaan Shrivastava, Mayank Vatsa, Richa Singh 0001, Aparna Bharati	Learn "No" to Say "Yes" Better: Improving Vision-Language Models via Negations.	CoRR	2024	DBLP DOI BibTeX RDF
21	Florent Capelli, Oliver Irwin	Direct Access for Conjunctive Queries with Negations.	ICDT	2024	DBLP DOI BibTeX RDF
21	Sandhya R. Savanur, R. Sumathi	SentiNeg: Algorithm to Process Negations at Sentence Level in Sentiment Analysis.	Int. J. Softw. Innov.	2023	DBLP DOI BibTeX RDF
21	Ildar Z. Batyrshin, Imre J. Rudas, Nailya I. Kubysheva	Parametric Negations of Probability Distributions and Fuzzy Distribution Sets.	Computación y Sistemas (CyS)	2023	DBLP BibTeX RDF
21	Minghui Ma, Guiying Li	Intuitionistic Propositional Logic with Galois Negations.	Stud Logica	2023	DBLP DOI BibTeX RDF
21	Yun Song, Junsheng Qiao	${\mathscr {Q}}{\mathscr {L}}$-(operators) implications derived from quasi-overlap (quasi-grouping) functions and negations on bounded lattices.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
21	Yexing Dan, Xiaodong Pan	Lifting negations and implications on bounded subposets of a complete lattice.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
21	Vikash Kumar Gupta, Sebastià Massanet, Nageswara Rao Vemuri	Novel construction methods of interval-valued fuzzy negations and aggregation functions based on admissible orders.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
21	Adam Grabowski	Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition.	FUZZ	2023	DBLP DOI BibTeX RDF
21	Felice Antonio Merra, Omar Zaidan, Fabricio de Sousa Nascimento	Improving the Relevance of Product Search for Queries with Negations.	WWW (Companion Volume)	2023	DBLP DOI BibTeX RDF
21	Christoph Haase, Alessio Mansutti, Amaury Pouly	On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract).	MFCS	2023	DBLP DOI BibTeX RDF
21	Hiba Arnaout, Tuan-Phong Nguyen, Simon Razniewski, Gerhard Weikum	UnCommonSense in Action! Informative Negations for Commonsense Knowledge Bases.	WSDM	2023	DBLP DOI BibTeX RDF
21	Michael Livesay, Daniel Pless, Stephen J. Verzi, Kevin Stamber, Anneliese Lilje	A Theoretical Approach for Reliability Within Information Supply Chains With Cycles and Negations.	IEEE Trans. Reliab.	2022	DBLP DOI BibTeX RDF
21	Junsheng Qiao, Bin Zhao	ℐ풢,풩-Implications Induced from Quasi-Grouping Functions and Negations on Bounded Lattices.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2022	DBLP DOI BibTeX RDF
21	Satoru Niki	Investigations into intuitionistic and other negations.	Bull. Symb. Log.	2022	DBLP DOI BibTeX RDF
21	Md Mosharaf Hossain, Luke Holman, Anusha Kakileti, Tiffany Iris Kao, Nathan Raul Brito, Aaron Abraham Mathews, Eduardo Blanco 0002	A Question-Answer Driven Approach to Reveal Affirmative Interpretations from Verbal Negations.	CoRR	2022	DBLP DOI BibTeX RDF
21	Oleg Grigoriev 0001, Dmitry Zaitsev 0002	Cyclic Negations and Four-valuedness.	NCL	2022	DBLP DOI BibTeX RDF
21	Humberto Bustince, María J. Campión, Laura De Miguel, Esteban Induráin	Strong negations and restricted equivalence functions revisited: An analytical and topological approach.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
21	József Dombi 0001, Tamás Jónás	Remarks on two representations of strong negations and a connection between nilpotent and strict triangular norms.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
21	Tiago da Cruz Asmus, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Iosu Rodríguez-Martínez, Javier Fernández 0002, Humberto Bustince	Negations and dual aggregation functions on arbitrary closed real intervals.	FUZZ-IEEE	2022	DBLP DOI BibTeX RDF
21	Md Mosharaf Hossain, Luke Holman, Anusha Kakileti, Tiffany Kao, Nathan Raul Brito, Aaron Abraham Mathews, Eduardo Blanco 0002	A Question-Answer Driven Approach to Reveal Affirmative Interpretations from Verbal Negations.	NAACL-HLT (Findings)	2022	DBLP DOI BibTeX RDF
21	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.	PODS	2022	DBLP DOI BibTeX RDF
21	Stefanos Makariadis, Georgios Souliotis, Basil K. Papadopoulos	Parametric Fuzzy Implications Produced via Fuzzy Negations with a Case Study in Environmental Variables.	Symmetry	2021	DBLP DOI BibTeX RDF
21	Ildar Z. Batyrshin, Nailya I. Kubysheva, Venera Bayrasheva, Olga Kosheleva, Vladik Kreinovich	Negations of Probability Distributions: A Survey.	Computación y Sistemas	2021	DBLP DOI BibTeX RDF
21	Simone Scaboro, Beatrice Portelli, Emmanuele Chersoni, Enrico Santus, Giuseppe Serra 0001	NADE: A Benchmark for Robust Adverse Drug Events Extraction in Face of Negations.	CoRR	2021	DBLP BibTeX RDF
21	Ildar Z. Batyrshin, Luis Alfonso Villa Vargas, Marco Antonio Ramírez Salinas, Moisés Salinas-Rosales, Nailya I. Kubysheva	Generating Negations of Probability Distributions.	CoRR	2021	DBLP BibTeX RDF
21	Ildar Z. Batyrshin	Contracting and Involutive Negations of Probability Distributions.	CoRR	2021	DBLP BibTeX RDF
21	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations.	CoRR	2021	DBLP BibTeX RDF
21	Ildar Z. Batyrshin, Luis Alfonso Villa Vargas, Marco Antonio Ramírez Salinas, Moisés Salinas-Rosales, Nailya I. Kubysheva	Generating negations of probability distributions.	Soft Comput.	2021	DBLP DOI BibTeX RDF
21	Pengfei Yin, Jinrui Sun, Moyun Wang	The relative difficulty of negations of conjunctions and disjunctions - a mental model perspective.	Cogn. Process.	2021	DBLP DOI BibTeX RDF
21	Conrado Gomez, Miguel Andrés Marcos, Hernán Javier San Martín	On the relation of negations in Nelson algebras.	Reports Math. Log.	2021	DBLP BibTeX RDF
21	Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa	Implication operators generating pairs of weak negations and their algebraic structure.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
21	Francisco Javier Lobillo, Luis Merino, Gabriel Navarro 0001, Evangelina Santos	Induced Triangular Norms and Negations on Bounded Lattices.	IEEE Trans. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
21	Simone Scaboro, Beatrice Portelli, Emmanuele Chersoni, Enrico Santus, Giuseppe Serra 0001	NADE: A Benchmark for Robust Adverse Drug Events Extraction in Face of Negations.	W-NUT	2021	DBLP DOI BibTeX RDF
21	Adam Grabowski	On Fuzzy Negations Generated by Fuzzy Implications.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
21	Umberto Rivieccio	Fragments of Quasi-Nelson: Two Negations.	FLAP	2020	DBLP BibTeX RDF
21	Ryo Okishima, Toru Nakanishi 0001	An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2020	DBLP DOI BibTeX RDF
21	Moti Gitik	Extender-based forcings with overlapping extenders and negations of the Shelah Weak Hypothesis.	J. Math. Log.	2020	DBLP DOI BibTeX RDF
21	Arkadev Chattopadhyay, Rajit Datta, Partha Mukhopadhyay	Negations Provide Strongly Exponential Savings.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
21	Viktor Henriksson, Manfred Kufleitner	Nesting negations in FO2 over infinite words.	CoRR	2020	DBLP BibTeX RDF
21	Susana Cubillo, Carmen Torres-Blanc, Pablo Hernández-Varela	A characterization for some type-2 fuzzy strong negations.	Knowl. Based Syst.	2020	DBLP DOI BibTeX RDF
21	Hongjun Zhou, Xiao Liu	Characterizations of (U2, N)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
21	Stylianos Giakoumakis, Basil K. Papadopoulos	An Algorithm for Fuzzy Negations Based-Intuitionistic Fuzzy Copula Aggregation Operators in Multiple Attribute Decision Making.	Algorithms	2020	DBLP DOI BibTeX RDF
21	Prashanth Amireddy, Sai Jayasurya, Jayalal Sarma	On the Mystery of Negations in Circuits: Structure vs Power.	COCOON	2020	DBLP DOI BibTeX RDF
21	Ana Pradera, Sebastià Massanet, Daniel Ruiz-Aguilera, Joan Torrens	The non-contradiction principle related to natural negations of fuzzy implication functions.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
21	Carmen Torres-Blanc, Susana Cubillo, Pablo Hernández-Varela	New Negations on the Membership Functions of Type-2 Fuzzy Sets.	IEEE Trans. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
21	Georgios Souliotis, Basil K. Papadopoulos	An Algorithm for Producing Fuzzy Negations via Conical Sections.	Algorithms	2019	DBLP DOI BibTeX RDF
21	Antonio Diego Silva Farias, Claudio Callejas, João Marcos 0001, Benjamín R. C. Bedregal, Regivan H. N. Santiago	Fuzzy Bi-implications Generated by t-norms and Fuzzy Negations.	IFSA/NAFIPS	2019	DBLP DOI BibTeX RDF
21	Zahra Sarabi, Erin Killian, Eduardo Blanco 0002, Alexis Palmer	A Corpus of Negations and their Underlying Positive Interpretations.	*SEM@NAACL-HLT	2019	DBLP DOI BibTeX RDF
21	Ryo Okishima, Toru Nakanishi 0001	An Anonymous Credential System with Constant-Size Attribute Proofs for CNF Formulas with Negations.	IWSEC	2019	DBLP DOI BibTeX RDF
21	Libo Ti, Hongjun Zhou	On (O, N)-coimplications derived from overlap functions and fuzzy negations.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
21	Florian Strohm, Roman Klinger	An Empirical Analysis of the Role of Amplifiers, Downtoners, and Negations in Emotion Classification in Microblogs.	CoRR	2018	DBLP BibTeX RDF
21	Roberto Ghiselli Ricci	T-norms with strong negations: Solution of two open problems.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
21	Maria José Asiain, Humberto Bustince, Radko Mesiar, Anna Kolesárová, Zdenko Takác	Negations With Respect to Admissible Orders in the Interval-Valued Fuzzy Set Theory.	IEEE Trans. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
21	Benjamín R. C. Bedregal, Ivan Mezzomo, Renata Hax Sander Reiser	n-Dimensional Fuzzy Negations.	IEEE Trans. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
21	Florian Strohm, Roman Klinger	An Empirical Analysis of the Role of Amplifiers, Downtoners, and Negations in Emotion Classification in Microblogs.	DSAA	2018	DBLP DOI BibTeX RDF
21	Ivan Mezzomo, Benjamín R. C. Bedregal, Thadeu Milfont	Moore Continuous n-Dimensional Interval Fuzzy Negations.	FUZZ-IEEE	2018	DBLP DOI BibTeX RDF
21	Carmen Torres-Blanc, Susana Cubillo, Pablo Hernández-Varela	New Negations on the Type-2 Membership Degrees.	IPMU (1)	2018	DBLP DOI BibTeX RDF
21	Ivan Mezzomo, Benjamín R. C. Bedregal, Thadeu Milfont	Equilibrium Point of Representable Moore Continuous n-Dimensional Interval Fuzzy Negations.	NAFIPS	2018	DBLP DOI BibTeX RDF
21	Georgios Souliotis, Basil K. Papadopoulos	Fuzzy Implications Generating from Fuzzy Negations.	ICANN (1)	2018	DBLP DOI BibTeX RDF
21	Benjamín René Callejas Bedregal, Ivan Mezzomo, Renata Hax Sander Reiser	n-Dimensional Fuzzy Negations.	CoRR	2017	DBLP BibTeX RDF
21	Nicolas Pröllochs, Stefan Feuerriegel, Dirk Neumann 0001	Understanding Negations in Information Processing: Learning from Replicating Human Behavior.	CoRR	2017	DBLP BibTeX RDF
21	Arun Kumar 0005, Mohua Banerjee	A Semantic Analysis of Stone and Dual Stone Negations with Regularity.	ICLA	2017	DBLP DOI BibTeX RDF
21	Ivan Mezzomo, Benjamín R. C. Bedregal, Renata H. S. Reiser	Natural n-dimensional fuzzy negations for n-dimensional t-norms and t-conorms.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
21	Emiel van Miltenburg, Roser Morante, Desmond Elliott	Pragmatic factors in image description: the case of negations.	CoRR	2016	DBLP BibTeX RDF
21	Ivan Mezzomo, Benjamín R. C. Bedregal, Renata Hax Sander Reiser, Humberto Bustince, Daniel Paternain	On n-dimensional strict fuzzy negations.	FUZZ-IEEE	2016	DBLP DOI BibTeX RDF
21	Alex Bertei, Rosana Medina Zanotelli, Wilson Cardoso, Renata Reiser, Luciana Foss, Benjamín R. C. Bedregal	Correlation coefficient analysis based on fuzzy negations and representable automorphisms.	FUZZ-IEEE	2016	DBLP DOI BibTeX RDF
21	Emiel van Miltenburg, Roser Morante, Desmond Elliott	Pragmatic Factors in Image Description: The Case of Negations.	VL@ACL	2016	DBLP DOI BibTeX RDF
21	Isabel Aguiló, Jaume Suñer, Joan Torrens	New types of contrapositivisation of fuzzy implications with respect to fuzzy negations.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
21	Fengxia Zhang	On a New Class of Fuzzy Coimplications Derived from Generalized h-Generators and Fuzzy Negations.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2015	DBLP DOI BibTeX RDF
21	Igor Carboni Oliveira, Siyao Guo, Tal Malkin, Alon Rosen	The Power of Negations in Cryptography.	Electron. Colloquium Comput. Complex.	2015	DBLP BibTeX RDF
21	Humberto Bustince, Edurne Barrenechea, Ana Burusco, Javier Fernández 0002, Juan Tinguaro Rodríguez, Javier Montero, Miguel Pagola, Daniel Gómez 0001	From Trillas' Negations and Antonyms to a Set Representation of Contradiction Within Bipolar and Other Extensions of Fuzzy Sets.	Accuracy and Fuzziness	2015	DBLP DOI BibTeX RDF
21	Siyao Guo, Tal Malkin, Igor C. Oliveira, Alon Rosen	The Power of Negations in Cryptography.	TCC (1)	2015	DBLP DOI BibTeX RDF
21	Humberto Bustince, Edurne Barrenechea, Javier Fernández 0002, Miguel Pagola, Javier Montero	Generation of Interval-Valued Fuzzy Negations from Trillas' Theorem. The Case of Interval Type-2 Fuzzy Sets.	A Passion for Fuzzy Sets	2015	DBLP DOI BibTeX RDF
21	Vinodkumar Prabhakaran, Branimir Boguraev	Learning Structures of Negations from Flat Annotations.	*SEM@NAACL-HLT	2015	DBLP DOI BibTeX RDF
21	Eric Blais, Clément L. Canonne, Igor C. Oliveira, Rocco A. Servedio, Li-Yang Tan	Learning Circuits with few Negations.	APPROX-RANDOM	2015	DBLP DOI BibTeX RDF
21	Benjamín R. C. Bedregal, Regivan H. N. Santiago, Humberto Bustince, Daniel Paternain, Renata Reiser	Typical Hesitant Fuzzy Negations.	Int. J. Intell. Syst.	2014	DBLP DOI BibTeX RDF