Search results for "implication"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Moshe Y. Vardi	The Implication and Finite Implication Problems for Typed Template Dependencies.	PODS	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.	ICCAD	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.	IEEE Trans. Knowl. Data Eng.	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.	FSKD (1)	2007	DBLP DOI BibTeX RDF
82	Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi	Polynomial-Time Implication Problems for Unary Inclusion Dependencies	J. ACM	1990	DBLP DOI BibTeX RDF
74	Jiaxin Han, Huacan He, Yingcang Ma	Properties and Relations Between Implication Operators.	ICIC (2)	2006	DBLP DOI BibTeX RDF
74	Catriel Beeri, Moshe Y. Vardi	The Implication Problem for Data Dependencies.	ICALP	1981	DBLP DOI BibTeX RDF
68	Zhisheng Huang, Karen L. Kwast	Awareness, Negation and Logical Omniscience.	JELIA	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.	Soft Comput.	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.	Intelligent Information Processing	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.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	XML key, reachability, axiomatization, implication, XML data
61	Maurice Bernadet	Fuzzy Knowledge Discovery Based on Statistical Implication Indexes.	Statistical Implicative Analysis	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.	FSEN	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.	GrC	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.	VTS	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.	ICALP (2)	2008	DBLP DOI BibTeX RDF
59	Xue-fang Wang, Peishun Liu	A Method for Constructing Lattice Implication Algebras on the Interval [0, 1].	FSKD (1)	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.	VLSI Design	2001	DBLP DOI BibTeX RDF
59	Xian-He Sun, Nabil Kamel, Lionel M. Ni	Solving Implication Problems in Database Applications.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
58	Paul Tafertshofer, Andreas Ganz, Kurt Antreich	IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
54	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	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.	IFSA (2)	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.	ICCAD	1999	DBLP DOI BibTeX RDF
49	Pilar Orús, Pablo Gregori	Fictitious Pupils and Implicative Analysis: a Case Study.	Statistical Implicative Analysis	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.	Soft Comput.	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.	ACM Trans. Comput. Log.	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.	DBPL	1999	DBLP DOI BibTeX RDF
45	Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou	Inclusion Dependencies and Their Interaction with Functional Dependencies.	PODS	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.	RuleML	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.	VTS	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.	ICFIE	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.	MS	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.	ACM Trans. Design Autom. Electr. Syst.	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.	Intelligent Information Processing	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.	IEEE Trans. Knowl. Data Eng.	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.	Asian Test Symposium	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.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	satisfiabilty, reasoning, equivalence, deduction, implication
44	J. Patricio Díaz Varela	Free Lukasiewicz implication algebras.	Arch. Math. Log.	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.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
44	Yang Xu 0001, Jun Ma 0002, Jiajun Lai	Sub-algebras of Finite Lattice Implication Algebra.	IFSA (2)	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.	VLSI Design	2005	DBLP DOI BibTeX RDF
44	Svetla Boytcheva	Least Generalization under Relative Implication.	AIMSA	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.	Asian Test Symposium	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.	FSTTCS	1985	DBLP DOI BibTeX RDF
39	Ricco Rakotomalala, Alain Morineau	The TVpercentprinciple for the counterexamples statistic.	Statistical Implicative Analysis	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.	ISNN (1)	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.	PODS	2007	DBLP DOI BibTeX RDF	update constraints, XML, data integrity, semi-structured data, implication
39	Hongxing Li	Probability representations of fuzzy systems.	Sci. China Ser. F Inf. Sci.	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.	KSEM	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.	ISMVL	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.	ICDT	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.	Ann. Math. Artif. Intell.	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.	J. Comput. Sci. Technol.	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.	ECSQARU	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.	DAC	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.	ELP	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.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
36	Manuel Abad, J. Patricio Díaz Varela	Representation of Cubic Lattices by Symmetric Implication Algebras.	Order	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.	Arch. Math. Log.	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.	MFCS	2004	DBLP DOI BibTeX RDF
36	Michiro Kondo	Characterization Theorem of Lattice Implication Algebra.	ISMVL	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.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
36	Nicola Fanizzi, Stefano Ferilli	Minimal Generalizations under OI-Implication.	ISMIS	2002	DBLP DOI BibTeX RDF
36	Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro	Refining Logic Theories under OI-Implication.	ISMIS	2000	DBLP DOI BibTeX RDF
36	Xubo Zhang, Z. Meral Özsoyoglu	On Efficient Reasoning with Implication Constraints.	DOOD	1993	DBLP DOI BibTeX RDF
36	Karen L. Kwast, Sieger van Denneheuvel	Weak Implication: Theory and Applications.	JELIA	1992	DBLP DOI BibTeX RDF
33	Régis Gras, Pascale Kuntz	An overview of the Statistical Implicative Analysis (SIA) development.	Statistical Implicative Analysis	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.	J. Comput. Sci. Technol.	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.	Soft Comput.	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.	Sci. China Ser. F Inf. Sci.	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.	Statistical Implicative Analysis	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.	RSKT	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.	Constraints An Int. J.	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.	DELTA	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.	ICMI	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.	Acta Informatica	2008	DBLP DOI BibTeX RDF
30	Sven Hartmann, Sebastian Link	Unlocking Keys for XML Trees.	ICDT	2007	DBLP DOI BibTeX RDF
30	Sebastian Link	On Multivalued Dependencies in Fixed and Undetermined Universes.	FoIKS	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.	ICDT	2001	DBLP DOI BibTeX RDF
30	David A. Maluf, Jiming Liu 0001	Qualitative Discovery in Medical Databases.	ISMIS	2000	DBLP DOI BibTeX RDF
30	Jef Wijsen	Temporal FDs on Complex Objects.	ACM Trans. Database Syst.	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.	PRICAI	1996	DBLP DOI BibTeX RDF
30	Kewal K. Saluja, Kyuchull Kim	Improved Test Generation for High-Activity Circuits.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
30	Russell Impagliazzo, Steven Rudich	Limits on the Provable Consequences of One-way Permutations.	CRYPTO	1988	DBLP DOI BibTeX RDF
30	Wei-Zhi Wu, Peirong Lin	Topological Spaces for Fuzzy Rough Sets Determined by Fuzzy Implication Operators.	FSKD (6)	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.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Statistical interestingness measures, intensity of implication, generalized measures
30	Zhudeng Wang	Decomposability of Implication Operators.	KES (2)	2007	DBLP DOI BibTeX RDF	direct decomposition, Fuzzy logic, implication, t-norm
30	Jerzy Marcinkowski, Leszek Pacholski	Undecidability of the Horn-Clause Implication Problem	FOCS	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.	IEEE Trans. Software Eng.	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.	Order	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.	Acta Informatica	2009	DBLP DOI BibTeX RDF
29	Yongquan Wang, Xiaohong Zhang 0001	Some implication operators on interval sets and rough sets.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
29	Julien Blanchard 0001, Fabrice Guillet, Régis Gras	Assessing the interestingness of temporal rules with Sequential Implication Intensity.	Statistical Implicative Analysis	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.	IFSA (1)	2007	DBLP DOI BibTeX RDF
29	Zhudeng Wang	On the Direct Decomposability of QL-Implication Operators on Product Lattices.	FSKD (1)	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.	ISPA	2007	DBLP DOI BibTeX RDF	Data mining, concept analysis, parallel algorithmic design
29	Gilbert Ritschard, Djamel A. Zighed	Implication Strength of Classification Rules.	ISMIS	2006	DBLP DOI BibTeX RDF
29	Franco Montagna, Luca Spada	Continuous approximations of product implication in MV-algebras with product.	Soft Comput.	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.	ASP-DAC	2005	DBLP DOI BibTeX RDF
29	Yanbin Luo, Kannappan Palaniappan, Yongming Li 0001	New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition.	ICNC (3)	2005	DBLP DOI BibTeX RDF