Search results for "implication"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Edward Babb	Joined Normal Form: A Storage Encoding for Relational Databases.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	content addressing hardware, implication network, storage encoding tags, network, relational database, queries, mathematical model, updates, functional dependencies, joins, third normal form, CAFS
16	Robert Brian Cutler, Saburo Muroga	Comments on "Computing Irredundant Normal Forms from Abbreviated Presence Functions".	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	implication relations, minimal sum, presence function, Boolean algebra, prime implicants, covering problem
16	Charles C. Pinter	On decomposing a Boolean function and simplfying the components separately.	Commun. ACM	1970	DBLP DOI BibTeX RDF	basic cells, simplifying Boolean functions, minimization, vertices, prime implication
15	Bijan Davvaz, Osman Kazanci, Sultan Yamak	Interval-valued fuzzy n-ary subhypergroups of n-ary hypergroups.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Hypergroup, n-ary hypergroup, Belong to, Quasicoincident with, n-ary subhypergroup, Fuzzy (?, ? ?q)-fuzzy n-ary subhypergroup, Fuzzy set
15	Xiaodong Liu 0001, Witold Pedrycz, Tianyou Chai, Mingli Song	The Development of Fuzzy Rough Sets with the Use of Structures and Algebras of Axiomatic Fuzzy Sets.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
15	Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara	Armstrong's Inference Rules in Dedekind Categories.	RelMiCS	2009	DBLP DOI BibTeX RDF
15	Mariëlle Stoelinga, Mark Timmer	Interpreting a Successful Testing Process: Risk and Actual Coverage.	TASE	2009	DBLP DOI BibTeX RDF
15	Sven Hartmann, Sebastian Link	Expressive, yet tractable XML keys.	EDBT	2009	DBLP DOI BibTeX RDF
15	Elizabeth Furtado, Albert Schilling, Liadina Camargo	Stories and Scenarios Working with Culture-Art and Design in a Cross-Cultural Context.	ICEIS	2009	DBLP DOI BibTeX RDF	Experience prototyping, Theatrical technique, Interaction design, Scenarios, Stories
15	David Toman 0001, Grant E. Weddell	On Keys and Functional Dependencies as First-Class Citizens in Description Logics.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Path-functional dependency, Relational keys, Description logics
15	Rikard Lindgren	Architectural knowledge in ubiquitous computing innovation.	MUM	2008	DBLP DOI BibTeX RDF
15	Wangyuan Zhang, Tao Li 0006	Microarchitecture soft error vulnerability characterization and mitigation under 3D integration technology.	MICRO	2008	DBLP DOI BibTeX RDF
15	Alin Deutsch, Alan Nash, Jeffrey B. Remmel	The chase revisited.	PODS	2008	DBLP DOI BibTeX RDF	chase
15	Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes	Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.	ICCD	2008	DBLP DOI BibTeX RDF
15	Jian Hou 0004, Fei Yuan, Hong-hai Mi	Consistency, Continuity and Approximation Properties of CRI Algorithm and Triple I Method.	FSKD (1)	2008	DBLP DOI BibTeX RDF
15	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
15	Daowen Qiu	Notes on automata theory based on quantum logic.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	orthomodular lattices, quantum computing, automata, quantum logic
15	Lloyd Humberstone	Investigations into a left-structural right-substructural sequent calculus.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Multiplicative disjunction, Fission, Structural rules, Sequent calculus, Substructural logics
15	Sven Hartmann, Sebastian Link	Numerical Constraints for XML.	WoLLIC	2007	DBLP DOI BibTeX RDF
15	Yang Xu 0001, Shuwei Chen 0001, Jun Liu 0001, Da Ruan 0001	Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.	IFSA (2)	2007	DBLP DOI BibTeX RDF
15	Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser, Graçaliz Pereira Dimuro	The Best Interval Representation of Fuzzy S-Implications and Automorphisms.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
15	Sven Hartmann, Sebastian Link, Thu Trinh	Efficient Reasoning About XFDs with Pre-image Semantics.	DASFAA	2007	DBLP DOI BibTeX RDF
15	Linda Buisman, Rajeev Goré	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
15	Shirley Halevy, Oded Lachish, Ilan Newman, Dekel Tsur	Testing Properties of Constraint-Graphs.	CCC	2007	DBLP DOI BibTeX RDF
15	Mark Freischlad, Martina Schnellenbach-Held, Torben Pullmann	Evolutionary Generation of Implicative Fuzzy Rules for Design Knowledge Representation.	EG-ICE	2006	DBLP DOI BibTeX RDF
15	Jérôme David, Fabrice Guillet, Henri Briand	Matching directories and OWL ontologies with AROMA.	CIKM	2006	DBLP DOI BibTeX RDF	data-mining, semantic web, association rules, ontology matching
15	HoonSang Jin, Fabio Somenzi	Strong conflict analysis for propositional satisfiability.	DATE	2006	DBLP DOI BibTeX RDF
15	Cindy L. Bethel, Lawrence O. Hall, Dmitry B. Goldgof	Mining for Implications in Medical Data.	ICPR (1)	2006	DBLP DOI BibTeX RDF
15	David Toman 0001, Grant E. Weddell	On Keys and Functional Dependencies as First-Class Citizens in Description Logics.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Andrzej Nowak, Robin R. Vallacher, Wieslaw Bartkowski	Information and Influence in Social Networks.	EKAW	2006	DBLP DOI BibTeX RDF
15	Remco R. Bouckaert, Milan Studený	Racing for Conditional Independence Inference.	ECSQARU	2005	DBLP DOI BibTeX RDF
15	Bassem Sayrafi, Dirk Van Gucht	Differential constraints.	PODS	2005	DBLP DOI BibTeX RDF
15	Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock	Examining Indistinguishability-Based Proof Models for Key Establishment Protocols.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
15	Sven Hartmann, Sebastian Link	Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation
15	Jeffrey V. Nickerson	The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature.	HICSS	2005	DBLP DOI BibTeX RDF
15	Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi	Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
15	Willem J. Blok, James G. Raftery	Fragments of R-Mingle.	Stud Logica	2004	DBLP DOI BibTeX RDF	Sugihara algebra, mingle, fragment, RM, relevance logic
15	Tien Dung Do, Siu Cheung Hui, Alvis Cheuk M. Fong	Mining Association Rules Using Relative Confidence.	IDEAL	2004	DBLP DOI BibTeX RDF
15	Leah Reeves	Determining efficient multimodal information-interaction spaces for C2 systems.	ICMI	2004	DBLP DOI BibTeX RDF	multimodal design, multisensory, HCI, guidelines, command and control
15	Jun Ma 0002, W. J. Li, Yang Xu 0001, Z. M. Song	A model for handling linguistic terms in the framework of lattice-valued logic LF(X).	SMC (2)	2004	DBLP DOI BibTeX RDF
15	Jinwen Xi, Peixin Zhong	Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.	ICCD	2004	DBLP DOI BibTeX RDF
15	Wei Li 0002	A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT.	CP	2004	DBLP DOI BibTeX RDF
15	Stéphane Coulondre	A top-down proof procedure for generalized data dependencies.	Acta Informatica	2003	DBLP DOI BibTeX RDF
15	Frédéric Hoogstoel, Ludovic Collet, Alain Derycke, Xavier Le Pallec	The Reciprocity Project. A P2P Meta-groupware Supporting Co-evolution and Reciprocity.	CRIWG	2003	DBLP DOI BibTeX RDF
15	Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon 0001	Deciding validity in a spatial logic for trees.	TLDI	2003	DBLP DOI BibTeX RDF
15	Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar	On the Universal and Existential Fragments of the µ-Calculus.	TACAS	2003	DBLP DOI BibTeX RDF
15	Francisco Javier Macias, Mike Holcombe, Marian Gheorghe 0001	A Formal Experiment Comparing Extreme Programming with Traditional Software Construction.	ENC	2003	DBLP DOI BibTeX RDF
15	Hai Zhuge, Yunchuan Sun, Weiyu Guo	Theory and Algorithm for Rule Base Refinement.	IEA/AIE	2003	DBLP DOI BibTeX RDF
15	Emil Gizdarski, Hideo Fujiwara	SPIRIT: a highly robust combinational test generation algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
15	Aggelos Kiayias, Moti Yung	Breaking and Repairing Asymmetric Public-Key Traitor Tracing.	Digital Rights Management Workshop	2002	DBLP DOI BibTeX RDF
15	Michel C. A. Klein, Atanas Kiryakov, Damyan Ognyanov, Dieter Fensel	Finding and Characterizing Changes in Ontologies.	ER	2002	DBLP DOI BibTeX RDF
15	Tetsuya Murai, Michinori Nakata, Yoshiharu Sato	Association Rules and Non-Classical Logics.	COMPSAC	2002	DBLP DOI BibTeX RDF
15	Laura Giordano 0001, Camilla Schwind	Towards a Conditional Logic of Actions and Causation.	JELIA	2002	DBLP DOI BibTeX RDF
15	Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez	A Hybrid Approach for SAT.	CP	2002	DBLP DOI BibTeX RDF
15	Lintao Zhang, Sharad Malik	Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.	CP	2002	DBLP DOI BibTeX RDF
15	Gianpiero Cattaneo, Davide Ciucci	Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra
15	Chin Ngai Sze, Yu-Liang Wu	Improved alternative wiring scheme applying dominator relationship.	ASP-DAC	2001	DBLP DOI BibTeX RDF
15	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	Multi-adjoint Logic Programming with Continuous Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
15	George Q. Huang, Kai-Ling Mak, J. Y. Shen, J. Q. Yan	Web-based Product Design Review: Implementation Perspective.	CSCWD	2001	DBLP DOI BibTeX RDF
15	Francesc Esteva, Lluís Godo, Petr Hájek 0001, Mirko Navara	Residuated fuzzy logics with an involutive negation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
15	Maurice Bernadet	Basis of Fuzzy Knowledge Discovery System.	PKDD	2000	DBLP DOI BibTeX RDF
15	Jan Rauch, Milan Simunek	Mining for 4ft Association Rules.	Discovery Science	2000	DBLP DOI BibTeX RDF
15	Stéphane Coulondre	Chasing Relational Database Constraints Backwards.	DEXA	2000	DBLP DOI BibTeX RDF
15	Wenfei Fan, Jérôme Siméon	Integrity Constraints for XML.	PODS	2000	DBLP DOI BibTeX RDF
15	Camilla Schwind	A Theory for Causal Reasoning.	KI	1999	DBLP DOI BibTeX RDF
15	David J. Pym	On Bunched Predicate Logic.	LICS	1999	DBLP DOI BibTeX RDF
15	Philippe Besnard, Marie-Odile Cordier	Inferring Causal Explanations.	ESCQARU	1999	DBLP DOI BibTeX RDF
15	Thomas Lukasiewicz	Probabilistic and Truth-Functional Many-Valued Logic Programming.	ISMVL	1999	DBLP DOI BibTeX RDF	many-valued logic programming, logics of probability, truth-functional many-valued logics
15	Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh	Efficient Detection of Vacuity in ACTL Formulaas.	CAV	1997	DBLP DOI BibTeX RDF
15	M. Nakata	Functional dependencies in fuzzy databases.	KES (2)	1997	DBLP DOI BibTeX RDF
15	Michael G. McNamer, H. Troy Nagle	ITA: An algorithm for IDDQ testability analysis.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	integrated circuit testing, testability analysis, I DDQ testing, leakage faults
15	Boon Toh Low	Modeling Commonsense Rules in an Inference Network.	PRICAI	1996	DBLP DOI BibTeX RDF	Areas inference network, belief systems, conditionals, commonsense reasoning
15	John Esch, Robert Levinson	In Implementation Model for Contexts and Negation in Conceptual Graphs.	ICCS	1995	DBLP DOI BibTeX RDF	Contexts, Knowledge Representation, Consistency, Retrieval, Inference, Conceptual Graphs, Negation
15	Marianne Baudinet, Jan Chomicki, Pierre Wolper	Constraint-Generating Dependencies.	ICDT	1995	DBLP DOI BibTeX RDF
15	Hyoung B. Min, Hwei-Tsu Ann Luh, William A. Rogers	Hierarchical test pattern generation: a cost model and implementation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert R. Wang	Computation of floating mode delay in combinational circuits: practice and implementation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	Laura Giordano 0001, Alberto Martelli	A Modal Framework for Structured Logic Programs.	ELP	1992	DBLP DOI BibTeX RDF
15	Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri	Implicative Formulae in the "Proofs as Computations" Analogy.	POPL	1990	DBLP DOI BibTeX RDF
15	Stefan Brass	Beginnings of a Theory of General Database Completions.	ICDT	1990	DBLP DOI BibTeX RDF
15	Michael H. Schulz, Elisabeth Auth	Improved deterministic test pattern generation with applications to redundancy identification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
15	Alexander Leitsch	Deciding Horn Classes by Hyperresolution.	CSL	1989	DBLP DOI BibTeX RDF
15	Thanasis Hadzilacos, Vassos Hadzilacos	Transaction Synchronisation in Object Bases.	PODS	1988	DBLP DOI BibTeX RDF
15	Stavros S. Cosmadakis, Paris C. Kanellakis	Two Applications of Equational Theories to Database Theory.	RTA	1985	DBLP DOI BibTeX RDF
15	David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv	Testing Implications of Data Dependencies.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	relational databases, data dependencies, functional dependencies, chase, tableaux, multivalued dependencies, join dependencies
15	David Maier 0001, Alberto O. Mendelzon, Yehoshua Sagiv	Testing Implications of Data Dependencies (Abstract).	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
14	Jianxin Zhao, Pengbin Gao	Configurations of Ambidextrous Innovation and Its Performance Implication in the Context of Digital Transformation.	Syst.	2024	DBLP DOI BibTeX RDF
14	Wuhua Hu	Generic Stability Implication From Full Information Estimation to Moving-Horizon Estimation.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
14	Guido Gherardi, Eugenio Orlandelli, Eric Raidl	Proof Systems for Super- Strict Implication.	Stud Logica	2024	DBLP DOI BibTeX RDF
14	Zhexiong Liu, Jing Zhang, Jiaying Lu 0001, Wenjing Ma, Joyce C. Ho	LogicPrpBank: A Corpus for Logical Implication and Equivalence.	CoRR	2024	DBLP DOI BibTeX RDF
14	Linwei Sang, Yinliang Xu, Hongbin Sun 0002, Qiuwei Wu, WenChuan Wu 0001	Distribution Locational Marginal Emission for Carbon Alleviation in Distribution Networks: Formulation, Calculation, and Implication.	CoRR	2024	DBLP DOI BibTeX RDF
14	Stefan Woerner, Stephan M. Wagner, Yueshan Chu, Marco Laumanns	Bonus or Penalty? Designing Service-Level Agreements for a Decentralized Supply Chain: The Implication of Return on Investment.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
14	Natanael Alpay, Peter Jipsen, Melissa Sugimoto	Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
14	Sukriti Roy, Joginder Singh, Shubhra Sankar Ray	Weighted Combination of Łukasiewicz implication and Fuzzy Jaccard similarity in Hybrid Ensemble Framework (WCLFJHEF) for Gene Selection.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
14	Minxia Luo, Qianqian Huang, Donghui Xu	Picture fuzzy reasoning full implication method and its application.	Eng. Appl. Artif. Intell.	2024	DBLP DOI BibTeX RDF
14	Sebastià Massanet, Raquel Fernandez-Peralta, Michal Baczynski 0001, Balasubramaniam Jayaram	On valuable and troubling practices in the research on classes of fuzzy implication functions.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
14	Fang Li, Xiyang Yang	A novel forecasting model based on the raised ordered pair fuzzy time series and fuzzy implication.	Int. J. Mach. Learn. Cybern.	2024	DBLP DOI BibTeX RDF
14	Xinlei Sun, Jianjun Zhu, Jiepeng Wang, Ignacio Javier Pérez Gálvez, Francisco Javier Cabrerizo	Consensus-reaching process in multi-stage large-scale group decision-making based on social network analysis: Exploring the implication of herding behavior.	Inf. Fusion	2024	DBLP DOI BibTeX RDF
14	Renhong Huang, Jiarong Xu, Xin Jiang, Chenglu Pan, Zhiming Yang, Chunping Wang, Yang Yang	Measuring Task Similarity and Its Implication in Fine-Tuning Graph Neural Networks.	AAAI	2024	DBLP DOI BibTeX RDF
14	Shuichi Katsumata, Yi-Fu Lai, Michael Reichle	Breaking Parallel ROS: Implication for Isogeny and Lattice-Based Blind Signatures.	Public Key Cryptography (1)	2024	DBLP DOI BibTeX RDF
14	Christoph Berkholz, Dietrich Kuske, Christian Schwarz	Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.	STACS	2024	DBLP DOI BibTeX RDF