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-1964 (16) 1966-1975 (15) 1978-1983 (17) 1984-1986 (24) 1987-1988 (21) 1989-1990 (30) 1991-1992 (26) 1993 (17) 1994 (23) 1995 (24) 1996 (28) 1997 (34) 1998 (30) 1999 (58) 2000 (54) 2001 (58) 2002 (64) 2003 (75) 2004 (91) 2005 (114) 2006 (124) 2007 (129) 2008 (141) 2009 (107) 2010 (55) 2011 (29) 2012 (10)
Publication types (Num. hits)
article(439) incollection(18) inproceedings(957)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1152 occurrences of 870 keywords

Results
Found 1414 publication records. Showing 1414 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
5Paul 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
4Maurice 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
4Jiming Liu, Michel 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
3Young-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
3Jianxin Wang, 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
3Rajamani 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
3Marcelo 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
3Pilar 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
3Zhenyu Chen, 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
3Giulianella 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
3Jiajun Lai, Shuwei Chen, Yang Xu, 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
3Xiaohong Zhang, 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
3Jiajun Lai, Xu Yang, Jun Ma On Extension of LI-Ideal in Lattice Implication Algebra. Search on Bibsonomy IFSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lattice implication algebra, LI-ideals, WLI-ideals, maximal WLI-ideals, Lattice ideals
3Fekade 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
3Zhong-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)
3Jó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
3Fu Lihua, He Huacan 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
3Xue Zhan-ao, He Hua-can, Ma Ying-cang 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
3Hiroyuki 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
3Xubo 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
3Hideyuki 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
3Jian-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
3Sha 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
3Matteo Baldoni, Laura Giordano, 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
2Sven Hartmann, Sebastian Link When data dependencies over SQL tables meet the logics of paradox and S-3. Search on Bibsonomy PODS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value
2K. Subramani, Hong-Jian Lai, Xiaofeng Gu Random walks for selected boolean implication and equivalence problems. Search on Bibsonomy Acta Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Diego N. 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
2Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Computational complexity, Constraints, Propositional logic, Logic in computer science, Isomorphism problem
2Wei-Zhi Wu, Peirong Lin Topological Spaces for Fuzzy Rough Sets Determined by Fuzzy Implication Operators. Search on Bibsonomy FSKD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fuzzy implication operators, rough sets, fuzzy rough sets, topological spaces
2Yongquan Wang, Xiaohong Zhang Some implication operators on interval sets and rough sets. Search on Bibsonomy IEEE ICCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Zhan-ao 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
2Richard Chbeir, Dominique Laurent Towards a novel approach to multimedia data mixed fragmentation. Search on Bibsonomy MEDES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multimedia distance, multimedia fragmentation, pre-ordering, query implication, functional dependency, data partition
2Sven 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
2Jianming Zhan, 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
2Bijan Davvaz Fuzzy R -subgroups with thresholds of near-rings and implication operators. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fuzzy point, Near-ring, Fuzzy R-subgroup, (?, ??q)-fuzzy R-subgroup, Fuzzy set, Level set
2J. 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
2Jérôme David, Fabrice Guillet, Henri Briand, Régis Gras On the use of Implication Intensity for matching ontologies and textual taxonomies. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF association rule, Ontology alignment, ontology matching, interestingness measure
2Benoî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
2Julien Blanchard, 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
2Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi Open Implication. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Panyong Zhang, Can Ma, Jie Ma, Qiang Li, Dan Meng HPPNET: A novel network for HPC and its implication for communication software. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger Complexity and Limiting Ratio of Boolean Functions over Implication. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Implicational formulas, Limiting ratio, Analytic combinatorics, Complexity, Boolean functions, Probability distribution
2Xue-fang Wang, Pei-shun Liu A Method for Constructing Lattice Implication Algebras on the Interval [0, 1]. Search on Bibsonomy FSKD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Li Zou, Wenjiang Li, Yang Xu Six-Element Linguistic Truth-Valued Intuitionistic Reasoning in Decision Making. Search on Bibsonomy ISNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lattice implication algebra, Linguistic truth-valued intuitionistic propositional logic, Decision making
2Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang Attribute reduction theory of concept lattice based on decision formal contexts. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix
2Raphaël Couturier CHIC: Cohesive Hierarchical Implicative Classification. Search on Bibsonomy Statistical Implicative Analysis The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data mining tool, oriented hierarchical tree, similarity tree, CHIC, implication graph
2Ré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
2Ricco 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
2Gilbert 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
2Margarita Mas, Miquel Monserrat, Joan Torrens, Enric Trillas A Survey on Fuzzy Implication Functions. Search on Bibsonomy IEEE T. Fuzzy Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Sergei A. Obiedkov, Vincent Duquenne Attribute-incremental construction of the canonical implication basis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 03G10, 06A15, 68W05, 68R05, 68W40
2Sandra Sandri, Christophe Sibertin-Blanc, Vicenç Torra A Multicriteria Fuzzy System Using Residuated Implication Operators and Fuzzy Arithmetic. Search on Bibsonomy MDAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Jianxin Wang, Xiaoshuang Xu, Jianer Chen An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Jean 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
2Zhudeng Wang Decomposability of Implication Operators. Search on Bibsonomy KES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF direct decomposition, Fuzzy logic, implication, t-norm
2Zhudeng Wang On the Direct Decomposability of QL-Implication Operators on Product Lattices. Search on Bibsonomy FSKD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen Fuzzy Implication Methods in Fuzzy Logic. Search on Bibsonomy FSKD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Yang Xu, Jun Ma, Jiajun Lai Sub-algebras of Finite Lattice Implication Algebra. Search on Bibsonomy IFSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Eunjin 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 The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Bogdan 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
2Manuel 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
2J. 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
2Jiaxin Han, Huacan He, Yingcang Ma Properties and Relations Between Implication Operators. Search on Bibsonomy ICIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Gilbert Ritschard, Djamel A. Zighed Implication Strength of Classification Rules. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Sven Hartmann, Sebastian Link Horn clauses and functional dependencies in complex-value databases. Search on Bibsonomy ADC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic in databases, functional dependency, Horn clause, complex values, implication problem
2Samir Saad, Joe Tekli, Richard Chbeir, Kokou Yétongnon Towards Multimedia Fragmentation. Search on Bibsonomy ADBIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multimedia fragmentation, Range and KNN operators, predicates implication, objects classification
2Joachim Biskup, Piero A. Bonatti Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
2Radim Belohlávek, Vilém Vychodil Attribute Implications in a Fuzzy Setting. Search on Bibsonomy ICFCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attribute implication, fuzzy logic, functional dependency, concept lattice
2Yi 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
2Cungen Cao, 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
2Hongxing Li Probability representations of fuzzy systems. Search on Bibsonomy Science in China Series F: Information Sciences 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
2Franco 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
2Michael Bauland, Edith Hemaspaandra Isomorphic Implication. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Zoran Majkic Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Guowu Yang, Jin Yang, 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
2Yanbin Luo, K. Palaniappan, Yongming Li New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition. Search on Bibsonomy ICNC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Kunal 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
2Ricardo Sousa Silvestre, Tarcisio H. C. Pequeno A Logic of Inductive Implication or Artificial Intelligence Meets Philosophy of Science II. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Michael Thielscher Handling Implication and Universal Quantification Constraints in FLUX. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Junhu Wang, Rodney W. Topor, Michael J. Maher Rewriting Union Queries Using Views. Search on Bibsonomy Constraints The full citation details ... 2005 DBLP  DOI  BibTeX  RDF global schema, union query, implication constraint, contained rewriting, data integration, constraint, query, view
2Yu Sun, 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
2J. Balasubramaniam, C. Jagan Mohan Rao On the distributivity of implication operators over T and S norms. Search on Bibsonomy IEEE T. Fuzzy Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Yves 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
2Michiro Kondo Characterization Theorem of Lattice Implication Algebra. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Alicja Mieszkowicz-Rolka, Leszek Rolka Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model. Search on Bibsonomy ICAISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Fabrice Correia Semantics for Analytic Containment. Search on Bibsonomy Studia Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF analytic containment, relevant implication, semantics
2Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana Fault equivalence identification in combinational circuits using implication and evaluation techniques. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places Implication of Functional Dependencies for Recursive Queries. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Manan Syal, Michael S. Hsiao, Kiran B. Doreswamy, Sreejit Chakravarty Efficient Implication - Based Untestable Bridge Fault Identifier. Search on Bibsonomy VTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Cheng Zheng, Li Chen FCBI: An Efficient User-Friendly Classifier Using Fuzzy Implication Table. Search on Bibsonomy ADBIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Peter 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
2Ki-Wook Kim, Taewhan Kim, C. L. Liu, Sung-Mo Kang Domino logic synthesis based on implication graph. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Philip W. Tse, Jiming Liu Mining Associated Implication Networks: Computational Intermarket Analysis. Search on Bibsonomy ICDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Nicola Fanizzi, Stefano Ferilli Minimal Generalizations under OI-Implication. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Wenfei Fan, Leonid Libkin On XML integrity constraints in the presence of DTDs. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML, XML, Consistency, integrity constraints, DTDs, implication
2Vivek 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
2Vilas 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
2Verónica Dahl On Implicit Meanings. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning
2Danuta Rutkowska, Robert Nowicki, Yoichi Hayashi Parallel Processing by Implication-Based Neuro-Fuzzy Systems. Search on Bibsonomy PPAM The full citation details ... 2001 DBLP  BibTeX  RDF
2Eyke Hüllermeier Implication-Based Fuzzy Association Rules. Search on Bibsonomy PKDD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1414 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.