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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Accuracy and Fuzziness ![In: Accuracy and Fuzziness. A Life in Science and Politics - A Festschrift book to Enric Trillas Ruiz, pp. 159-177, 2015, Springer, 978-3-319-18605-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Sackmann, Kai Kittel |
Flexible Workflows and Compliance: A Solvable Contradiction?! ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: BPM - Driving Innovation in a Digital World, pp. 247-258, 2015, Springer, 978-3-319-14429-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Contradiction Analysis for Inconsistent Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015, pp. 171-176, 2015, IEEE Computer Society, 978-1-4799-6779-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Luyang Li, Bing Qin 0001, Ting Liu 0001 |
Generating Triples Based on Dependency Parsing for Contradiction Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMP ![In: Social Media Processing - 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings, pp. 200-208, 2015, Springer, 978-981-10-0079-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Atzeni |
Models for NoSQL Databases: A Contradiction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19-22, 2015, Proceedings, pp. 133, 2015, Springer, 978-3-319-25746-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Tobias Holstein, Joachim Wietzke |
Contradiction of Separation through Virtualization and Intercommunication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Mensch und Computer 2015 - Workshopband, Stuttgart, Germany, September 6-9, 2015, pp. 483-490, 2015, De Gruyter Oldenbourg. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
19 | Olga L. Bandman |
Contradiction Between Parallelization Efficiency and Stochasticity in Cellular Automata Models of Reaction-Diffusion Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31 - September 4, 2015, Proceedings, pp. 135-148, 2015, Springer, 978-3-319-21908-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: 2015 IEEE Frontiers in Education Conference, FIE 2015, El Paso, TX, USA, October 21-24, 2015, pp. 1-8, 2015, IEEE Computer Society, 978-1-4799-8454-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Tobias Holstein, Joachim Wietzke |
Contradiction of Separation through Virtualization and Inter Virtual Machine Communication in Automotive Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Workshops ![In: Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, pp. 4:1-4:5, 2015, ACM, 978-1-4503-3393-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jing Wang, Shan Wei, Qian Xu |
Research on Contradiction Problem-Oriented Description Logic ALCD-ES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 9(7), pp. 1914-1921, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 43(2), pp. 162-171, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 236(1), pp. 261-271, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Berto |
Absolute Contradiction, dialetheism, and Revenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 7(2), pp. 193-207, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAAI ![In: Technologies and Applications of Artificial Intelligence, 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings, pp. 344-353, 2014, Springer, 978-3-319-13986-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Eduardo Benítez Sandoval, Omar Mubin, Mohammad Obaid |
Human Robot Interaction and Fiction: A Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Social Robotics - 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings, pp. 54-63, 2014, Springer, 978-3-319-11972-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014, pp. 1036-1046, 2014, ACM, 978-1-4503-2756-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Maofu Liu, Yue Wang, Donghong Ji |
Chinese Textual Contradiction Recognition Using Linguistic Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWS ![In: The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers, pp. 111-122, 2014, Springer, 978-3-662-45494-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (2) ![In: New Perspectives in Information Systems and Technologies, Volume 2 [WorldCIST'14, Madeira Island, Portugal, April 15-18, 2014], pp. 417-427, 2014, Springer, 978-3-319-05947-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Stephan Herrmann 0001 |
Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aliasing in Object-Oriented Programming ![In: Aliasing in Object-Oriented Programming. Types, Analysis and Verification, pp. 443-470, 2013, Springer, 978-3-642-36945-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013, pp. 1017-1021, 2013, Asian Federation of Natural Language Processing / ACL, 978-4-9907348-0-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Amal Oudni, Marie-Jeanne Lesot, Maria Rifqi |
Processing contradiction in gradual itemset extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2013, IEEE International Conference on Fuzzy Systems, Hyderabad, India, 7-10 July, 2013, Proceedings., pp. 1-8, 2013, IEEE, 978-1-4799-0020-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Ulrich Wechselberger |
Learning and Enjoyment in Serious Gaming - Contradiction or Complement? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DiGRA Conference ![In: Proceedings of the 2013 DiGRA International Conference: DeFragging Game Studies, DiGRA 2013, Atlanta, GA, USA, August 26-29, 2013, 2013, Digital Games Research Association. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Jasmin Christian Blanchette |
Redirecting Proofs by Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 11-26, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Ryotaro Kamimura |
Contradiction Resolution with Dependent Input Neuron Selection for Self-Organizing Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013, pp. 1353-1360, 2013, IEEE, 978-0-7695-5154-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Ryotaro Kamimura |
Dependent input neuron selection in contradiction resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: IEEE 6th International Workshop on Computational Intelligence and Applications, IWCIA 2013, Hiroshima, Japan, July 13, 2013, pp. 45-50, 2013, IEEE, 978-1-4673-5725-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing, EMNLP 2013, 18-21 October 2013, Grand Hyatt Seattle, Seattle, Washington, USA, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 693-703, 2013, ACL, 978-1-937284-97-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Ryotaro Kamimura |
Contradiction resolution with explicit and limited evaluation and its application to SOM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: The 2013 International Joint Conference on Neural Networks, IJCNN 2013, Dallas, TX, USA, August 4-9, 2013, pp. 1-8, 2013, IEEE, 978-1-4673-6128-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTCIR ![In: Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-10, National Center of Sciences, Tokyo, Japan, June 18-21, 2013, 2013, National Institute of Informatics (NII), 978-4-86049-062-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Mihaela Dînsoreanu, Rodica Potolea |
A scalable approach for Contradiction Detection driven by Opinion mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: The 15th International Conference on Information Integration and Web-based Applications & Services, IIWAS '13, Vienna, Austria, December 2-4, 2013, pp. 7, 2013, ACM, 978-1-4503-2113-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 11(4), pp. 17:1-17:21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Elena Castiñeira, Carmen Torres-Blanc, Susana Cubillo |
Obtaining Contradiction Measures on Intuitionistic Fuzzy Sets from Fuzzy Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 20(1), pp. 41-58, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | François Rousselot, Cecilia Zanni-Merk, Denis Cavallucci |
Towards a formal definition of contradiction in inventive design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 63(3), pp. 231-242, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Patrick Isoardi |
Contradiction ou indécedabilité: il faut choisir? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. dInformatique Approfondie et Appl. ![In: Bull. dInformatique Approfondie et Appl. 92, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 23(5), pp. 1637-1648, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Olivier Bailleux |
Unit contradiction versus unit propagation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.0731, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Didier Dubois |
Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 16(11), pp. 1817-1831, 2012. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 42(4), pp. 485-500, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2012 International Conference on Advances in Computing, Communications and Informatics, ICACCI '12, Chennai, India, August 3-5, 2012, pp. 102-105, 2012, ACM, 978-1-4503-1196-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ryotaro Kamimura |
Contradiction Resolution for Foreign Exchange Rates Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI ![In: IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence, Barcelona, Spain, 5 - 7 October, 2012, pp. 529-535, 2012, SciTePress, 978-989-8565-33-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Ryotaro Kamimura |
Contradiction resolution and its application to self-organizing maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012, pp. 1966-1971, 2012, IEEE, 978-1-4673-1713-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ken Long, Yue Fu, Yi Wang |
The contradiction between channel estimation and PAPR performance in cyclic shift PTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI ![In: 5th International Conference on BioMedical Engineering and Informatics, BMEI 2012, Chongqing, China, October 16-18, 2012, pp. 1525-1528, 2012, IEEE, 978-1-4673-1183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP-CoNLL ![In: Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, EMNLP-CoNLL 2012, July 12-14, 2012, Jeju Island, Korea, pp. 619-630, 2012, ACL, 978-1-937284-43-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Vinicius Oliverio, Estevam R. Hruschka Jr. |
Contradiction Detection and Ontology Extension in a Never-Ending Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2012 - 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings, pp. 1-10, 2012, Springer, 978-3-642-34653-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Florentin Smarandache, Deqiang Han, Arnaud Martin |
Comparative study of contradiction measures in the theory of belief functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 15th International Conference on Information Fusion, FUSION 2012, Singapore, July 9-12, 2012, pp. 271-277, 2012, IEEE, 978-0-9824438-5-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Eng. Appl. ![In: J. Softw. Eng. Appl. 4(10), pp. 579-584, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 62(4), pp. 398-406, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Florentin Smarandache, Arnaud Martin, Christophe Osswald |
Contradiction measures and specificity degrees of basic belief assignments ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.3700, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 40(6), pp. 577-598, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Bioinform. Comput. Biol. ![In: J. Bioinform. Comput. Biol. 9(4), pp. 453-470, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Elena Castiñeira, Carmen Torres-Blanc, Susana Cubillo |
Measuring contradiction on A-IFS defined in finite universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 24(8), pp. 1297-1309, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011, pp. 556-561, 2011, IEEE Computer Society, 978-0-7695-4439-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Building Innovation Pipelines through Computer-Aided Innovation - 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings, pp. 71-94, 2011, Springer, 978-3-642-22181-1. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (4) ![In: Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV, pp. 144-151, 2011, Springer, 978-3-642-23767-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Florentin Smarandache, Arnaud Martin, Christophe Osswald |
Contradiction measures and specificity degrees of basic belief assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: Proceedings of the 14th International Conference on Information Fusion, FUSION 2011, Chicago, Illinois, USA, July 5-8, 2011, pp. 1-8, 2011, IEEE, 978-1-4577-0267-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Itziar García-Honrado, Enric Trillas |
Characterizing the 'Principles' of Non Contradiction and Excluded Middle in [0, 1]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 18(2), pp. 113-122, 2010. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Maintenance Res. Pract. ![In: J. Softw. Maintenance Res. Pract. 22(6-7), pp. 449-476, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Bernd Bohnet |
Top Accuracy and Fast Dependency Parsing is not a Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2010, 23rd International Conference on Computational Linguistics, Proceedings of the Conference, 23-27 August 2010, Beijing, China, pp. 89-97, 2010, Tsinghua University Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Bernardo Magnini, Elena Cabrio |
Contradiction-focused qualitative evaluation of textual entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSp-NLP@ACL ![In: Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, NeSp-NLP@ACL 2010, Uppsala, Sweden, July 10, 2010, pp. 86-94, 2010, University of Antwerp, 9789057282669. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Elena Castiñeira, Susana Cubillo |
Measures of self-contradiction on Atanassov's intuitionistic fuzzy sets: An axiomatic model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 24(8), pp. 863-888, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jan Riezebos, Warse Klingenberg, Christian Hicks |
Lean Production and information technology: Connection or contradiction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 60(4), pp. 237-247, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 60(8), pp. 584-591, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Patrizio Frosini |
Does intelligence imply contradiction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 10(4), pp. 297-315, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Growth and Development of Computer-Aided Innovation - Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings, pp. 219-230, 2009, Springer, 978-3-642-03345-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Zihui Wei, Qinghai Li, Donglin Wang, Yumei Tian |
The Application of LT-Table in TRIZ Contradiction Resolving Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Growth and Development of Computer-Aided Innovation - Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings, pp. 266-275, 2009, Springer, 978-3-642-03345-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Mustafa Cemal Çakir, O. O. Cilsal |
Implementation of a contradiction-based approach to DFM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 21(7), pp. 839-847, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Miroslav Krstic |
Optimal Adaptive Control - Contradiction in Terms or a Matter of Choosing the Right Cost Functional? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 53(8), pp. 1942-1947, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Patrizio Frosini |
Does intelligence imply contradiction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0232, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Hein van Duivenboden, Marcel Thaens |
ICT-driven innovation and the culture of public administration: A contradiction in terms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Polity ![In: Inf. Polity 13(3-4), pp. 213-232, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Didier Dubois |
On Ignorance and Contradiction Considered as Truth-Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 16(2), pp. 195-216, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008, pp. 169-178, 2008, Shaker. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAC ![In: Proceedings of the First Text Analysis Conference, TAC 2008, Gaithersburg, Maryland, USA, November 17-19, 2008, 2008, NIST. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler |
Contradiction Analysis for Constraint-based Random Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 130-135, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISUC ![In: ISUC 2008, Second International Symposium on Universal Communication, Osaka, Japan, 15-16 December 2008, pp. 366-373, 2008, IEEE Computer Society, 978-0-7695-3433-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: 2008 Conference on Empirical Methods in Natural Language Processing, EMNLP 2008, Proceedings of the Conference, 25-27 October 2008, Honolulu, Hawaii, USA, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 11-20, 2008, ACL. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Malcolm G. Booth |
Informed Consent in Emergency Research: A Contradiction in Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Eng. Ethics ![In: Sci. Eng. Ethics 13(3), pp. 351-359, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Anja-Karina Pahl, Linda B. Newnes |
Co-evolution and Contradiction: A Diamond Model of Designer-User Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informing Sci. Int. J. an Emerg. Transdiscipl. ![In: Informing Sci. Int. J. an Emerg. Transdiscipl. 10, pp. D127-202, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Runhua Tan |
UXDs-Driven Contradiction Solving For Conceptual Design Using CAIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP CAI ![In: Trends in Computer Aided Innovation - Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA, pp. 1-11, 2007, Springer, 978-0-387-75455-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. dInformatique Approfondie et Appl. ![In: Bull. dInformatique Approfondie et Appl. 73, pp. 3-12, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Jean-Michel Knippel |
Chabot, Derbez et Isoardi: points de vue sur la contradiction et la rationalité. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. dInformatique Approfondie et Appl. ![In: Bull. dInformatique Approfondie et Appl. 74, pp. 3-4, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Ulrich Leiner, Sonja Krzonkalla |
Mobile Endgeräte: Einfache Alleskönner - ein Widerspruch? (Mobile Devices and Simplicity - a Contradiction?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
i-com ![In: i-com 5(1), pp. 41-47, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sanda M. Harabagiu, Andrew Hickl, V. Finley Lacatusu |
Negation, Contrast and Contradiction in Text Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 755-762, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Dieter Hein, Manfred Reitenspieß |
Confidentiality and Real Errors: A Contradiction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006, pp. 73-76, 2006, IEEE Computer Society, 0-7695-2648-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Maksim Orlovich, Radu Rugina |
Memory Leak Analysis by Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 405-424, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 623-625, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Tore Hoel |
Service Oriented Architectures without Openness - A Contradiction of Terms. Reflection on the Norwegian Situation.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 883-885, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Peter Wintermayr, Reiner W. Hartenstein, Heinrich Meyr, Steve Leibson |
Flexibility and low power: a contradiction in terms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2006 International Symposium on Low Power Electronics and Design, 2006, Tegernsee, Bavaria, Germany, October 4-6, 2006, pp. 375, 2006, ACM, 1-59593-462-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Heiko Müller 0001, Ulf Leser, Johann Christoph Freytag |
Classification of Contradiction Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Advances in Data Analysis, Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006, pp. 171-178, 2006, Springer, 978-3-540-70980-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Susana Cubillo, Elena Castiñeira |
Measuring contradiction in fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 34(1), pp. 39-59, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Johann Cas |
Privacy in pervasive computing environments - a contradiction in terms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Technol. Soc. Mag. ![In: IEEE Technol. Soc. Mag. 24(1), pp. 24-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | John Woods |
Dialectical Considerations on the Logic of Contradiction: Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 13(2), pp. 231-260, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Belal Zaqaibeh, Hamidah Ibrahim, Ali Mamat, Md Nasir Sulaiman |
Enforcing Integrity for Redundant and Contradiction Constraints in OODBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CITA ![In: 4th International Conference on IT in Asia, CITA 2005, Kuching, Sarawak, Malaysia, 2005, pp. 256-261, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Ana Pradera, Enric Trillas |
Aggregation and Non-Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005, pp. 165-170, 2005, Universidad Polytecnica de Catalunya, 84-7653-872-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Elena Castiñeira, Susana Cubillo, Carmen Torres-Blanc, V. Zarzosa |
Self-Contradiction Degrees in Intuitionistic Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005, pp. 455-460, 2005, Universidad Polytecnica de Catalunya, 84-7653-872-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Braz. Comput. Soc. ![In: J. Braz. Comput. Soc. 9(2), pp. 37-56, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, pp. 251-261, 2004, Springer, 3-540-24526-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Frank Nack |
Aesthetics of Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 10(1), pp. 11-13, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Paper Tracks) ![In: Proceedings of the Twelfth International World Wide Web Conference - Alternate Paper Tracks, WWW 2003, Budapest, Hungary, May 20-24, 2003, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
Quantifying information and contradiction in propositional logic through test actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 106-111, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Allen Leung, Francis Lopez-Real |
Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. Learn. ![In: Int. J. Comput. Math. Learn. 7(2), pp. 145-165, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Pablo Carmona, Juan Luis Castro, Jose Manuel Zurita |
Contradiction sensitive fuzzy model-based adaptive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 30(2), pp. 107-129, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|