|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 411 occurrences of 233 keywords
|
|
|
Results
Found 5394 publication records. Showing 5394 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
196 | Xiaowei Zhang, Yongming Li 0001 |
Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(6), pp. 611-616, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy recognizer, Intuitionistic fuzzy finite automaton, Deterministic intuitionistic fuzzy finite automaton, Intuitionistic fuzzy language |
145 | Wei-Zhi Wu 0001, Lei Zhou |
Intuitionistic Fuzzy Approximations and Intuitionistic Fuzzy Sigma-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 355-362, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intuitionistic fuzzy rough sets, ??algebras, rough sets, Approximation spaces, intuitionistic fuzzy sets, measurable spaces |
98 | Guiwu Wei 0001 |
Induced Intuitionistic Fuzzy Ordered Weighted Averaging Operator and Its Application to Multiple Attribute Group Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 124-131, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy numbers, Induced intuitionistic fuzzy ordered weighted averaging (I-IFOWA) operator, Group decision making |
89 | Zeshui Xu |
A Method for Estimating Criteria Weights from Intuitionistic Preference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 503-512, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Intuitionistic preference relation, consistent intuitionistic preference relation, weak transitivity, priority vector, linear programming model |
84 | Zheng Pei 0001, Li Zhang, Honghua Chen |
Representation of Rough Sets Based on Intuitionistic Fuzzy Special Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 114-121, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
84 | Zeshui Xu, Jian Chen |
On Geometric Aggregation over Interval-Valued Intuitionistic Fuzzy Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (2) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 2, pp. 466-471, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
84 | Haibin Wang, Rajshekhar Sunderraman |
A Data Model Based on Paraconsistent Intuitionistic Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 669-677, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
82 | Véronique Royer, Joachim Quantz |
On Intuitionistic Query Answering in Description Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 326-340, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Intuitionistic Sequent Calculus, Least Fixed Point Semantics, Description Logics, Query Answering |
79 | Lei Zhou, Wen-Xiu Zhang, Wei-Zhi Wu 0001 |
Roughness Measures of Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 308-315, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy rough sets, roughness measures, rough sets, intuitionistic fuzzy sets |
73 | Thomas Raths, Jens Otten, Christoph Kreitz |
The ILTP Problem Library for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 38(1-3), pp. 261-271, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ILTP, problem library, ATP, benchmarking, intuitionistic logic |
70 | Wieslaw A. Dudek, Jianming Zhan 0001, Bijan Davvaz |
Intuitionistic ( S , T )-fuzzy hyperquasigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(12), pp. 1229-1238, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hyperquasigroup, (Imaginable) intuitionistic (S, T)-fuzzy sub-hyperquasigroup, Quasigroup, Intuitionistic (S, T)-fuzzy relation |
70 | Lin Lin, Xue-Hai Yuan |
A Method of Intuitionistic Fuzzy Reasoning Based on Inclusion Degree and Similarity Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 315-322, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy reasoning, Inclusion degree, Similarity measure, Intuitionistic fuzzy sets |
70 | Tao Li, Xiao Ciyuan |
Research of Group Decision Consensus Degree Based on Extended Intuitionistic Fuzzy Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 768-772, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
extended intuitionistic fuzzy sets, intuitionistic fuzzy distance, consensus degree, average consensus degree, relative consensus degree |
66 | Zeshui Xu |
Intuitionistic Fuzzy Aggregation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(6), pp. 1179-1187, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
Categorical Models for Intuitionistic and Linear Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 223-237, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
66 | Andrei Voronkov |
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 32-46, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
63 | Muhammad Akram 0001, Wieslaw A. Dudek |
Intuitionistic fuzzy left k -ideals of semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(9), pp. 881-890, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy left k-ideal, Normal fuzzy set, Fuzzy characteristic, Descending chain, Semiring |
56 | Changrui Yu, Yan Luo |
A Fuzzy Optimization Method for Multi-criteria Decision-Making Problem Based on the Inclusion Degrees of Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 332-339, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Ping He |
Crime Knowledge Management Based on Intuitionistic Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 4, pp. 555-559, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Dimitrios K. Iakovidis, Nikos Pelekis, Evangelos E. Kotsifakos, Ioannis Kopanakis |
Intuitionistic Fuzzy Clustering with Applications in Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 764-774, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Theresa Beaubouef, Frederick E. Petry |
Intuitionistic Rough Sets for Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 26-30, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Zeshui Xu |
On Correlation Measures of Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 16-24, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Martine De Cock, Chris Cornelis, Etienne E. Kerre |
Intuitionistic Fuzzy Relational Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Modelling and Prediction ![In: Computational Intelligence for Modelling and Prediction, pp. 129-145, 2005, Springer, 978-3-540-26071-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Krassimir T. Atanassov, Sotir Sotirov, Nora A. Angelova |
Intuitionistic Fuzzy Neural Networks with Interval Valued Intuitionistic Fuzzy Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 99-106, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
55 | Peter Vassilev, Krassimir T. Atanassov |
Generalised Atanassov Intuitionistic Fuzzy Sets Are Actually Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 107-117, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
54 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 209-217, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
54 | Xiao-Ping Yang |
An Interpretation of Rough Sets in Incomplete Information Systems within Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 326-333, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
membership degree, rough sets, Intuitionistic fuzzy sets, incomplete information systems |
54 | Li Zou, Wenjiang Li, Yang Xu 0001 |
Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 266-274, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making |
54 | Torben Braüner |
Axioms for classical, intuitionistic, and paraconsistent hybrid logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 179-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic |
54 | Alwen Tiu |
A Local System for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures |
54 | Olivier Hermant |
Semantic Cut Elimination in the Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 221-233, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo |
53 | Zehua Lv, Chuanbo Chen, Wenhai Li |
Normal Distribution Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 280-289, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
normal distribution function, Fuzzy sets, intuitionistic fuzzy sets |
51 | Jun Zhi, Jianyong Liu, Wei Xu, Limin Zhi |
Fusion Algorithm Based on the Intuitionistic Fuzzy Set and Multiple Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 182-191, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy decision matrix, Additive consistent linear programming, Neural network, Intuitionistic fuzzy set |
51 | Guilong Liu |
Closures of Intuitionistic Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 281-288, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy relation, Clustering analysis, Closure, Intuitionistic fuzzy set |
47 | Linda Postniece |
Deep Inference in Bi-intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 320-334, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Jin Han Park, Il Young Park, Young Chel Kwun, Jong Seo Park |
Multi-person Multi-attribute Decision Making Problems Based on Interval-Valued Intuitionistic Fuzzy Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 340-345, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Michael O'Connor |
Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 437-448, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Jennifer M. Davoren |
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 162-179, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Zaiwu Gong |
On the Problem of Group Decision Making Based on Intuitionistic Fuzzy Judgment Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSMS (1) ![In: Bio-Inspired Computational Intelligence and Applications, International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007, Proceedings, pp. 315-325, 2007, Springer, 978-3-540-74768-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Agata Ciabattoni |
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 435-457, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination |
47 | Peter Dybjer, Anton Setzer |
Indexed Induction-Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof Theory in Computer Science ![In: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, pp. 93-113, 2001, Springer, 3-540-42752-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras |
46 | Gabriela E. Martínez, Patricia Melin |
Intuitionistic Fuzzy Sugeno Integral for Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 781-792, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Boris Bozveliev, Sotir Sotirov, Stanislav Simeonov, Tihomir Videv |
Generalized Net Model of Common Internet Payment Gateway with Intuitionistic Fuzzy Estimations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 91-98, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Evdokia Sotirova, Anthony G. Shannon, Vassia Atanassova, Krassimir T. Atanassov, Veselina Bureva |
Interval Valued Intuitionistic Fuzzy Evaluations for Analysis of Students' Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 75-82, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Hafida Atti, Bouchra Ben Amma, Said Melliani, Lalla Saadia Chadli |
Intuitionistic Fuzzy Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 133-144, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | R. Ettoussi, Said Melliani, Lalla Saadia Chadli |
Nonlocal Intuitionistic Fuzzy Differential Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 145-153, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Bouchra Ben Amma, Said Melliani, Lalla Saadia Chadli |
The Numerical Solution of Intuitionistic Fuzzy Differential Equations by the Third Order Runge-Kutta Nyström Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 119-132, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Tihomir Videv, Sotir Sotirov, Boris Bozveliev |
Generalized Net Model of the Network for Automatic Turning and Setting the Lighting in the Room with Intuitionistic Fuzzy Estimations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 83-90, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
45 | Ronald R. Yager |
Level sets and the representation theorem for intuitionistic fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(1), pp. 1-7, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Intuitionistic, Fuzzy sets, Level sets |
45 | Hong Wang, Jie Wang 0045 |
The Application of Intuitionistic Fuzzy Theory in Radar Target Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009, Proceedings, pp. 166-173, 2009, Springer, 978-3-642-04019-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Radar target identification, Fuzzy sets, Intuitionistic fuzzy sets, Similarity degree |
45 | Robert Burduk |
Probability Error in Global Optimal Hierarchical Classifier with Intuitionistic Fuzzy Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 533-540, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hierarchical classifier, intuitionistic fuzzy set, error probability |
45 | Tamalika Chaira, Tridib Chaira |
Intuitionistic Fuzzy Set: Application to Medical Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence in Medical Informatics ![In: Computational Intelligence in Medical Informatics, pp. 51-68, 2008, Springer, 978-3-540-75766-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hesitation degree, edge detection, thresholding, Intuitionistic fuzzy set |
45 | Hoda Davarzani |
A New Approach for Bacillus Colonies Recognition: Application of Intuitionistic Fuzzy Sets Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 811-815, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bacillus Recognition, Distance Measure, Medical Diagnosis, Intuitionistic Fuzzy Sets |
45 | John Nolt |
Reference and perspective in intuitionistic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 91-115, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics |
45 | Javier Montero, Daniel Gómez 0001, Humberto Bustince Sola |
Atanassov's Intuitionistic Fuzzy Sets as a Classification Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 69-75, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Atanassov’s Intuitionistic Fuzzy Sets, L-Fuzzy sets, Type-2 Fuzzy Sets, Interval Valued Fuzzy Sets |
45 | Jin Han Park, Jong Seo Park, Young Chel Kwun, Ki Moon Lim |
New Similarity Measures on Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 22-30, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pattern recognitio, Similarity measure, Intuitionistic fuzzy set |
45 | Jon E. Ervin, Sema E. Alptekin |
Combs Method Used in an Intuitionistic Fuzzy Logic Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 306-312, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Intuitionistic Fuzzy Logic, Combs Method, Particle Swarm Optimization |
45 | Yasuo Narukawa, Vicenç Torra |
Non-monotonic Fuzzy Measures and Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006, Proceedings, pp. 150-160, 2006, Springer, 3-540-32780-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Non-monotonic fuzzy measure, Hamming distance, Intuitionistic fuzzy sets, Choquet integral, Fuzzy measure |
45 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
On the complexity of the disjunction property in intuitionistic and modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 519-538, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
feasible interpolation, proof-length, modal logic, Intuitionistic logic |
45 | Yaroslav Shramko |
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 347-367, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
falsification, dual intuitionistic logic, kite of negations, Verification |
45 | Jacek Manko |
Effectiveness and Relevancy Measures Under Modal Cardinality for Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWIC ![In: Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings, pp. 286-292, 2005, Springer, 3-540-26219-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fuzzy set and its cardinality, modal logic operators necessity and possibility, effectiveness and relevancy indices, intuitionistic fuzzy set |
45 | Vassia Atanassova |
Strategies for Decision Making in the Conditions of Intuitionistic Fuzziness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 263-269, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzziness, Decision making |
45 | Anthony G. Shannon, Daniela Langova-Orozova, Evdokia Sotirova, Krassimir T. Atanassov, Pedro Melo-Pinto, Taekyun Kim 0001 |
Generalized Net Model for Adaptive Electronic Assessment, Using Intuitionistic Fuzzy Estimations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 291-297, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Generalized nets, Knowledge estimations, e-Learning, Intuitionistic Fuzzy Sets |
45 | Ljudmila P. Todorova |
On Separability of Intuitionistic Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 285-292, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
classification, decision making, separability, intuitionistic fuzzy sets |
45 | Matthias Baaz, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 136-143, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
45 | Oliver Bittel |
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 262-278, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving |
44 | Morteza Moniri |
Preservation theorems for bounded formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(1), pp. 9-14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model |
42 | Hsiang-Chuan Liu |
Type 2 Generalized Intuitionistic Fuzzy Choquet Integral Operator for Multi-criteria Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, Taiwan, 6-9 September 2010, pp. 605-611, 2010, IEEE Computer Society, 978-1-4244-8095-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy numbers, generalized intuitionistic fuzzy numbers, linear aggregation operator, operation-invariant, partial order |
42 | Jin Han Park, Jong Seo Park, Young Chel Kwun |
Multiple Attribute Group Decision Making Models under Fuzzy Number Intuitionistic Fuzzy Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 329-334, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multiple attribute group decision making, fuzzy number intuitionistic fuzzy decision matrix, fuzzy number intuitionistic fuzzy number, FIFHG operator, FIFWG operator |
42 | Jun-hong Hu, Ying-jie Lei |
Techniques for Approximate Reasoning Based on Intuitionistic Fuzzy S-Rough Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 277-281, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Intuitionistic Fuzzy S-Rough sets, Intuitionistic Fuzzy S-Rough Logic, approximate reasoning |
39 | Vassia Atanassova, Ivelina Vardeva, Evdokia Sotirova, Lyubka Doukovska |
Traversing and Ranking of Elements of an Intuitionistic Fuzzy Set in the Intuitionistic Fuzzy Interpretation Triangle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIFSGN@FQAS ![In: Novel Developments in Uncertainty Representation and Processing - Advances in Intuitionistic Fuzzy Sets and Generalized Nets - Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN@FQAS 2015, Cracow, Poland, October 26-28, 2015, pp. 161-174, 2015, Springer, 978-3-319-26210-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
39 | Janusz Kacprzyk, Dmitri A. Viattchenin, Stanislau Shyrai, Eulalia Szmidt |
A Novel Similarity Measure Between Intuitionistic Fuzzy Sets for Constructing Intuitionistic Fuzzy Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIFSGN@FQAS ![In: Novel Developments in Uncertainty Representation and Processing - Advances in Intuitionistic Fuzzy Sets and Generalized Nets - Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets, IWIFSGN@FQAS 2015, Cracow, Poland, October 26-28, 2015, pp. 175-183, 2015, Springer, 978-3-319-26210-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Luís Pinto 0001, Tarmo Uustalu |
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 295-309, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Antoine Genitrini, Jakub Kozik |
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 280-294, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Gilda Ferreira, Paulo Oliva |
Functional Interpretations of Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 3-19, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Robert Burduk |
Probability Error in Bayes Optimal Classifier with Intuitionistic Fuzzy Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings, pp. 359-368, 2009, Springer, 978-3-642-02610-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Guiwu Wei 0001, Wende Yi |
Induced Interval-Valued Intuitionistic Fuzzy OWG Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 605-609, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Weize Wang, Zhou-Jing Wang |
An Approach to Multi-attribute Interval-Valued Intuitionistic Fuzzy Decision Making with Incomplete Weight Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 346-350, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Zhuo Xiao, Guiwu Wei 0001 |
Application Interval-Valued Intuitionistic Fuzzy Set to Select Supplier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 351-355, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Guiwu Wei 0001, Gang Lan |
Grey Relational Analysis Method for Interval-Valued Intuitionistic Fuzzy Multiple Attribute Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 291-295, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Ioannis K. Vlachos, George D. Sergiadis |
Intuitionistic Fuzzy Histograms of an Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 86-95, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 133-147, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ioannis K. Vlachos, George D. Sergiadis |
A Two-Dimensional Entropic Approach to Intuitionistic Fuzzy Contrast Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 321-327, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Linda Buisman, Rajeev Goré |
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, pp. 90-106, 2007, Springer, 978-3-540-73098-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Hidenori Kurokawa |
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 318-331, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Alexander V. Lyaletski, Boris Konev |
On Herbrand's Theorem for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 293-305, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Dimiter Vakarelov |
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 393-430, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Nelson negation, subminimal logic, counterexample semantics, many-valued logics |
38 | Eulalia Szmidt, Janusz Kacprzyk |
Distances Between Intuitionistic Fuzzy Sets and their Applications in Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Modelling and Prediction ![In: Computational Intelligence for Modelling and Prediction, pp. 101-116, 2005, Springer, 978-3-540-26071-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Thomas Raths, Jens Otten, Christoph Kreitz |
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 333-337, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jens Otten |
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings, pp. 245-261, 2005, Springer, 3-540-28931-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Glad Deschrijver, Chris Cornelis, Etienne E. Kerre |
On the representation of intuitionistic fuzzy t-norms and t-conorms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(1), pp. 45-61, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Boyan Kolev, Panagiotis Chountas, Ilias Petrounias, Vassilis S. Kodogiannis |
An Application of Intuitionistic Fuzzy Relational Databases in Football Match Result Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 281-289, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Guy Perrier |
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 233-248, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Daniel S. Korn, Christoph Kreitz |
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 131-145, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Torben Braüner |
A Model of Intuitionistic Affine Logic From Stable Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 340-351, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Natarajan Shankar |
Proof Search in the Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 522-536, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | David J. Pym |
On Bunched Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 183-192, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Samin S. Ishtiaq, David J. Pym |
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 235-249, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Torben Braüner |
The Girard Translation Extended with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 31-45, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Antonio Herrera-Acosta, Alfonso Rojas Domínguez, Juan Martín Carpio, Manuel Ornelas-Rodríguez, Héctor Puga |
Gegenbauer-Based Image Descriptors for Visual Scene Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms ![In: Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications, pp. 629-643, 2020, Springer, 978-3-030-35444-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5394 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|