The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Implication with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1962 (17) 1963-1968 (17) 1969-1975 (19) 1976-1981 (21) 1982-1984 (22) 1985-1986 (25) 1987-1988 (29) 1989-1990 (33) 1991-1992 (31) 1993 (20) 1994 (28) 1995 (26) 1996 (32) 1997 (38) 1998 (33) 1999 (62) 2000 (62) 2001 (62) 2002 (71) 2003 (77) 2004 (96) 2005 (121) 2006 (130) 2007 (132) 2008 (151) 2009 (116) 2010 (67) 2011 (39) 2012 (46) 2013 (48) 2014 (38) 2015 (54) 2016 (51) 2017 (56) 2018 (66) 2019 (55) 2020 (53) 2021 (72) 2022 (68) 2023 (55) 2024 (16)
Publication types (Num. hits)
article(925) book(1) incollection(27) inproceedings(1283) phdthesis(19)
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
95Moshe Y. Vardi The Implication and Finite Implication Problems for Typed Template Dependencies. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
85Paul Tafertshofer, Andreas Ganz, Manfred Henftling A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. Search on Bibsonomy ICCAD The full citation details ... 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
84Jiming Liu 0001, Michel C. Desmarais A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
82Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen Fuzzy Implication Methods in Fuzzy Logic. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
82Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi Polynomial-Time Implication Problems for Unary Inclusion Dependencies Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
74Jiaxin Han, Huacan He, Yingcang Ma Properties and Relations Between Implication Operators. Search on Bibsonomy ICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
74Catriel Beeri, Moshe Y. Vardi The Implication Problem for Data Dependencies. Search on Bibsonomy ICALP The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
68Zhisheng Huang, Karen L. Kwast Awareness, Negation and Logical Omniscience. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
68Young-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 Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Autonomous underwater vehicles(AUVs), ?-Cut, Fuzzy relational products, Implication operator, Local path-planning
68Zhanao Xue, Hua-cano He, Yingcang Ma Algebraic Property of Rough Implication Based on Interval Structure. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Rough Logic, Rough Implication, Approximation Spaces, Algebraic Property
62Sven Hartmann, Sebastian Link Efficient reasoning about a robust XML key fragment. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XML key, reachability, axiomatization, implication, XML data
61Maurice Bernadet Fuzzy Knowledge Discovery Based on Statistical Implication Indexes. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Statistical implication, fuzzy knowledge discovery, fuzzy operators, fuzzy implication
60Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang Implication-Based Approximating Bounded Model Checking. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Approximation, Abstraction, Bounded Model Checking, Implication
60Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao Implication Operators Based on Rough Set Model over Boolean Algebras. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
60Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel Static logic implication with application to redundancy identification. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static logic implication, redundancy identification, set algebra, indirect implications, static learning algorithm, redundancy, iterative method, redundant faults
59Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi Open Implication. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Xue-fang Wang, Peishun Liu A Method for Constructing Lattice Implication Algebras on the Interval [0, 1]. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Jian-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 VLSI Design The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Xian-He Sun, Nabil Kamel, Lionel M. Ni Solving Implication Problems in Database Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
58Paul Tafertshofer, Andreas Ganz, Kurt Antreich IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54Vilas Wuwongse, Ekawit Nantajeewarawat Declarative Programs with Implicit Implications. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
53Jiajun Lai, Xu Yang, Jun Ma On Extension of LI-Ideal in Lattice Implication Algebra. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lattice implication algebra, LI-ideals, WLI-ideals, maximal WLI-ideals, Lattice ideals
51Paul Tafertshofer, Andreas Ganz SAT based ATPG using fast justification and propagation in the implication graph. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Pilar Orús, Pablo Gregori Fictitious Pupils and Implicative Analysis: a Case Study. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF entropic implication, fictitious subject, intensity of implication, quasi-implication, statistical implicative analysis, Contribution, typicality
49Józef Drewniak, Jolanta Sobera Compositions of invariant fuzzy implications. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Invariant implication, Composition table, Idempotent implication, Fuzzy implication
47Peter Buneman, Wenfei Fan, Scott Weinstein Interaction between path and type constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF types, integrity constraints, semistructured data, implication
45Peter Buneman, Wenfei Fan, Scott Weinstein Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model. Search on Bibsonomy DBPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou Inclusion Dependencies and Their Interaction with Functional Dependencies. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF relational database, functional dependency, PSPACE-complete, inclusion dependency, complete axiomatization
45Marcelo Tallis, Robert Balzer A Functional Spreadsheet Framework for Authoring Logic Implication Rules. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Deductive Spreadsheets, Authoring Logic Implication rules, End-users programming, SWRL
45Rajamani 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 VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Diagnosis, ATPG, Fault Model, Fault Collapsing, Implication Graph
45Jiajun Lai, Shuwei Chen 0001, Yang Xu 0001, Keyun Qin, Li Chen On Relationships of Filters in Lattice Implication Algebra. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FL-filter, NF-filter, Lattice Implication Algebra
45Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir The use of semantic-based predicates implication to improve horizontal multimedia database fragmentation. Search on Bibsonomy MS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data implication, multimedia retrieval, data partition, horizontal fragmentation
45Zhong-Zhen Wu, Shih-Chieh Chang Multiple wire reconnections based on implication flow graph. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 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)
45Lihua Fu, Huacan He Research on Information Requirement of First-Order Universal Implication Operators in Fuzzy Reasoning. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF First-order universal implication, General correlation, General self-correlation, Measure of specificity, Information boundedness principle, Universal logic
45Xubo Zhang, Z. Meral Özsoyoglu Implication and Referential Constraints: A New Formal Reasoning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
45Hideyuki Ichihara, Kozo Kinoshita On Acceleration of Logic Circuits Optimization Using Implication Relations. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF logic synthesis, implication, logic optimization, recursive learning
45Sha Guo, Wei Sun 0002, Mark Allen Weiss Solving Satisfiability and Implication Problems in Database Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF satisfiabilty, reasoning, equivalence, deduction, implication
44J. Patricio Díaz Varela Free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
44Margarita Mas, Miquel Monserrat, Joan Torrens, Enric Trillas A Survey on Fuzzy Implication Functions. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Yang Xu 0001, Jun Ma 0002, Jiajun Lai Sub-algebras of Finite Lattice Implication Algebra. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Svetla Boytcheva Least Generalization under Relative Implication. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Hideyuki Ichihara, Seiji Kajihara, Kozo Kinoshita An Efficient Procedure for Obtaining Implication Relations and Its Application to Redundancy Identification. Search on Bibsonomy Asian Test Symposium The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44V. S. Lakshmanan 0001, C. E. Veni Madhavan The Implication Problem for Functional and Multivalued Dependencies: An Algebraic Approach. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
39Ricco Rakotomalala, Alain Morineau The TVpercentprinciple for the counterexamples statistic. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TVpercent, Intensity of implication, Measure, Association rule
39Li Zou, Wenjiang Li, Yang Xu 0001 Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making
39Bogdan Cautis, Serge Abiteboul, Tova Milo Reasoning about XML update constraints. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF update constraints, XML, data integrity, semi-structured data, implication
39Hongxing Li Probability representations of fuzzy systems. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fuzzy implication operator, conditional mathematical expectation, CRI method, triple I method, Zadeh distribution, Mamdani distribution, Lukasiewicz distribution, fuzzy system
39Yi Zhou, Xiaoping Chen Toward Formalizing Usefulness in Propositional Language. Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial implication, probabilistic relevance, Knowledge representation, usefulness
39Noboru Takagi, Kyoichi Nakashima, Masao Mukaidono A Necessary and Sufficient Condition for Lukasiewicz Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 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
38Bruno Marnette, Floris Geerts Static analysis of schema-mappings ensuring oblivious termination. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF relative completeness, data integration, data exchange, schema mapping, determinacy
38Sven Hartmann, Henning Köhler, Sebastian Link Full hierarchical dependencies in fixed and undetermined universes. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 68P15
38Jianxin Wang 0001, Xiaoshuang Xu, Jianer Chen Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Min-CVCB, parameter complexity, chain implication, approximation algorithm
38Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi Weak Implication in Terms of Conditional Uncertainty Measures. Search on Bibsonomy ECSQARU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF conditional uncertainty measures, weak implication, default logic
38Hiroyuki Higuchi An implication-based method to detect multi-cycle paths in large sequential circuits. Search on Bibsonomy DAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi-cycle path, sequential circuits, ATPG, implication
38Matteo Baldoni, Laura Giordano 0001, Alberto Martelli Translating a Modal Language with Embedded Implication into Horn Clause Logic. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Multimodal Logic, Embedded Implication, Translation
36Zhanao Xue, Xiao-bo Shi, Jian Zou A novel method of the Flexible Interval S-Implication. Search on Bibsonomy IEEE ICCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Manuel Abad, J. Patricio Díaz Varela Representation of Cubic Lattices by Symmetric Implication Algebras. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06B15, 08B26
36J. Patricio Díaz Varela, Antoni Torrens Torrell Decomposability of free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
36Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison Extraction and Implication of Path Constraints. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Michiro Kondo Characterization Theorem of Lattice Implication Algebra. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places Implication of Functional Dependencies for Recursive Queries. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Nicola Fanizzi, Stefano Ferilli Minimal Generalizations under OI-Implication. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro Refining Logic Theories under OI-Implication. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Xubo Zhang, Z. Meral Özsoyoglu On Efficient Reasoning with Implication Constraints. Search on Bibsonomy DOOD The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Karen L. Kwast, Sieger van Denneheuvel Weak Implication: Theory and Applications. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Régis Gras, Pascale Kuntz An overview of the Statistical Implicative Analysis (SIA) development. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF quasi-implication, implication intensity, implicative hierarchy, typicality, implicative graph
33Yu Sun 0005, Yuefei Sui, Youming Xia Logical Sentences as the Intent of Concepts. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pragmatical implication, context, concept, logical implication
32Jianming Zhan 0001, Wieslaw A. Dudek, Young Bae Jun Interval valued (in, in v, q)-fuzzy filters of pseudo BL-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Interval valued -fuzzy filter, Implication operator, Fuzzy logic, Filter, Pseudo BL-algebra
32Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang Attribute reduction theory of concept lattice based on decision formal contexts. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix
32Gilbert Ritschard, Vincent Pisetta, Djamel A. Zighed Inducing and Evaluating Classification Trees with Statistical Implicative Criteria. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Implication strength, Class assignment, Rule relevance, Profile typicality, Classification tree, Targeting
32Cungen Cao 0001, Yuefei Sui, Zaiyue Zhang The Rough Logic and Roughness of Logical Theories. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logical theories, refinement, Rough set theory, logical implication
32Junhu Wang, Rodney W. Topor, Michael J. Maher Rewriting Union Queries Using Views. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view
32Vivek Gaur, Vishwani D. Agrawal, Michael L. Bushnell A New Transitive Closure Algorithm with Application to Redundancy Identification. Search on Bibsonomy DELTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF logic redundancy, partial implications, transitive closure, Implication graph
32Kebin Jia, Lansun Shen, Hongyuan Zhang, Wu Chang Design of Retrieval Method of Map Targets in the Multimodal Interface. Search on Bibsonomy ICMI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF target retrieval, multi-user conceptual implication (MUCI), data structure, Multimodal interface
30Sebastian Link Charting the completeness frontier of inference systems for multivalued dependencies. Search on Bibsonomy Acta Informatica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Sven Hartmann, Sebastian Link Unlocking Keys for XML Trees. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Sebastian Link On Multivalued Dependencies in Fixed and Undetermined Universes. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell On Decidability and Complexity of Description Logics with Uniqueness Constraints. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30David A. Maluf, Jiming Liu 0001 Qualitative Discovery in Medical Databases. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Jef Wijsen Temporal FDs on Complex Objects. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF temporal databases, functional dependency, object-identity, time granularity, database constraints
30Vilas Wuwongse, Ekawit Nantajeewarawat Declarative Program Theory with Implicit Information. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Kewal K. Saluja, Kyuchull Kim Improved Test Generation for High-Activity Circuits. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
30Russell Impagliazzo, Steven Rudich Limits on the Provable Consequences of One-way Permutations. Search on Bibsonomy CRYPTO The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
30Wei-Zhi Wu, Peirong Lin Topological Spaces for Fuzzy Rough Sets Determined by Fuzzy Implication Operators. Search on Bibsonomy FSKD (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fuzzy implication operators, rough sets, fuzzy rough sets, topological spaces
30Benoî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 Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Statistical interestingness measures, intensity of implication, generalized measures
30Zhudeng Wang Decomposability of Implication Operators. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF direct decomposition, Fuzzy logic, implication, t-norm
30Jerzy Marcinkowski, Leszek Pacholski Undecidability of the Horn-Clause Implication Problem Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF derivation trees, Horn-clause implication, atomic formulas, decidability problems, pure predicate logic, equality symbol
30Xian-He Sun, Nabil Kamel, Lionel M. Ni Processing Implication on Queries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Derivability Problem, project-select-joint queries, satisfiabilitya, Database, NP-hard, Directed Graph, Mathematical Logic, Implication Problem
29Diego Nicolás Castaño, J. Patricio Díaz Varela Conditions for Permutability of Congruences in Implication Algebras. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06F99, 08B20, 08A30
29K. Subramani 0001, Hong-Jian Lai, Xiaofeng Gu Random walks for selected boolean implication and equivalence problems. Search on Bibsonomy Acta Informatica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Yongquan Wang, Xiaohong Zhang 0001 Some implication operators on interval sets and rough sets. Search on Bibsonomy IEEE ICCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Julien Blanchard 0001, Fabrice Guillet, Régis Gras Assessing the interestingness of temporal rules with Sequential Implication Intensity. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interestingness Measures for Sequential Rules, Rule Significance, Temporal Data Mining, Event Sequences
29Eunjin 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 IFSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Zhudeng Wang On the Direct Decomposability of QL-Implication Operators on Product Lattices. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jean François Djoufak Kengue, Petko Valtchev, Clémentin Tayou Djamégni Parallel Computation of Closed Itemsets and Implication Rule Bases. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Data mining, concept analysis, parallel algorithmic design
29Gilbert Ritschard, Djamel A. Zighed Implication Strength of Classification Rules. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Franco Montagna, Luca Spada Continuous approximations of product implication in MV-algebras with product. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-algebras, MV-algebras
29Guowu Yang, Jin Yang 0006, William N. N. Hung, Xiaoyu Song Implication of assertion graphs in GSTE. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Yanbin Luo, Kannappan Palaniappan, Yongming Li 0001 New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition. Search on Bibsonomy ICNC (3) The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license