Search results for "contradiction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Enric Trillas	Non Contradiction, Excluded Middle, and Fuzzy Sets.	WILF	2009	DBLP DOI BibTeX RDF	Self-contradiction, Non-contradiction, Excluded-middle, De Morgan algebras, Algebras of fuzzy sets
76	José Júlio Alferes, Luís Moniz Pereira	Contradiction: When Avoidance Equals Removal - Part I.	ELP	1993	DBLP DOI BibTeX RDF
68	Guoping Du, Hongguang Wang, Jie Shen	Oppositional Logic.	LORI	2009	DBLP DOI BibTeX RDF	oppositional logic, intuitionism, negation, paraconsistent
64	José Júlio Alferes, Luís Moniz Pereira	Contradiction: When Avoidance Equals Removal - Part II.	ELP	1993	DBLP DOI BibTeX RDF
63	Koji Yamada, Motoki Miura, Tessai Hayama, Susumu Kunifuji	Effectiveness of Engineering Solution Case Document Search Based on TRIZ Contradiction Matrix Theory.	KES (2)	2009	DBLP DOI BibTeX RDF	Knowledge management support system, contradiction matrix, retrieval, TRIZ
63	Ana Pradera	Uninorms and Non-contradiction.	MDAI	2008	DBLP DOI BibTeX RDF	Non-Contradiction Principle, Aggregation functions, Strong Negations, Uninorms
56	Milan Daniel	Associativity in combination of belief functions; a derivation of minC combination.	Soft Comput.	2003	DBLP DOI BibTeX RDF	minC combination, Conflict, Dempster-Shafer theory, Belief function, Contradiction
53	Ken Satoh, Ken Kaneiwa, Takeaki Uno	Contradiction Finding and Minimal Recovery for UML Class Diagrams.	ASE	2006	DBLP DOI BibTeX RDF
45	Anthony Hunter, Sébastien Konieczny	Approaches to Measuring Inconsistent Information.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
45	Edeltraud Egger, Gerhard Hanappi	Modelling creative contradictions for organizational change.	HICSS (4)	1995	DBLP DOI BibTeX RDF	creative contradiction modelling, dynamic designs, information sphere, game-theoretic concepts, game theory, information technology, innovation, business data processing, organizational change, management of change, communication technologies
42	Erica Melis, Martin Pollet, Jörg H. Siekmann	Reductio ad Absurdum: Planning Proofs by Contradiction.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
41	John Esch, Robert Levinson	Propagating Truth and Detecting Contradiction in Conceptual Graph Database.	ICCS	1996	DBLP DOI BibTeX RDF	Generalization Hierarchy, Proof Procedure, Logic, Resolution, Conceptual Graphs, Contradiction, Refutation
38	Luyang Li, Bing Qin 0001, Ting Liu 0001	Contradiction Detection with Contradiction-Specific Word Embedding.	Algorithms	2017	DBLP DOI BibTeX RDF
38	Humberto Bustince, Nicolás Madrid, Manuel Ojeda-Aciego	A measure of contradiction based on the notion of N-weak-contradiction.	FUZZ-IEEE	2013	DBLP DOI BibTeX RDF
38	Carmen Torres-Blanc, Susana Cubillo, Elena Castiñeira	An axiomatic model for measuring contradiction and N-contradiction between two AIFSs.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
38	Susana Cubillo, Carmen Torres-Blanc, Elena Castiñeira	Self-Contradiction and Contradiction between Two Atanassov's Intuitionistic Fuzzy Sets.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2008	DBLP DOI BibTeX RDF
34	Xiqun Zhu, Yuan Ma	Modular Architecture for System-on-Chip Design of Scalable MEMS Optical Switch Actuator Controller.	IWSOC	2005	DBLP DOI BibTeX RDF
34	Li Tang, Bernard Pagurek	A Comparative Evaluation of Mobile Agent Performance for Network Management.	ECBS	2002	DBLP DOI BibTeX RDF	MA performance, mobile agents, Network management
33	Mikalai Tsytsarau, Themis Palpanas, Kerstin Denecke	Scalable discovery of contradictions on the web.	WWW	2010	DBLP DOI BibTeX RDF	contradiction analysis, opinion mining
33	W. David Holford, Mehran Ebrahimi	The Case of Honda: A Dialectical yet Coherent Firm.	HICSS	2007	DBLP DOI BibTeX RDF	Dialectical synthesis, disruptive innovation, knowledge dyads, contradiction
33	Lihong He 0003, Zhanwen Niu, Dongliang Chen	Research on Development of Color Sorter Using TRIZ.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Color Sorter, Technology evolution, Inventive principle, TRIZ, Contradiction
33	Hongli Hu, Ping Li	Electronic markets and electronic hierarchies in the context of electronic commerce.	ICEC	2005	DBLP DOI BibTeX RDF	electronic hierarchy, coordination, electronic market, contradiction
33	Howard B. Reubenstein, Richard C. Waters	The Requirements Apprentice: Automated Assistance for Requirements Acquisition.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Requirements Apprentice, human analyst, coherent internal representation, disorganized imprecise statements, dependency-directed reasoning, formal specifications, formal specification, artificial intelligence, knowledge representation, software tools, knowledge acquisition, knowledge acquisition, ambiguity, software requirements, automated tool, incompleteness, contradiction, requirements acquisition, hybrid knowledge representations
30	Alex Cichowski, Christopher S. Madden, Anton van den Hengel, Rhys Hill, Henry Detmold, Anthony R. Dick	Contradiction and Correlation for Camera Overlap Estimation.	AVSS	2009	DBLP DOI BibTeX RDF
30	Steve Racunas, Nigam Shah, Nina V. Fedoroff	A Contradiction-Based Framework for Testing Gene Regulation Hypotheses.	CSB	2003	DBLP DOI BibTeX RDF
30	Enric Trillas, Claudi Alsina, Joan Jacas	On contradiction in fuzzy logic.	Soft Comput.	1999	DBLP DOI BibTeX RDF
30	Daniel Poulin, Pierre St-Vincent, Paul Bratley	Contradiction and Confirmation.	DEXA	1993	DBLP DOI BibTeX RDF
23	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.	CiE	2008	DBLP DOI BibTeX RDF
23	Judy Brown, Gitte Lindgaard, Robert Biddle	Stories, Sketches, and Lists: Developers and Interaction Designers Interacting Through Artefacts.	AGILE	2008	DBLP DOI BibTeX RDF
23	Lifeng Sun, Ke Liang 0001, Shiqiang Yang, Yuzhuo Zhong	Optimization of System Performance for DVC Applications with Energy Constraints over Ad Hoc Networks.	MMM (2)	2007	DBLP DOI BibTeX RDF	optimization, ad hoc networks, energy, Distributed video coding
23	Yijing Ju, Yongquan Yu, Guangming Ju, Wen Cai	Extension Set and Restricting Qualifications of Matter-Elements' Extension.	ICITA (1)	2005	DBLP DOI BibTeX RDF
23	Jiu Chen, Ji Gao, Song Sheng	Non-violative User Profiling Approach for Website Design Improvement.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
23	Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki	A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.	KES	2004	DBLP DOI BibTeX RDF	paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning
23	Eugene Santos Jr., Hang T. Dinh	Consistency of Test Cases in Validation of Bayesian Knowledge-Bases.	ICTAI	2004	DBLP DOI BibTeX RDF
23	Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung	Defeasible Deontic Control for Discrete Events Based on EVALPSN.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning
23	Eli Ben-Sasson	Hard examples for the bounded depth Frege proof system.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 03F20
23	Jon C. R. Bennett, Kent Benson, Anna Charny, William F. Courtney, Jean-Yves Le Boudec	Delay jitter bounds and packet scale rate guarantee expedited forwarding.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	expedited forwarding, differentiated services, delay jitter
23	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
23	Tetsuro Katayama	Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.	APSEC	2002	DBLP DOI BibTeX RDF	diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules
23	Eli Ben-Sasson	Hard examples for bounded depth frege.	STOC	2002	DBLP DOI BibTeX RDF
23	Pierangelo Dell'Acqua, Luís Moniz Pereira	Enabling Agents to Update Their Knowledge and to Prefer.	EPIA	2001	DBLP DOI BibTeX RDF
23	Dora Karali, Fotis Karayannis, Klearchos Berdekas, James Reilly 0002, David A. Romano-Critchley	QoS Based Multi-domain Routing in Public Broadband Networks.	IS&N	1998	DBLP DOI BibTeX RDF
23	Song Wang, Feng Ma, Shaowei Xia	A Chinese Bank Check Recognition System Based on the Fault Tolerant Technique.	ICDAR	1997	DBLP DOI BibTeX RDF
23	X. C. Dellanoy, C. Del Vigna	Binary Integrity Constraints Against Confidentiality.	DEXA	1996	DBLP DOI BibTeX RDF	Discretionary Models of Confidentiality, Integrity Constraints, Relational Model, Covert Channel
23	Zuoquan Lin	Paraconsistent Circumscription: First-Order Case.	ISMVL	1995	DBLP DOI BibTeX RDF	paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
23	C. E. Miller, Albert W. Tucker, R. A. Zemlin	Integer Programming Formulation of Traveling Salesman Problems.	J. ACM	1960	DBLP DOI BibTeX RDF
22	Alban Galland, Serge Abiteboul, Amélie Marian, Pierre Senellart	Corroborating information from disagreeing views.	WSDM	2010	DBLP DOI BibTeX RDF	corroboration, probabilistic model, view, fix-point, confidence, contradiction
22	Germano Resconi, Boris Kovalerchuk	Agents' model of uncertainty.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance
22	Zygmunt Vetulani, Jacek Marciniak, Pawel Konieczka, Justyna Walkowska	An SMS-based System Architecture (Logical Model) to Support Management of Information Exchange in Emergency Stuations. poLINT-112-SMS PROJECT.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF	computer understanding systems, crisis management tools, incoming information processing, text understanding, contradiction solving, human-computer interaction, artificial intelligence, decision making, information integration
22	Randa Kassab, Jean-Charles Lamirel	Towards a synthetic analysis of user's information need for more effective personalized filtering services.	SAC	2007	DBLP DOI BibTeX RDF	NDF, expected precision, terms learning analysis, types of information needs, specificity, exhaustivity, contradiction
22	Yaroslav Shramko, Heinrich Wansing	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
22	Zishun Chen, Runhua Tan	Study on Integrating Application Method for AD and TRIZ.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Contradiction Matrix, Conceptual Design, TRIZ, AD
22	Lihui Ma, Runhua Tan	The Determination Method and Resolving Procedure of Design Conflict Based on Evolution Pattern and Prerequisite Tree.	PROLAMAT	2006	DBLP DOI BibTeX RDF	PRT, design conflict or contradiction, evolution pattern, TRIZ
22	Jakob Nordström	Narrow proofs may be spacious: separating space and width in resolution.	STOC	2006	DBLP DOI BibTeX RDF	pebbling contradiction, lower bound, resolution, space, separation, proof complexity, width, pebble game
22	Petr Hájek 0001	On arithmetic in the Cantor- Lukasiewicz fuzzy set theory.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	x141, ukasiewicz logic, Fuzzy set theory, Contradiction
22	S. Manivannan, S. A. Guthrie	A Knowledge-Based Fatal Incident Decision Model.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	emergency services, knowledge-based fatal incident decision model, remains identification, mass disaster, FINDM, forensic scientists, skeletal ID process, network flow algorithm, observation advisor, assignment advisor, antemortem data, postmortem analysis, forensic anthropology, trait evaluations, regression equations, contradiction factor, pattern recognition, knowledge representation, knowledge representation, decision support systems, expert systems, knowledge acquisition, knowledge acquisition, decision support, knowledge base, conflict resolution, domain knowledge, IBM PC, disasters, anthropology
19	Mona Sloane	Controversies, contradiction, and "participation" in AI.	Big Data Soc.	2024	DBLP DOI BibTeX RDF
19	Hongbo Bi, Jinghui Tong, Cong Zhang, Disen Mo, Xiufang Wang	Camouflaged objects detection network via contradiction detection and feature aggregation.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
19	Turki Aljrees, Muhammad Umer, Oumaima Saidani, Latifah Almuqren, Abid Ishaq, Shtwai Alsubai, Alá Abdulmajid Eshmawi, Imran Ashraf	Contradiction in text review and apps rating: prediction using textual features and transfer learning.	PeerJ Comput. Sci.	2024	DBLP DOI BibTeX RDF
19	Yanfang Zhang, Yiliu Sun, Yibing Zhan, Dapeng Tao, Dacheng Tao, Chen Gong	Large Language Models as an Indirect Reasoner: Contrapositive and Contradiction for Automated Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
19	Meirong Shao, Liren An	Contradiction or Consistency: The "Double-Edged Sword" Effect of Asset Specificity on Organizational Resilience.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
19	Nicolás Madrid, Manuel Ojeda-Aciego	Approaching the square of opposition in terms of the f-indexes of inclusion and contradiction.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
19	Peiyao Liu, Yang Xu 0001, Jun Liu 0001, Shuwei Chen 0001, Feng Cao, Guanfeng Wu	Fully reusing clause deduction algorithm based on standard contradiction separation rule.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
19	Stefan Schulz 0001, James T. Case, Peter Hendler, Daniel Karlsson, Michael Lawley, Ronald Cornet, Robert R. Hausam, Harold Solbrig, Karim Nashar, Catalina Martínez-Costa, Yongsheng Gao 0005	SNOMED CT and Basic Formal Ontology - convergence or contradiction between standards? The case of "clinical finding".	Appl. Ontology	2023	DBLP DOI BibTeX RDF
19	Robiert Sepúlveda-Torres, Alba Bonet-Jover, Estela Saquete	Detecting Misleading Headlines Through the Automatic Recognition of Contradiction in Spanish.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Ray LC, Sihuang Man, Xiying Bao, Jinhan Wan, Bo Wen, Zijing Song	"Contradiction pushes me to improvise": Performer Expressivity and Engagement in Distanced Movement Performance Paradigms.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
19	Zeinab Rahimi, Mehrnoush Shamsfard	A Neuro Symbolic Approach for Contradiction Detection in Persian Text.	J. Univers. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Yimin Yang, Yuefeng Su, Lulu Yang, Xiongwang Zeng	Knowledge ecosystem of financial markets: a new perspective on alleviating the supply-demand contradiction of the rural finance in the post-COVID-19 era.	J. Knowl. Manag.	2023	DBLP DOI BibTeX RDF
19	Li Huang 0003, Bertrand Meyer 0001, Manuel Oriol	Seeding Contradiction: a fast method for generating full-coverage test suites.	CoRR	2023	DBLP DOI BibTeX RDF
19	Maren Pielka, Svetlana Schmidt, Rafet Sifa	Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jiangmin Mao, Yingdan Zhu, Mingda Chen, Gang Chen, Chun Yan, Dong Liu	A contradiction solving method for complex product conceptual design based on deep learning and technological evolution patterns.	Adv. Eng. Informatics	2023	DBLP DOI BibTeX RDF
19	Ryotaro Kamimura	Contradiction neutralization for interpreting multi-layered neural networks.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
19	Peiyao Liu, Shuwei Chen 0001, Jun Liu 0001, Yang Xu 0001, Feng Cao, Guanfeng Wu	An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
19	Khloud Al Jallad, Nada Ghneim	Arnli: Arabic Natural Language Inference Entailment and Contradiction Detection.	Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Li Huang 0003, Bertrand Meyer 0001, Manuel Oriol	Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.	ICTSS	2023	DBLP DOI BibTeX RDF
19	Tobias Deußer, Maren Pielka, Lisa Pucknat, Basil Jacob, Tim Dilmaghani Khameneh, Mahdis Nourimand, Bernd Kliem, Rüdiger Loitz, Christian Bauckhage, Rafet Sifa	Contradiction Detection in Financial Reports.	NLDL	2023	DBLP DOI BibTeX RDF
19	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar	Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer.	JIAF	2023	DBLP BibTeX RDF
19	Lino Kessel, Juan Camilo Giraldo Mora	On Contextual Contradiction: a field Study of Digital Payment Inclusion in Mexico.	ECIS	2023	DBLP BibTeX RDF
19	Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar	Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.	ISIPTA	2023	DBLP BibTeX RDF
19	Jian Zhong, Peiyao Liu, Shuwei Chen 0001	Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.	ISKE	2023	DBLP DOI BibTeX RDF
19	Maren Pielka, Svetlana Schmidt, Rafet Sifa	Generating Prototypes for Contradiction Detection Using Large Language Models and Linguistic Rules.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
19	Wael Soliman, Anniina Ojalainen	Conflict Resolution in an ISO/IEC 27001 Standard Implementation: A Contradiction Management Perspective.	HICSS	2023	DBLP BibTeX RDF
19	Dave Makhervaks, Plia Gillis, Kira Radinsky	Clinical Contradiction Detection.	EMNLP	2023	DBLP DOI BibTeX RDF
19	Abhigya Verma, Jahnvi Srivastav, Pooja Gera, A. K. Mohapatra	Detecting Contradiction and Entailment in Multilingual Text.	ICCCNT	2023	DBLP DOI BibTeX RDF
19	Silvia Angela Mansi, Maria Teresa Medaglia, Stefano Seri, Paolo Tonin, Pia Rotshtein, Camillo Porcaro	Frontal Intrinsic Connectivity Networks Support Contradiction Identification During Inductive and Deductive Reasoning.	Cogn. Comput.	2022	DBLP DOI BibTeX RDF
19	Alexander Nikolaevich Raikov, Massimiliano Pirani	Contradiction of modern and social-humanitarian artificial intelligence.	Kybernetes	2022	DBLP DOI BibTeX RDF
19	Di Jin, Sijia Liu, Yang Liu 0004, Dilek Hakkani-Tur	Improving Bot Response Contradiction Detection via Utterance Rewriting.	CoRR	2022	DBLP DOI BibTeX RDF
19	Shiki Sato, Reina Akama, Hiroki Ouchi, Ryoko Tokuhisa, Jun Suzuki, Kentaro Inui	N-best Response-based Analysis of Contradiction-awareness in Neural Response Generation Models.	CoRR	2022	DBLP DOI BibTeX RDF
19	Chujie Zheng, Jinfeng Zhou, Yinhe Zheng, Libiao Peng, Zhen Guo, Wenquan Wu, Zhengyu Niu, Hua Wu 0003, Minlie Huang	CDConv: A Benchmark for Contradiction Detection in Chinese Conversations.	CoRR	2022	DBLP DOI BibTeX RDF
19	Yijun Yang, Ruiyuan Gao 0001, Yu Li 0007, Qiuxia Lai, Qiang Xu 0001	What You See is Not What the Network Infers: Detecting Adversarial Examples Based on Semantic Contradiction.	CoRR	2022	DBLP BibTeX RDF
19	Maren Pielka, Felix Rode, Lisa Pucknat, Tobias Deußer, Rafet Sifa	A Linguistic Investigation of Machine Learning based Contradiction Detection Models: An Empirical Analysis and Future Perspectives.	CoRR	2022	DBLP DOI BibTeX RDF
19	Khloud Al Jallad, Nada Ghneim	ArNLI: Arabic Natural Language Inference for Entailment and Contradiction Detection.	CoRR	2022	DBLP DOI BibTeX RDF
19	Yanru Zhou, Tianqian Chen, Zhe Feng, Kening Wu	Identifying the contradiction between the cultivated land fragmentation and the construction land expansion from the perspective of urban-rural differences.	Ecol. Informatics	2022	DBLP DOI BibTeX RDF
19	Muhammed Alhelou, Yazan Dayoub, Alexander I. Gavrilov	Reference governed ADRC approach to manage the handling-comfort contradiction in a full-vehicle suspension.	Trans. Inst. Meas. Control	2022	DBLP DOI BibTeX RDF
19	M. KrishnaSiva Prasad, Poonam Sharma	Similarity of Sentences With Contradiction Using Semantic Similarity Measures.	Comput. J.	2022	DBLP DOI BibTeX RDF
19	M. KrishnaSiva Prasad, Poonam Sharma	Corrigendum to: Similarity of Sentences With Contradiction Using Semantic Similarity Measures.	Comput. J.	2022	DBLP DOI BibTeX RDF
19	Christian Swertz	Player State and Diagnostics in Adaptive Serious Games. Suggestions for Modelling the Adversarial Contradiction.	HCI (31)	2022	DBLP DOI BibTeX RDF
19	Maren Pielka, Felix Rode, Lisa Pucknat, Tobias Deußer, Rafet Sifa	A Linguistic Investigation of Machine Learning based Contradiction Detection Models: An Empirical Analysis and Future Perspectives.	ICMLA	2022	DBLP DOI BibTeX RDF
19	Anubhab Banerjee, Stephen S. Mwanje, Georg Carle	Contradiction Management in Intent-driven Cognitive Autonomous RAN.	IFIP Networking	2022	DBLP DOI BibTeX RDF
19	Yijun Yang, Ruiyuan Gao 0001, Yu Li 0007, Qiuxia Lai, Qiang Xu 0001	What You See is Not What the Network Infers: Detecting Adversarial Examples Based on Semantic Contradiction.	NDSS	2022	DBLP BibTeX RDF