|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1152 occurrences of 870 keywords
|
|
|
Results
Found 2255 publication records. Showing 2255 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
95 | Moshe Y. Vardi |
The Implication and Finite Implication Problems for Typed Template Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 230-238, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
85 | Paul Tafertshofer, Andreas Ganz, Manfred Henftling |
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 648-655, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph |
84 | Jiming Liu 0001, Michel C. Desmarais |
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(6), pp. 990-1004, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning |
82 | Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen |
Fuzzy Implication Methods in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 154-158, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
82 | Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi |
Polynomial-Time Implication Problems for Unary Inclusion Dependencies ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 37(1), pp. 15-46, January 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
74 | Jiaxin Han, Huacan He, Yingcang Ma |
Properties and Relations Between Implication Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Computational Intelligence, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II, pp. 831-837, 2006, Springer, 3-540-37274-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Catriel Beeri, Moshe Y. Vardi |
The Implication Problem for Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 73-85, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
68 | Zhisheng Huang, Karen L. Kwast |
Awareness, Negation and Logical Omniscience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 282-300, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
68 | Young-Il Lee, Yong-Gi Kim |
Comparison of fuzzy implication operators by means of fuzzy relational products used for intelligent local path-planning of AUVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(6), pp. 535-549, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Autonomous underwater vehicles(AUVs), ?-Cut, Fuzzy relational products, Implication operator, Local path-planning |
68 | Zhanao Xue, Hua-cano He, Yingcang Ma |
Algebraic Property of Rough Implication Based on Interval Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 147-152, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Rough Logic, Rough Implication, Approximation Spaces, Algebraic Property |
62 | Sven Hartmann, Sebastian Link |
Efficient reasoning about a robust XML key fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(2), pp. 10:1-10:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XML key, reachability, axiomatization, implication, XML data |
61 | Maurice Bernadet |
Fuzzy Knowledge Discovery Based on Statistical Implication Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 481-506, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Statistical implication, fuzzy knowledge discovery, fuzzy operators, fuzzy implication |
60 | Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang |
Implication-Based Approximating Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 350-363, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Approximation, Abstraction, Bounded Model Checking, Implication |
60 | Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao |
Implication Operators Based on Rough Set Model over Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 186-191, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras |
60 | Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel |
Static logic implication with application to redundancy identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 288-295, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults |
59 | Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi |
Open Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 361-372, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Xue-fang Wang, Peishun Liu |
A Method for Constructing Lattice Implication Algebras on the Interval [0, 1]. ![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. 116-121, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Jian-Kun Zhao, Jeffrey A. Newquist, Janak H. Patel |
A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 163-, 2001, IEEE Computer Society, 0-7695-0831-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Xian-He Sun, Nabil Kamel, Lionel M. Ni |
Solving Implication Problems in Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 185-192, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
58 | Paul Tafertshofer, Andreas Ganz, Kurt Antreich |
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(8), pp. 907-927, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
54 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Programs with Implicit Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(4), pp. 836-849, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics |
53 | Jiajun Lai, Xu Yang, Jun Ma |
On Extension of LI-Ideal in Lattice Implication Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 337-348, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lattice implication algebra, LI-ideals, WLI-ideals, maximal WLI-ideals, Lattice ideals |
51 | Paul Tafertshofer, Andreas Ganz |
SAT based ATPG using fast justification and propagation in the implication graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 139-146, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
49 | Pilar Orús, Pablo Gregori |
Fictitious Pupils and Implicative Analysis: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 321-345, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
entropic implication, fictitious subject, intensity of implication, quasi-implication, statistical implicative analysis, Contribution, typicality |
49 | Józef Drewniak, Jolanta Sobera |
Compositions of invariant fuzzy implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(6), pp. 514-520, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Invariant implication, Composition table, Idempotent implication, Fuzzy implication |
47 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Interaction between path and type constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(4), pp. 530-577, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
types, integrity constraints, semistructured data, implication |
45 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers, pp. 208-223, 1999, Springer, 3-540-41481-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou |
Inclusion Dependencies and Their Interaction with Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 171-176, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
relational database, functional dependency, PSPACE-complete, inclusion dependency, complete axiomatization |
45 | Marcelo Tallis, Robert Balzer |
A Functional Spreadsheet Framework for Authoring Logic Implication Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 219-226, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Deductive Spreadsheets, Authoring Logic Implication rules, End-users programming, SWRL |
45 | Rajamani Sethuram, Michael L. Bushnell, Vishwani D. Agrawal |
Fault Nodes in Implication Graph for Equivalence/Dominance Collapsing, and Identifying Untestable and Independent Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 26th IEEE VLSI Test Symposium (VTS 2008), April 27 - May 1, 2008, San Diego, California, USA, pp. 329-335, 2008, IEEE Computer Society, 978-0-7695-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Diagnosis, ATPG, Fault Model, Fault Collapsing, Implication Graph |
45 | Jiajun Lai, Shuwei Chen 0001, Yang Xu 0001, Keyun Qin, Li Chen |
On Relationships of Filters in Lattice Implication Algebra. ![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. 1000-1008, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FL-filter, NF-filter, Lattice Implication Algebra |
45 | Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir |
The use of semantic-based predicates implication to improve horizontal multimedia database fragmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MS ![In: Proceedings of the 1st ACM Workshop on The Many Faces of Multimedia Semantics, MS 2007, Augsburg, Bavaria, Germany, September 28, 2007, pp. 29-38, 2007, ACM, 978-1-59593-782-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data implication, multimedia retrieval, data partition, horizontal fragmentation |
45 | Zhong-Zhen Wu, Shih-Chieh Chang |
Multiple wire reconnections based on implication flow graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 11(4), pp. 939-952, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
global flow optimization (GFO), implication flow graph (IFG), mandatory assignment, multiple wire reconnection, redundant wire, Automatic test pattern generation (ATPG) |
45 | Lihua Fu, Huacan He |
Research on Information Requirement of First-Order Universal Implication Operators in Fuzzy Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 153-163, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
First-order universal implication, General correlation, General self-correlation, Measure of specificity, Information boundedness principle, Universal logic |
45 | Xubo Zhang, Z. Meral Özsoyoglu |
Implication and Referential Constraints: A New Formal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(6), pp. 894-910, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation |
45 | Hideyuki Ichihara, Kozo Kinoshita |
On Acceleration of Logic Circuits Optimization Using Implication Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 6th Asian Test Symposium (ATS '97), 17-18 November 1997, Akita, Japan, pp. 222-227, 1997, IEEE Computer Society, 0-8186-8209-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
logic synthesis, implication, logic optimization, recursive learning |
45 | Sha Guo, Wei Sun 0002, Mark Allen Weiss |
Solving Satisfiability and Implication Problems in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 21(2), pp. 270-293, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
satisfiabilty, reasoning, equivalence, deduction, implication |
44 | J. Patricio Díaz Varela |
Free Lukasiewicz implication algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(1), pp. 25-33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
44 | Margarita Mas, Miquel Monserrat, Joan Torrens, Enric Trillas |
A Survey on Fuzzy Implication Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(6), pp. 1107-1121, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Yang Xu 0001, Jun Ma 0002, Jiajun Lai |
Sub-algebras of Finite Lattice Implication Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 813-821, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell |
Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 723-729, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Svetla Boytcheva |
Least Generalization under Relative Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings, pp. 59-68, 2000, Springer, 3-540-41044-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Hideyuki Ichihara, Seiji Kajihara, Kozo Kinoshita |
An Efficient Procedure for Obtaining Implication Relations and Its Application to Redundancy Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, pp. 58-63, 1998, IEEE Computer Society, 0-8186-8277-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
44 | V. S. Lakshmanan 0001, C. E. Veni Madhavan |
The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 303-328, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
39 | Ricco Rakotomalala, Alain Morineau |
The TVpercentprinciple for the counterexamples statistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 449-462, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TVpercent, Intensity of implication, Measure, Association rule |
39 | 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 |
39 | Bogdan Cautis, Serge Abiteboul, Tova Milo |
Reasoning about XML update constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 195-204, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
update constraints, XML, data integrity, semi-structured data, implication |
39 | Hongxing Li |
Probability representations of fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(3), pp. 339-363, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fuzzy implication operator, conditional mathematical expectation, CRI method, triple I method, Zadeh distribution, Mamdani distribution, Lukasiewicz distribution, fuzzy system |
39 | Yi Zhou, Xiaoping Chen |
Toward Formalizing Usefulness in Propositional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings, pp. 650-661, 2006, Springer, 3-540-37033-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partial implication, probabilistic relevance, Knowledge representation, usefulness |
39 | Noboru Takagi, Kyoichi Nakashima, Masao Mukaidono |
A Necessary and Sufficient Condition for Lukasiewicz Logic Functions. ![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. 37-42, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Lukasiewicz logic functions, Lukasiewicz multiple-valued logic, Lukasiewicz implication, logic design, multivalued logic, negation, multiple-valued functions, multiple-valued logic design |
38 | Bruno Marnette, Floris Geerts |
Static analysis of schema-mappings ensuring oblivious termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 183-195, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
relative completeness, data integration, data exchange, schema mapping, determinacy |
38 | Sven Hartmann, Henning Köhler, Sebastian Link |
Full hierarchical dependencies in fixed and undetermined universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(1-2), pp. 195-226, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68P15 |
38 | Jianxin Wang 0001, Xiaoshuang Xu, Jianer Chen |
Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(5), pp. 763-768, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Min-CVCB, parameter complexity, chain implication, approximation algorithm |
38 | Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi |
Weak Implication in Terms of Conditional Uncertainty Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 139-150, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
conditional uncertainty measures, weak implication, default logic |
38 | Hiroyuki Higuchi |
An implication-based method to detect multi-cycle paths in large sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 164-169, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multi-cycle path, sequential circuits, ATPG, implication |
38 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli |
Translating a Modal Language with Embedded Implication into Horn Clause Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 19-33, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Multimodal Logic, Embedded Implication, Translation |
36 | Zhanao Xue, Xiao-bo Shi, Jian Zou |
A novel method of the Flexible Interval S-Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 533-537, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Manuel Abad, J. Patricio Díaz Varela |
Representation of Cubic Lattices by Symmetric Implication Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 173-178, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B15, 08B26 |
36 | J. Patricio Díaz Varela, Antoni Torrens Torrell |
Decomposability of free Lukasiewicz implication algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(8), pp. 1011-1020, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06F99, 08B20, 08A30 |
36 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Extraction and Implication of Path Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 863-875, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Michiro Kondo |
Characterization Theorem of Lattice Implication Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada, pp. 257-260, 2004, IEEE Computer Society, 0-7695-2130-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places |
Implication of Functional Dependencies for Recursive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 509-519, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Nicola Fanizzi, Stefano Ferilli |
Minimal Generalizations under OI-Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 140-148, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro |
Refining Logic Theories under OI-Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 109-118, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Xubo Zhang, Z. Meral Özsoyoglu |
On Efficient Reasoning with Implication Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 236-252, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Karen L. Kwast, Sieger van Denneheuvel |
Weak Implication: Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 65-83, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Régis Gras, Pascale Kuntz |
An overview of the Statistical Implicative Analysis (SIA) development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 11-40, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quasi-implication, implication intensity, implicative hierarchy, typicality, implicative graph |
33 | Yu Sun 0005, Yuefei Sui, Youming Xia |
Logical Sentences as the Intent of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(3), pp. 338-344, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pragmatical implication, context, concept, logical implication |
32 | Jianming Zhan 0001, Wieslaw A. Dudek, Young Bae Jun |
Interval valued (in, in v, q)-fuzzy filters of pseudo BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(1), pp. 13-21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Interval valued -fuzzy filter, Implication operator, Fuzzy logic, Filter, Pseudo BL-algebra |
32 | Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang |
Attribute reduction theory of concept lattice based on decision formal contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(7), pp. 910-923, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix |
32 | Gilbert Ritschard, Vincent Pisetta, Djamel A. Zighed |
Inducing and Evaluating Classification Trees with Statistical Implicative Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 397-419, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Implication strength, Class assignment, Rule relevance, Profile typicality, Classification tree, Targeting |
32 | Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang |
The Rough Logic and Roughness of Logical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 610-617, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logical theories, refinement, Rough set theory, logical implication |
32 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Rewriting Union Queries Using Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 219-251, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view |
32 | Vivek Gaur, Vishwani D. Agrawal, Michael L. Bushnell |
A New Transitive Closure Algorithm with Application to Redundancy Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 1st IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2002), 29-31 January 2002, Christchurch, New Zealand, pp. 496-500, 2002, IEEE Computer Society, 0-7695-1453-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
logic redundancy, partial implications, transitive closure, Implication graph |
32 | Kebin Jia, Lansun Shen, Hongyuan Zhang, Wu Chang |
Design of Retrieval Method of Map Targets in the Multimodal Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Advances in Multimodal Interfaces - ICMI 2000, Third International Conference, Beijing, China, October 14-16, 2000, Proceedings, pp. 642-649, 2000, Springer, 3-540-41180-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
target retrieval, multi-user conceptual implication (MUCI), data structure, Multimodal interface |
30 | Sebastian Link |
Charting the completeness frontier of inference systems for multivalued dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(7-8), pp. 565-591, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sven Hartmann, Sebastian Link |
Unlocking Keys for XML Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 104-118, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Sebastian Link |
On Multivalued Dependencies in Fixed and Undetermined Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings, pp. 258-277, 2006, Springer, 3-540-31782-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell |
On Decidability and Complexity of Description Logics with Uniqueness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings., pp. 54-67, 2001, Springer, 3-540-41456-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | David A. Maluf, Jiming Liu 0001 |
Qualitative Discovery in Medical Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 474-485, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Jef Wijsen |
Temporal FDs on Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 24(1), pp. 127-176, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
temporal databases, functional dependency, object-identity, time granularity, database constraints |
30 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Program Theory with Implicit Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings, pp. 97-108, 1996, Springer, 3-540-61532-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Kewal K. Saluja, Kyuchull Kim |
Improved Test Generation for High-Activity Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 7(4), pp. 26-31, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Russell Impagliazzo, Steven Rudich |
Limits on the Provable Consequences of One-way Permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '88, 8th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1988, Proceedings, pp. 8-26, 1988, Springer, 3-540-97196-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Wei-Zhi Wu, Peirong Lin |
Topological Spaces for Fuzzy Rough Sets Determined by Fuzzy Implication Operators. ![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. 479-483, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy implication operators, rough sets, fuzzy rough sets, topological spaces |
30 | Benoît Vaillant, Stéphane Lallich, Philippe Lenca |
On the behavior of the generalizations of the intensity of implication: A data-driven comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 421-447, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Statistical interestingness measures, intensity of implication, generalized measures |
30 | Zhudeng Wang |
Decomposability of Implication Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 189-193, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
direct decomposition, Fuzzy logic, implication, t-norm |
30 | Jerzy Marcinkowski, Leszek Pacholski |
Undecidability of the Horn-Clause Implication Problem ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 354-362, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
derivation trees, Horn-clause implication, atomic formulas, decidability problems, pure predicate logic, equality symbol |
30 | Xian-He Sun, Nabil Kamel, Lionel M. Ni |
Processing Implication on Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(10), pp. 1168-1175, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Derivability Problem, project-select-joint queries, satisfiabilitya, Database, NP-hard, Directed Graph, Mathematical Logic, Implication Problem |
29 | Diego Nicolás Castaño, J. Patricio Díaz Varela |
Conditions for Permutability of Congruences in Implication Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 245-254, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06F99, 08B20, 08A30 |
29 | K. Subramani 0001, Hong-Jian Lai, Xiaofeng Gu |
Random walks for selected boolean implication and equivalence problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 46(2), pp. 155-168, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Yongquan Wang, Xiaohong Zhang 0001 |
Some implication operators on interval sets and rough sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 328-332, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Julien Blanchard 0001, Fabrice Guillet, Régis Gras |
Assessing the interestingness of temporal rules with Sequential Implication Intensity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 55-71, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interestingness Measures for Sequential Rules, Rule Significance, Temporal Data Mining, Event Sequences |
29 | Eunjin Kim, Ladislav J. Kohout |
Non-commutative System of Fuzzy Interval Logic Generated by the Checklist Paradigm Measure m 3 Containing Early Zadeh Implication. ![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. 43-55, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Zhudeng Wang |
On the Direct Decomposability of QL-Implication Operators on Product Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 201-203, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jean François Djoufak Kengue, Petko Valtchev, Clémentin Tayou Djamégni |
Parallel Computation of Closed Itemsets and Implication Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 359-370, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data mining, concept analysis, parallel algorithmic design |
29 | Gilbert Ritschard, Djamel A. Zighed |
Implication Strength of Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings, pp. 463-472, 2006, Springer, 3-540-45764-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Franco Montagna, Luca Spada |
Continuous approximations of product implication in MV-algebras with product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(3), pp. 149-154, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
?-algebras, MV-algebras |
29 | Guowu Yang, Jin Yang 0006, William N. N. Hung, Xiaoyu Song |
Implication of assertion graphs in GSTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 1060-1063, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Yanbin Luo, Kannappan Palaniappan, Yongming Li 0001 |
New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (3) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III, pp. 1132-1141, 2005, Springer, 3-540-28320-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2255 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|