Search results for "Galois-connection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
76	George Georgescu, Andrei Popescu 0001	Non-commutative fuzzy Galois connections.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Non-commutative fuzzy logic, Fuzzy Galois connection, Non-commutative conjunction, Fuzzy relation
73	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
65	Radim Belohlávek, Tatána Funioková, Vilém Vychodil	Galois Connections with Truth Stressers: Foundations for Formal Concept Analysis of Object-Attribute Data with Fuzzy Attributes.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
63	Gabriele Castellini, David B. Holgate	A Link Between Two Connectedness Notions.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	morphism orthogonality, closure operator, connectedness, Galois connection
63	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
51	Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg	Galois Connection for Hyperclones.	ISMVL	2010	DBLP DOI BibTeX RDF	hyperoperation, hyperclones, Galois connection
50	Jean Diatta, Daniel Rajaonasy Feno, André Totohasina	Galois Lattices and Bases for MGK-Valid Association Rules.	CLA	2006	DBLP DOI BibTeX RDF	Quality measure, Closure operator, Galois connection, Basis, Negative association rule
50	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
40	Ghada Gasmi, Sadok Ben Yahia, Engelbert Mephu Nguifo, Yahya Slimani	IGB: A New Informative Generic Base of Association Rules.	PAKDD	2005	DBLP DOI BibTeX RDF	Generic base, Axio-matic system, Association rules, Galois connection
40	George Georgescu, Andrei Popescu 0001	Non-dual fuzzy connections.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection
40	Boris A. Romov	Completeness Theory for Vector Partial Multiple-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
38	David Darais, David Van Horn	Constructive Galois connections: taming the Galois connection framework for mechanized metatheory.	ICFP	2016	DBLP DOI BibTeX RDF
38	David Darais, David Van Horn	Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory.	CoRR	2015	DBLP BibTeX RDF
38	Ali Jaoua, Samir Elloumi	Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier.	J. Syst. Softw.	2002	DBLP DOI BibTeX RDF
37	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
36	Klaus Denecke, Dara Phusanga	Hyperformulas and Solid Algebraic Systems.	Stud Logica	2008	DBLP DOI BibTeX RDF	AMS subject classification 03B50, 08A46, 08A30
32	Amedeo Napoli, Florence Le Ber	The Galois lattice as a hierarchical structure for topological relations.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06B99
32	Tomasz Brzezinski, Ryan B. Turner	The Galois Theory of Matrix C-rings.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
31	Nadia Creignou, Henning Schnoor, Ilka Schnoor	Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.	CSL	2008	DBLP DOI BibTeX RDF
27	Manuel Bodirsky, Martin Hils, Barnaby Martin	On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction.	LICS	2010	DBLP DOI BibTeX RDF	Constraint Satisfaction, Galois Connection, Model Theory
27	Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia	Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.	RelMiCS	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Galois Connection, Minimal representation
27	Sukriti Bhattacharya, Agostino Cortesi	A Generic Distortion Free Watermarking Technique for Relational Databases.	ICISS	2009	DBLP DOI BibTeX RDF	Database Watermarking, Abstract Interpretation, Galois Connection, HMAC
27	Raffaella Bernardi, Anna Szabolcsi	Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
27	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
27	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Multi-adjoint Concept Lattices: Definition and Representation Theorem.	ICFCA	2007	DBLP DOI BibTeX RDF	multi-adjoint lattices, implication triples, concept lattices, Galois connection
27	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
27	Florent Domenach, Bruno Leclerc	Biclosed Binary Relations and Galois Connections.	Order	2001	DBLP DOI BibTeX RDF	join irreducible, lattice, relation, closure, Galois connection
27	Gabriele Castellini	Connectedness with Respect to a Closure Operator.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	constant morphism, closure operator, connectedness, Galois connection
27	Maria I. Sessa	Translations and similarity-based logic programming.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Logic Programming, Abstract interpretation, Approximate reasoning, Galois connection, Similarity relation
27	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
27	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
27	Henning Schnoor, Ilka Schnoor	Partial Polymorphisms and Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF	partial polymorphisms, computational complexity, constraint satisfaction problems, clones
27	Jifeng He 0001, C. A. R. Hoare	Linking Theories of Concurrency.	ICTAC	2005	DBLP DOI BibTeX RDF
27	Alain Casali, Rosine Cicchetti, Lotfi Lakhal	Extracting semantics from data cubes using cube transversals and closures.	KDD	2003	DBLP DOI BibTeX RDF	algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
24	Isabella Mastroeni, Michele Pasqua	Domain Precision in Galois Connection-Less Abstract Interpretation.	SAS	2023	DBLP DOI BibTeX RDF
24	Yang Xu 0040, Haibin Kan, Guangyue Han	A Galois Connection Approach to Wei-Type Duality Theorems.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
24	Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora 0001	A Galois connection between partial formal contexts and attribute sets.	CLA	2022	DBLP BibTeX RDF
24	Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco	Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.	CLA	2022	DBLP BibTeX RDF
24	Yang Xu 0040, Haibin Kan, Guangyue Han	A Galois Connection Approach to Wei-Type Duality Theorems.	CoRR	2020	DBLP BibTeX RDF
24	Ryuta Arisaka, Takayuki Ito 0001	Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report).	CoRR	2020	DBLP BibTeX RDF
24	Vasco Brattka	A Galois connection between Turing jumps and limits.	CoRR	2018	DBLP BibTeX RDF
24	Vasco Brattka	A Galois connection between Turing jumps and limits.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
24	Radoslaw Antoni Kycia	Landauer's Principle as a Special Case of Galois Connection.	Entropy	2018	DBLP DOI BibTeX RDF
24	Emil Jerábek	Galois connection for multiple-output operations.	CoRR	2016	DBLP BibTeX RDF
24	Peter Fulla, Stanislav Zivný	A Galois Connection for Weighted (Relational) Clones of Infinite Size.	ACM Trans. Comput. Theory	2016	DBLP DOI BibTeX RDF
24	Peter Fulla, Stanislav Zivný	A Galois Connection for Valued Constraint Languages of Infinite Size.	CoRR	2015	DBLP BibTeX RDF
24	Peter Fulla, Stanislav Zivný	A Galois Connection for Valued Constraint Languages of Infinite Size.	ICALP (1)	2015	DBLP DOI BibTeX RDF
24	Simon Kramer 0001	A Galois-Connection between Cattell's and Szondi's Personality Profiles.	CoRR	2014	DBLP BibTeX RDF
24	Simon Kramer 0001	A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles.	CoRR	2014	DBLP BibTeX RDF
24	Patrick Cousot, Radhia Cousot	A Galois connection calculus for abstract interpretation.	POPL	2014	DBLP DOI BibTeX RDF
24	Wojciech Dzik, Jouni Järvinen, Michiro Kondo	Intuitionistic modal logic with a galois connection has the finite model property1.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
24	Francesco Ciraulo, Giovanni Sambin	A constructive Galois connection between closure and interior.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
24	Huawen Liu, Lei Liu, Huijie Zhang	A fast pruning redundant rule method using Galois connection.	Appl. Soft Comput.	2011	DBLP DOI BibTeX RDF
24	David A. Cohen, Páidí Creed, Peter G. Jeavons, Stanislav Zivný	An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.	MFCS	2011	DBLP DOI BibTeX RDF
24	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
24	Meng Sun	Pre-Galois Connection on Coalgebras for Generic Component Refinement.	TTSS	2007	DBLP DOI BibTeX RDF
24	Jianmin Ma, Wen-Xiu Zhang, Yee Leung, Xiaoxue Song	Granular computing and dual Galois connection.	Inf. Sci.	2007	DBLP DOI BibTeX RDF
24	Stan J. Surma	A Galois Connection.	Logica Universalis	2007	DBLP DOI BibTeX RDF
24	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
24	Sadok Ben Yahia, Narjes Doggaz, Yahya Slimani, Jihem Rezgui	A Galois connection semantics-based approach for deriving generic bases of association rules.	EGC	2004	DBLP BibTeX RDF
24	Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia	Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making.	RelMiCS	2000	DBLP BibTeX RDF
24	Patrick Cousot, Radhia Cousot	Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	JTASPEFT/WSA	1991	DBLP BibTeX RDF
23	Jean Diatta	Galois closed entity sets and k -balls of quasi-ultrametric multi-way dissimilarities.	Adv. Data Anal. Classif.	2007	DBLP DOI BibTeX RDF	JEL Classification C00, C45
23	Ken-etsu Fujita	Galois Embedding from Polymorphic Types into Existential Types.	TLCA	2005	DBLP DOI BibTeX RDF
23	Ruggero G. Pensa, Jean-François Boulicaut	Towards Fault-Tolerant Formal Concept Analysis.	AI*IA	2005	DBLP DOI BibTeX RDF
23	Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Mining Formal Concepts with a Bounded Number of Exceptions from Transactional Data.	KDID	2004	DBLP DOI BibTeX RDF
23	Kevin Backhouse, Roland Carl Backhouse	Logical Relations and Galois Connections.	MPC	2002	DBLP DOI BibTeX RDF
23	David A. Schmidt	Structure-Preserving Binary Relations for Program Abstraction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
23	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
13	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Stud Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
13	Yassine Djouadi, Henri Prade	Interval-Valued Fuzzy Formal Concept Analysis.	ISMIS	2009	DBLP DOI BibTeX RDF
13	Florent R. Madelaine, Barnaby Martin	The Complexity of Positive First-order Logic without Equality.	LICS	2009	DBLP DOI BibTeX RDF
13	Xueyou Chen	Concept Lattices in L-Rough Sets.	ISNN (2)	2009	DBLP DOI BibTeX RDF	L-set, The object (property) oriented concept lattice, Rough set, Formal concept analysis
13	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
13	Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze	Conway's Question: The Chase for Completeness.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30
13	Céline Hébert, Alain Bretto, Bruno Crémilleux	Optimizing hypergraph transversal computation with an anti-monotone constraint.	SAC	2007	DBLP DOI BibTeX RDF
13	Abdelsalam Shanneb, John Potter	Lock Selection Made Easy.	ASWEC	2006	DBLP DOI BibTeX RDF
13	Jeff W. Sanders	Computations and Relational Bundles.	RelMiCS	2006	DBLP DOI BibTeX RDF
13	Jifeng He 0001, Jeff W. Sanders	Unifying Probability.	UTP	2006	DBLP DOI BibTeX RDF
13	Helmut Röhrl	On N-Summations, II.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	semimodules, N-summation, unconditionally summable, semirings
13	Nicolas Pasquier, Rafik Taouil, Yves Bastide, Gerd Stumme, Lotfi Lakhal	Generating a Condensed Representation for Association Rules.	J. Intell. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Galois closure operator, min-max association rules, basis for association rules, data mining, generators, frequent closed itemsets, condensed representation
13	Mineichi Kudo, Tetsuya Murai	A New Treatment and Viewpoint of Information Tables.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
13	Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau	Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.	ICCS	2005	DBLP DOI BibTeX RDF
13	Jaume Baixeries, José L. Balcázar	Characterization and Armstrong Relations for Degenerate Multivalued Dependencies Using Formal Concept Analysis.	ICFCA	2005	DBLP DOI BibTeX RDF
13	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
13	Baptiste Jeudy, François Rioult	Database Transposition for Constrained (Closed) Pattern Mining.	KDID	2004	DBLP DOI BibTeX RDF
13	Lei Jia, Jun Yao, Renqing Pei	Mining Association Rules with Frequent Closed Itemsets Lattice.	KES	2003	DBLP DOI BibTeX RDF
13	Alexej P. Pynko	Extensions of Halkowska-Zajac's three-valued paraconsistent logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
13	Mirko Zanotti	Security Typings by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
13	Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau	Generalized Automata and Their Net Representations.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
13	Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal	Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Laurent Chaudron, Nicolas Maille	Generalized Formal Concept Analysis.	ICCS	2000	DBLP DOI BibTeX RDF
13	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiling, continuations, category theory, Galois connections
13	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
13	Janos J. Sarbo, József Farkas	Concept Sublattices.	ECML	1994	DBLP DOI BibTeX RDF
13	Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis	Property Preserving Simulations.	CAV	1992	DBLP DOI BibTeX RDF
13	Elias Dahlhaus, Marek Karpinski	A Fast Parallel Algorithm for Computing all Maximal Cliques in a Graph and the Related Problems (Extended Abstract).	SWAT	1988	DBLP DOI BibTeX RDF