Search results for "contradiction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	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
19	Stefan Sackmann, Kai Kittel	Flexible Workflows and Compliance: A Solvable Contradiction?!	BPM	2015	DBLP DOI BibTeX RDF
19	Nils Przigoda, Robert Wille, Rolf Drechsler	Contradiction Analysis for Inconsistent Formal Models.	DDECS	2015	DBLP DOI BibTeX RDF
19	Luyang Li, Bing Qin 0001, Ting Liu 0001	Generating Triples Based on Dependency Parsing for Contradiction Detection.	SMP	2015	DBLP DOI BibTeX RDF
19	Paolo Atzeni	Models for NoSQL Databases: A Contradiction?	ER Workshops	2015	DBLP DOI BibTeX RDF
19	Tobias Holstein, Joachim Wietzke	Contradiction of Separation through Virtualization and Intercommunication.	MuC (Workshopband)	2015	DBLP BibTeX RDF
19	Olga L. Bandman	Contradiction Between Parallelization Efficiency and Stochasticity in Cellular Automata Models of Reaction-Diffusion Phenomena.	PaCT	2015	DBLP DOI BibTeX RDF
19	Jung Suk Hyun, Chan Jung Park	Effects of the Butterfly diagram education in primary and secondary schools on contradiction problem solving ability.	FIE	2015	DBLP DOI BibTeX RDF
19	Tobias Holstein, Joachim Wietzke	Contradiction of Separation through Virtualization and Inter Virtual Machine Communication in Automotive Scenarios.	ECSA Workshops	2015	DBLP DOI BibTeX RDF
19	Jing Wang, Shan Wei, Qian Xu	Research on Contradiction Problem-Oriented Description Logic ALCD-ES.	J. Softw.	2014	DBLP DOI BibTeX RDF
19	Enric Trillas, Itziar García-Honrado, Settimo Termini	Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.	Int. J. Gen. Syst.	2014	DBLP DOI BibTeX RDF
19	Gang Kou, Daji Ergu, Jennifer Shang	Enhancing data consistency in decision matrix: Adapting Hadamard model to mitigate judgment contradiction.	Eur. J. Oper. Res.	2014	DBLP DOI BibTeX RDF
19	Francesco Berto	Absolute Contradiction, dialetheism, and Revenge.	Rev. Symb. Log.	2014	DBLP DOI BibTeX RDF
19	Chung-Kai Tseng, Chih-Heng Chung, Bi-Ru Dai	Classifying the TRIZ Contradiction Problem of the Patents Based on Engineering Parameters.	TAAI	2014	DBLP DOI BibTeX RDF
19	Eduardo Benítez Sandoval, Omar Mubin, Mohammad Obaid	Human Robot Interaction and Fiction: A Contradiction.	ICSR	2014	DBLP DOI BibTeX RDF
19	Jianjun Huang 0001, Xiangyu Zhang 0001, Lin Tan 0001, Peng Wang, Bin Liang 0002	AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction.	ICSE	2014	DBLP DOI BibTeX RDF
19	Maofu Liu, Yue Wang, Donghong Ji	Chinese Textual Contradiction Recognition Using Linguistic Phenomena.	CSWS	2014	DBLP DOI BibTeX RDF
19	António Gonçalves, Marielba Zacarias, Pedro Sousa	How to Use Activity Theory Contradiction Concept to Support Organization Control.	WorldCIST (2)	2014	DBLP DOI BibTeX RDF
19	Stephan Herrmann 0001	Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy?	Aliasing in Object-Oriented Programming	2013	DBLP DOI BibTeX RDF
19	Minh Quang Nhat Pham, Minh Le Nguyen 0001, Akira Shimazu	Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text.	IJCNLP	2013	DBLP BibTeX RDF
19	Amal Oudni, Marie-Jeanne Lesot, Maria Rifqi	Processing contradiction in gradual itemset extraction.	FUZZ-IEEE	2013	DBLP DOI BibTeX RDF
19	Ulrich Wechselberger	Learning and Enjoyment in Serious Gaming - Contradiction or Complement?	DiGRA Conference	2013	DBLP BibTeX RDF
19	Jasmin Christian Blanchette	Redirecting Proofs by Contradiction.	PxTP@CADE	2013	DBLP DOI BibTeX RDF
19	Ryotaro Kamimura	Contradiction Resolution with Dependent Input Neuron Selection for Self-Organizing Maps.	SMC	2013	DBLP DOI BibTeX RDF
19	Ryotaro Kamimura	Dependent input neuron selection in contradiction resolution.	IWCIA	2013	DBLP DOI BibTeX RDF
19	Julien Kloetzer, Stijn De Saeger, Kentaro Torisawa, Chikara Hashimoto, Jong-Hoon Oh, Motoki Sano, Kiyonori Ohtake	Two-Stage Method for Large-Scale Acquisition of Contradiction Pattern Pairs using Entailment.	EMNLP	2013	DBLP BibTeX RDF
19	Ryotaro Kamimura	Contradiction resolution with explicit and limited evaluation and its application to SOM.	IJCNN	2013	DBLP DOI BibTeX RDF
19	Daniel Andrade, Masaaki Tsuchida, Takashi Onishi, Kai Ishikawa	Detecting Contradiction in Text by Using Lexical Mismatch and Structural Similarity.	NTCIR	2013	DBLP BibTeX RDF
19	Mihaela Dînsoreanu, Rodica Potolea	A scalable approach for Contradiction Detection driven by Opinion mining.	iiWAS	2013	DBLP DOI BibTeX RDF
19	Cheng-Wei Shih, Chengwei Lee, Richard Tzong-Han Tsai, Wen-Lian Hsu	Validating Contradiction in Texts Using Online Co-Mention Pattern Checking.	ACM Trans. Asian Lang. Inf. Process.	2012	DBLP DOI BibTeX RDF
19	Elena Castiñeira, Carmen Torres-Blanc, Susana Cubillo	Obtaining Contradiction Measures on Intuitionistic Fuzzy Sets from Fuzzy Connectives.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2012	DBLP DOI BibTeX RDF
19	François Rousselot, Cecilia Zanni-Merk, Denis Cavallucci	Towards a formal definition of contradiction in inventive design.	Comput. Ind.	2012	DBLP DOI BibTeX RDF
19	Patrick Isoardi	Contradiction ou indécedabilité: il faut choisir?	Bull. dInformatique Approfondie et Appl.	2012	DBLP BibTeX RDF
19	D. Daniel Sheu, Chia-Hung Chen, Pang-Yen Yu	Invention principles and contradiction matrix for semiconductor manufacturing industry: chemical mechanical polishing.	J. Intell. Manuf.	2012	DBLP DOI BibTeX RDF
19	Olivier Bailleux	Unit contradiction versus unit propagation	CoRR	2012	DBLP BibTeX RDF
19	Didier Dubois	Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic.	Soft Comput.	2012	DBLP DOI BibTeX RDF
19	Georg Birkenheuer, André Brinkmann, Jürgen Kaiser, Axel Keller, Matthias Keller, Christoph Kleineweber, Christoph Konersmann, Oliver Niehörster, Thorsten Schäfer, Jens Simon, Maximilian Wilhelm	Virtualized HPC: a contradiction in terms?.	Softw. Pract. Exp.	2012	DBLP DOI BibTeX RDF
19	R. Vasanth Kumar Mehta, B. Sankarasubramaniam, S. Rajalakshmi	An algorithm for fuzzy-based sentence-level document clustering for micro-level contradiction analysis.	ICACCI	2012	DBLP DOI BibTeX RDF
19	Ryotaro Kamimura	Contradiction Resolution for Foreign Exchange Rates Estimation.	IJCCI	2012	DBLP BibTeX RDF
19	Ryotaro Kamimura	Contradiction resolution and its application to self-organizing maps.	SMC	2012	DBLP DOI BibTeX RDF
19	Ken Long, Yue Fu, Yi Wang	The contradiction between channel estimation and PAPR performance in cyclic shift PTS.	BMEI	2012	DBLP DOI BibTeX RDF
19	Chikara Hashimoto, Kentaro Torisawa, Stijn De Saeger, Jong-Hoon Oh, Jun'ichi Kazama	Excitatory or Inhibitory: A New Semantic Orientation Extracts Contradiction and Causality from the Web.	EMNLP-CoNLL	2012	DBLP BibTeX RDF
19	Vinicius Oliverio, Estevam R. Hruschka Jr.	Contradiction Detection and Ontology Extension in a Never-Ending Learning System.	IBERAMIA	2012	DBLP DOI BibTeX RDF
19	Florentin Smarandache, Deqiang Han, Arnaud Martin	Comparative study of contradiction measures in the theory of belief functions.	FUSION	2012	DBLP BibTeX RDF
19	João Inácio da Silva Filho, Germano Lambert-Torres, Luís Fernando Pompeo Ferrara, Maurício Conceição Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco	Paraconsistent Algorithm Extractor of Contradiction Effects - ParaExtrctr.	J. Softw. Eng. Appl.	2011	DBLP DOI BibTeX RDF
19	Rémy Houssin, Amadou Coulibaly	An approach to solve contradiction problems for the safety integration in innovative design process.	Comput. Ind.	2011	DBLP DOI BibTeX RDF
19	Florentin Smarandache, Arnaud Martin, Christophe Osswald	Contradiction measures and specificity degrees of basic belief assignments	CoRR	2011	DBLP BibTeX RDF
19	Elena Castiñeira, Carmen Torres-Blanc, Susana Cubillo	Some geometrical methods for constructing contradiction measures on Atanassov's intuitionistic fuzzy sets.	Int. J. Gen. Syst.	2011	DBLP DOI BibTeX RDF
19	Marc Thuillard, Vincent Moulton	Identifying and Reconstructing Lateral Transfers from Distance Matrices by Combining the Minimum Contradiction Method and Neighbor-Net.	J. Bioinform. Comput. Biol.	2011	DBLP DOI BibTeX RDF
19	Elena Castiñeira, Carmen Torres-Blanc, Susana Cubillo	Measuring contradiction on A-IFS defined in finite universes.	Knowl. Based Syst.	2011	DBLP DOI BibTeX RDF
19	Sajjad Hussain, Jos De Roo, Ali Daniyal, Syed Sibte Raza Abidi	Detecting and Resolving Inconsistencies in Ontologies Using Contradiction Derivations.	COMPSAC	2011	DBLP DOI BibTeX RDF
19	Céline Conrardy, Roland De Guio	Automatic Extraction of a Contradiction Genealogic Tree from Optimization with an Object-Oriented Simulator.	IFIP CAI	2011	DBLP DOI BibTeX RDF
19	Marianna Obrist, Wolfgang Reitberger, Daniela Wurhofer, Florian Förster, Manfred Tscheligi	User Experience Research in the Semiconductor Factory: A Contradiction?	INTERACT (4)	2011	DBLP DOI BibTeX RDF
19	Florentin Smarandache, Arnaud Martin, Christophe Osswald	Contradiction measures and specificity degrees of basic belief assignments.	FUSION	2011	DBLP BibTeX RDF
19	Itziar García-Honrado, Enric Trillas	Characterizing the 'Principles' of Non Contradiction and Excluded Middle in [0, 1].	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2010	DBLP DOI BibTeX RDF
19	Selim Erol, Michael Granitzer, Simone Happ, Sami Jantunen, Ben Jennings, Paul Johannesson, Agnes Koschmider, Selmin Nurcan, Davide Rossi, Rainer Schmidt 0001	Combining BPM and social software: contradiction or chance?	J. Softw. Maintenance Res. Pract.	2010	DBLP DOI BibTeX RDF
19	Bernd Bohnet	Top Accuracy and Fast Dependency Parsing is not a Contradiction.	COLING	2010	DBLP BibTeX RDF
19	Bernardo Magnini, Elena Cabrio	Contradiction-focused qualitative evaluation of textual entailment.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
19	Elena Castiñeira, Susana Cubillo	Measures of self-contradiction on Atanassov's intuitionistic fuzzy sets: An axiomatic model.	Int. J. Intell. Syst.	2009	DBLP DOI BibTeX RDF
19	Jan Riezebos, Warse Klingenberg, Christian Hicks	Lean Production and information technology: Connection or contradiction?	Comput. Ind.	2009	DBLP DOI BibTeX RDF
19	Runhua Tan, Jianhong Ma, Fang Liu, Zihui Wei	UXDs-driven conceptual design process model for contradiction solving using CAIs.	Comput. Ind.	2009	DBLP DOI BibTeX RDF
19	Patrizio Frosini	Does intelligence imply contradiction?	Cogn. Syst. Res.	2009	DBLP DOI BibTeX RDF
19	Jianhong Ma, Quan Zhang, Yanling Wang, Tao Luo	Construction of the Dependence Matrix Based on the TRIZ Contradiction Matrix in OOD.	IFIP CAI	2009	DBLP DOI BibTeX RDF
19	Zihui Wei, Qinghai Li, Donglin Wang, Yumei Tian	The Application of LT-Table in TRIZ Contradiction Resolving Process.	IFIP CAI	2009	DBLP DOI BibTeX RDF
19	Mustafa Cemal Çakir, O. O. Cilsal	Implementation of a contradiction-based approach to DFM.	Int. J. Comput. Integr. Manuf.	2008	DBLP DOI BibTeX RDF
19	Miroslav Krstic	Optimal Adaptive Control - Contradiction in Terms or a Matter of Choosing the Right Cost Functional?	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
19	Patrizio Frosini	Does intelligence imply contradiction?	CoRR	2008	DBLP BibTeX RDF
19	Hein van Duivenboden, Marcel Thaens	ICT-driven innovation and the culture of public administration: A contradiction in terms?	Inf. Polity	2008	DBLP DOI BibTeX RDF
19	Didier Dubois	On Ignorance and Contradiction Considered as Truth-Values.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF
19	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking.	MBMV	2008	DBLP BibTeX RDF
19	Sebastian Padó, Marie-Catherine de Marneffe, Bill MacCartney, Anna N. Rafferty, Eric Yeh, Christopher D. Manning	Deciding Entailment and Contradiction with Stochastic and Edit Distance-based Alignment.	TAC	2008	DBLP BibTeX RDF
19	Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler	Contradiction Analysis for Constraint-based Random Simulation.	FDL	2008	DBLP DOI BibTeX RDF
19	Suguru Matsuyoshi, Koji Murakami, Yuji Matsumoto 0001, Kentaro Inui	A Database of Relations between Predicate Argument Structures for Recognizing Textual Entailment and Contradiction.	ISUC	2008	DBLP DOI BibTeX RDF	predicate argument structure, recognizing textual entailment, database, logical relation
19	Alan Ritter, Stephen Soderland, Doug Downey, Oren Etzioni	It's a Contradiction - no, it's not: A Case Study using Functional Relations.	EMNLP	2008	DBLP BibTeX RDF
19	Malcolm G. Booth	Informed Consent in Emergency Research: A Contradiction in Terms.	Sci. Eng. Ethics	2007	DBLP DOI BibTeX RDF
19	Anja-Karina Pahl, Linda B. Newnes	Co-evolution and Contradiction: A Diamond Model of Designer-User Interaction.	Informing Sci. Int. J. an Emerg. Transdiscipl.	2007	DBLP DOI BibTeX RDF
19	Runhua Tan	UXDs-Driven Contradiction Solving For Conceptual Design Using CAIs.	IFIP CAI	2007	DBLP DOI BibTeX RDF
19	Patrick Isoardi	Contradiction ou indécidabilité: il faut choisir! À propos du théorème d'incomplétude de Gödel.	Bull. dInformatique Approfondie et Appl.	2006	DBLP BibTeX RDF
19	Jean-Michel Knippel	Chabot, Derbez et Isoardi: points de vue sur la contradiction et la rationalité.	Bull. dInformatique Approfondie et Appl.	2006	DBLP BibTeX RDF
19	Ulrich Leiner, Sonja Krzonkalla	Mobile Endgeräte: Einfache Alleskönner - ein Widerspruch? (Mobile Devices and Simplicity - a Contradiction?).	i-com	2006	DBLP DOI BibTeX RDF
19	Sanda M. Harabagiu, Andrew Hickl, V. Finley Lacatusu	Negation, Contrast and Contradiction in Text Processing.	AAAI	2006	DBLP BibTeX RDF
19	Dieter Hein, Manfred Reitenspieß	Confidentiality and Real Errors: A Contradiction?	EDCC	2006	DBLP DOI BibTeX RDF
19	Maksim Orlovich, Radu Rugina	Memory Leak Analysis by Contradiction.	SAS	2006	DBLP DOI BibTeX RDF
19	Lina Markauskaite, Louise M. Sutherland, Peter Reimann 0001	Interaction and Cognitive Engagement in the Community of Practice: The Contradiction of Terms?.	ICALT	2006	DBLP DOI BibTeX RDF
19	Tore Hoel	Service Oriented Architectures without Openness - A Contradiction of Terms. Reflection on the Norwegian Situation..	ICALT	2006	DBLP DOI BibTeX RDF
19	Peter Wintermayr, Reiner W. Hartenstein, Heinrich Meyr, Steve Leibson	Flexibility and low power: a contradiction in terms?	ISLPED	2006	DBLP DOI BibTeX RDF
19	Heiko Müller 0001, Ulf Leser, Johann Christoph Freytag	Classification of Contradiction Patterns.	GfKl	2006	DBLP DOI BibTeX RDF
19	Susana Cubillo, Elena Castiñeira	Measuring contradiction in fuzzy logic.	Int. J. Gen. Syst.	2005	DBLP DOI BibTeX RDF
19	Johann Cas	Privacy in pervasive computing environments - a contradiction in terms?	IEEE Technol. Soc. Mag.	2005	DBLP DOI BibTeX RDF
19	John Woods	Dialectical Considerations on the Logic of Contradiction: Part I.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
19	Belal Zaqaibeh, Hamidah Ibrahim, Ali Mamat, Md Nasir Sulaiman	Enforcing Integrity for Redundant and Contradiction Constraints in OODBs.	CITA	2005	DBLP BibTeX RDF
19	Ana Pradera, Enric Trillas	Aggregation and Non-Contradiction.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
19	Elena Castiñeira, Susana Cubillo, Carmen Torres-Blanc, V. Zarzosa	Self-Contradiction Degrees in Intuitionistic Fuzzy Logic.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
19	Germana M. da Nóbrega, Stefano A. Cerri, Jean Sallantin	A Contradiction-driven approach to theory formation: Conceptual issues, pragmatics in human laerning, potentialities.	J. Braz. Comput. Soc.	2004	DBLP DOI BibTeX RDF
19	Elizabeth Sklar, Simon Parsons, Mathew Davies	When Is It Okay to Lie? A Simple Model of Contradiction in Agent-Based Dialogues.	ArgMAS	2004	DBLP DOI BibTeX RDF
19	Frank Nack	Aesthetics of Contradiction.	IEEE Multim.	2003	DBLP DOI BibTeX RDF
19	László Z. Karvalics	From Individuals to the Global Community: the Hidden Contradiction of the Cultural History of Classification and the latest browsing technologies.	WWW (Alternate Paper Tracks)	2003	DBLP BibTeX RDF
19	Sébastien Konieczny, Jérôme Lang, Pierre Marquis	Quantifying information and contradiction in propositional logic through test actions.	IJCAI	2003	DBLP BibTeX RDF
19	Allen Leung, Francis Lopez-Real	Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction.	Int. J. Comput. Math. Learn.	2002	DBLP DOI BibTeX RDF
19	Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita	Contradiction sensitive fuzzy model-based adaptive control.	Int. J. Approx. Reason.	2002	DBLP DOI BibTeX RDF