yusuke1997/dblp-id-title huggingface dataset:
Customer Engagement in Facebook Brand Communities: Measurement and Best Practices from the Airline Industry
Topic Detection: Identifying Relevant Topics in Tourism Reviews
Do Negative Experiences Always Lead to Dissatisfaction? - Testing Attribution Theory in the Context of Online Travel Reviews
Understanding Self-service Technology in Hotels in China: Technology Affordances and Constraints
A Frame-based Knowledge Management Tool for Hospitality Front Desks
Effectiveness of Advertising on Social Network Sites: A Case Study on Facebook
On the Significance of Tourism Website Evaluations
Discovering Functional Requirements and Usability Problems for a Mobile Tourism Guide through Context-Based Log Analysis
Re-Engineering the Package Holiday Business
Information Convergence in the Long Tail: The Case of Tourism Destination Information
Usability Evaluation of mobile Applications in leisure-oriented Contexts
A General Train Connections Generation Procedure
Hotel Responses to Guests' Online Reviews: An Exploratory Study on Communication Styles
Measuring Emotions in Real Time: Implications for Tourism Design
Knowledge Bases and User Profiling in Travel and Hospitality Recommender Systems
Senior Travellers as Users of Online Travel Services: A Qualitative Enquiry
An Exploratory Study of the Dependence on Mobile Payment Among Chinese Travelers
Measuring Customer Satisfaction with Online Travel
Where Are We Now? An Initial Analysis of Web-based Marketing Issues Affecting Travel and Tourism
Influence of Offline Activities and Customer Value Creation on Online Travel Community Continuance Usage Intention
An Accommodation Recommender System Based on Associative Networks
Information and Communication Technologies in Business and Corporate Travel Management: An Overview
A Framework for Integrating Heterogeneous Tourism Information Sources
Information and Communication Technologies in Tourism 2012, ENTER 2012, Proceedings of the International Conference in Helsingborg, Sweden, January 25-27, 2012
Collaboration Agents
A Methodology for Building Microformats
TripAdvisor.com vs. NYCGO.com: Evaluation of Functional Components of Generalist and Specialist Tourism Websites
Recommender systems for dynamic packaging of tourism services
Web 2.0: A study of online travel community
Dynamic Packaging Semantic Platform for Tourism Intermediaries
The Use of Internet Sites by Smaller Companies in the Leisure Industry in the Netherlands
Technological Innovations in the Passenger Process of the Airline Industry: A Hypotheses Generating Explorative Study
Mapping the Web Presences of Tourism Destinations: An Analysis of the European Countries
Standard specifications as the basis for salesoriented tourism
Authenticity and Tourism: What TripAdvisor Reviews Reveal About Authentic Travel to Marrakech
Modal tableaux based on graph-rules
Lattice-Based Paraconsistent Logic
The Dominance Relation on the Class of Continuous T-Norms from an Ordinal Sum Point of View
Cylindric algebras for partial relational systems (Quasicylindric algebras)
On the Complexity of the Equational Theory of Relational Action Algebras
p Is
Tracing Relations Probabilistically
Extension Properties of Boolean Contact Algebras
Categoric and Ordinal Voting: An Overview
SCAN Is Complete for All Sahlqvist Formulae
Relational Heterogeneity Relaxed by Subtyping
Unifying Lazy and Strict Computations
Algebras for Program Correctness in Isabelle/HOL
Rasiowa-Sikorski Style Relational Elementary Set Theory
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
Relational Models of Lambek Logics
Towards a Theory of Conversion Relations for Prefixed Units of Measure
ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality
Groups in Allegories
Counting Finite Linearly Ordered Involutive Bisemilattices
Expressive Power and Succinctness of the Positive Calculus of Relations
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
*-Continuous Idempotent Left Semirings and Their Ideal Completion
Linking Theories in Probabilistic Programming
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
Connections between Relation Algebras and Cylindric Algebras
An Algebraic and Logical Approach to the Approximation of Regions
Ampersand - Applying Relation Algebra in Practice
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Discrete Duality for Relation Algebras and Cylindric Algebras
Representability and Program Construction within Fork Algebras (Part II)
Representable and Diagonally Representable Weakening Relation Algebras
Refinements of the RCC25 Composition Table
Aggregation of Votes with Multiple Positions on Each Issue
Modalities, Relations, and Learning
Automatic Proof Generation in Kleene Algebra
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
A Variety Theorem for Relational Universal Algebra
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
About fuzzy preference structures
The GUHA Method and Foundations of (Relational) Data Mining
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$
Emptiness Relations in Property Systems
Verification of Pushdown Systems Using Omega Algebra with Domain
Relational Data Analysis
Modelling Message Buffers with Binary Decision Diagrams
Algebraic Investigation of Connected Components
Cardinality in Allegories
Relational Representation Theorems for Lattices with Negations: A Survey
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Continuous Relations and Richardson's Theorem
Foundations of Concurrent Kleene Algebra
Applying Relational Algebra in 3D Graphical Software Design
Relational Representation Theorem for Powerset Quantales
Dependently-Typed Formalisation of Relation-Algebraic Abstractions
Modal and temporal operators on partial orders
Preparing Relational Algebra for "Just Good Enough" Hardware
Kleene Algebra with Relations
Non-termination in Idempotent Semirings
Relational Constructions in Goguen Categories
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
Determinisation of Relational Substitutions in Ordered Categories with Domain
Coping with semilattices of relations in logics with relative accessibility relations
Complements in Distributive Allegories
Consistent Representation of Rankings
Abstract Dynamic Frames
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices
Calculating With Pointer Structures (Extended Abstract)
Reasoning with Relational Demonic Operators
Lattices in Dedekind categories
Increasing Bisemigroups and Algebraic Routing
Evaluating Sets of Search Points Using Relational Algebra
An Institution Isomorphism for Planar Graph Colouring
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras
Type Checking by Domain Analysis in Ampersand
On the Structure of Generalized Effect Algebras and Separation Algebras
Towards a uniform relational semantics for tabular expressions
Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems
Constructions around Partialities
From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set - (Invited Tutorial)
Weak Kleene Algebra and Computation Trees
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial)
An Ordered Category of Processes
Max-Plus Convex Geometry
Point Axioms in Dedekind Categories
A Note on Complex Algebras of Semigroups
A Set Solver for Finite Set Relation Algebra
Irrationality of Process Replication for Higher-Dimensional Automata
Relational Methods in the Analysis of While Loops: Observations of Versatility
Weak Relational Products
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification
Free Modal Riesz Spaces are Archimedean: A Syntactic Proof
Double Residuated Lattices and Their Applications
Using RELVIEW to solve problems on relation-based discrete structures
False Failure: Creating Failure Models for Separation Logic
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
Developments in Concurrent Kleene Algebra
Equational and implicational classes of co-algebras
Lattice-Based Relation Algebras II
An application of standard BAO theory to some information algebras
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops
Interpretability of First-Order Dynamic Logic in a Relational Calculus
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
On Tools for Completeness of Kleene Algebra with Hypotheses
A Functional, Successor List Based Version of Warshall's Algorithm with Applications
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety
Using Matrix Sparsification to Solve Tropical Linear Vector Equations
Restructuring a Concurrent Refinement Algebra
A Mechanised Abstract Formalisation of Concept Lattices
RelView and Rath - Two Systems for Dealing with Relations
Oriented, Binary, Ordered Trees and Forests Distributive Allegories
How to say Greedy in Fork Algebras
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
Incremental Pseudo Rectangular Organization of Information Relative to a Domain
Weakening Relation Algebras and FL 2 -algebras
A First-Order Calculus for Allegories
Number in Peirce grammar
Approximation Operators in Qualitative Data Analysis
The Finite Representable Relation Algebras are not Recursive (Abstract)
Computing Kernels in Bicromatic Directed Relations (Abstract)
On Algebra of Program Correctness and Incorrectness
Unifying theories of programming
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
On the Skeleton of Stonian p-Ortholattices
Towards Finding Maximal Subrelations with Desired Properties
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
A Relation Algebraic Semantics for a Lazy Functional Logic Language
Stone Relation Algebras
On the Cardinality of Relations
Translating relational programs into PROLOG
Relational Mathematics for Relative Correctness
Categorical Representation Theorems of Fuzzy Relations
Finite Relation Algebras with Normal Representations
Unsharp Demonic Products and Stratified Term Graphs
Relational semantics for Lambek calculus
Mechanised Reasoning and Model Generation for Extended Modal Logics
Towards Certifiable Implementation of Graph Transformation via Relation Categories
Cardinal Addition in Distributive Allegories
A Modal and Relevance Logic for Qualitative Spatial Reasoning
On the Definition and Representation of a Ranking
Weakly Assoclative Relation Algebras with Polyadic Compositlons
The Cube of Kleene Algebras and the Triangular Prism of Multirelations
A relational approach to association rules and functional dependencies
Colorful reducts
Using Probabilistic Kleene Algebra for Protocol Verification
An Algebraic Formalisation of L-Fuzzy Relations
Algebraic Derivation of Until Rules and Application to Timer Verification
Processes and relations
Collagories for Relational Adhesive Rewriting
Complete Congruences of Completely Distributive Lattices
Implementation of Relational Algebra Using Binary Decision Diagrams
An Axiomatization of Arrays for Kleene Algebra with Tests
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
Varieties of Cubical Sets
Computations and Relational Bundles
Formal Protocol Description: Model and validation
A calculus for program construction based on fork algebras, generic algorithms and design strategies
Two Observations in Dioid Based Model Refinement
On Probabilistic Kleene Algebras, Automata and Simulations
Monotone $\varOmega $-Sup-Fuzzy Relations: Converse and Complementation
Theorem Proving Modulo Based on Boolean Equational Procedures
Closure Systems and their Structure
Relation Algebraic Approaches to Fuzzy Relations - (Invited Tutorial)
The Involutive Quantaloid of Completely Distributive Lattices
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs
L-Fuzzy Databases in Arrow Categories
Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck
Change of Base Using Arrow Categories
A Framework for Kleene Algebra with an Embedded Structure
Monomorphic Characterization of n-ary direct products
Relations as Images
Higher-Order Arrow Categories
Equational Reasoning in Non-Classical Logics
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relations in GUHA Style Data Mining
Contact Relations with Applications
Pathfinding through Congruences
Lattice-Based Relation Algebras and Their Representability
An Algebraic Approach to Preference Relations
Omega Algebra, Demonic Refinement Algebra and Commands
On Relational Cycles
Relational Correspondences for Lattices with Operators
Kleene Algebra with Converse
Abstract Strategies and Coherence
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic
Tangent Circle Algebras
Cyclic Group Spectra for Some Small Relation Algebras
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada
Decomposition of Database Preferences on the Power Set of the Domain
General Correctness Algebra
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
Axiomatizing Mixed Relations
Mechanizing Proofs by Unfolding, Folding and Simplification
T-Norm Based Operations in Arrow Categories
Formal Concepts in Dedekind Categories
Reactive Probabilistic Programs and Refinement Algebra
On the Fixpoint Theory of Equality and Its Applications
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings
A Model of Internet Routing Using Semi-modules
Sequential Q-algebras
Investigating Discrete Controllability with Kleene Algebra
Concurrent Kleene Algebra with Tests
Relational Algebraic Approach to the Real Numbers the Additive Group
Tool-Based Verification of a Relational Vertex Coloring Program
Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods
Decidability of Equational Theories for Subsignatures of Relation Algebra
Transitive Separation Logic
Relational Aspects of Relational Database Dependencies
Hardness of Network Satisfaction for Relation Algebras with Normal Representations
Relations Making Their Way from Logics to Mathematics and Applied Sciences
A Calculus of Typed Relations
Domain Range Semigroups and Finite Representations
Theory Extraction in Relational Data Analysis
Decomposing Relations into Orderings
Relation Algebra and RelView Applied to Approval Voting
Predicate Relators
Topological Representation of Contact Lattices
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
Some Properties of Spectral Binary Relations
Decidability by unrefined resolution for propositional modal logics
Extending arrow logic
A Computer Algebra Approach to Relational Systems Using Gröbner Bases
Left-Handed Completeness
Implication-with-possible-exceptions
Local Variable Scoping and Kleene Algebra with Tests
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n
Generating Posets Beyond N
Proof systems in relation algebra
Duality and simulations
Lazy Relations
Relational Matching for Graphical Calculi of Relations
Coequalizers and Tensor Products for Continuous Idempotent Semirings
Monotone Predicate Transformers as Up-Closed Multirelations
Relational Lattices
Extended Conscriptions Algebraically
Combinatorial Principles Relevant to Finite Variable Logic
Lifting Star-Autonomy
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
Solving a Tropical Optimization Problem via Matrix Sparsification
Relational Formalisations of Compositions and Liftings of Multirelations
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL
A General Method for Representing Sets of Relations by Vectors
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]
Nominal Sets over Algebraic Atoms
Calculating with Relations for Graph Algorithmics
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis
Composing Partially Ordered Monads
Aggregation on Bipolar Scales
On space-time duality in computing: Imperative programming versus wave computation
Axiomatic and Strategic Approaches to Bargaining Problems
Bisimilarity of Diagrams
Capturing pointer semantics and scoping rules
A Semiring Approach to Equivalences, Bisimulations and Control
A Relation-Algebraic Approach to Liveness of Place/Transition Nets
Remarks on Mereology of Relations
A While Program Normal Form Theorem in Total Correctness
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings
Interval Bilattices and Some Other Simple Bilattices
Calculational Relation-Algebraic Proofs in Isabelle/Isar
On Completeness of Omega-Regular Algebras
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
Solving Linear Equations in *-continuous Action Lattices
Visiting Some Relatives of Peirce's
Towards an Algebra of Hybrid Systems
Fuzzy Difunctional Dependencles
Non-associative Kleene Algebra and Temporal Logics
Fuzzifying Modal Algebra
Distances, Norms and Error Propagation in Idempotent Semirings
On Two Dually Nondeterministic Refinement Algebras
Connections between cylindric algebras and relation algebras
Relational Concepts in Social Choice
C-Dioids and \mu -Continuous Chomsky-Algebras
Defining Levels of Correctness for Parallel Programs with Temporal Logic of Actions
Relational Measures and Integration
Towards a Probabilistic Interpretation of Game Logic
Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Static Analysis of Programs Using Omega Algebra with Tests
Three types of redundancy in integrity checking: An optimal solution
Concurrency-Preserving Minimal Process Representation
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras
Relational proof system for natural language
Towards Algebraic Separation Logic
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables
The Algebraic Approach II: Dioids, Quantales and Monads
Relations among Matrices over a Semiring
Explaining Voting Paradoxes; Including Arrow's and Sen's Theorems - (Invited Tutorial)
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Relation Algebras Can Tile
Interactive Systems: From Folklore to Mathematics
Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings
Betweenness and Comparability Obtained from Binary Relations
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
A Subintuitionistic Logic and Some of Its Methods
What Else is Undecidable About Loops?
Relational Petri Nets: a new class of high-level Petri nets
Second-Order Properties of Undirected Graphs
Topological Representation of Precontact Algebras
Relational Depth-First-Search with Applications
Preorders, Partial Semigroups, and Quantales
Lazy Semiring Neighbours and Some Applications
Representation theorems for residuated groupoids
Relational Modelling and Solution of Chessboard Problems
Quantifier Elimination in Elementary Set Theory
Some Results about Complex Algebras of Algebras
Completeness of the Relational Calculus MU2
Effect Algebras, Girard Quantales and Complementation in Separation Logic
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers
Relations and GUHA-Style Data Mining II
Boolean Algebras and Stone Maps in Schröder Categories
Algebraization of Hybrid Logic with Binders
Modality, relational guards, and decidability (invited paper)
On the Complexity of Kleene Algebra with Domain
Computational Social Choice Using Relation Algebra and RelView
Dependences Between Domain Constructions in Heterogeneous Relation Algebras
General Representation Theorems for Fuzzy Weak Orders
Duoidally Enriched Freyd Categories
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage
Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, September 14-20, 1998
Generalised N-ary Relations and Allegories
The Structure of Locally Integral Involutive Po-monoids and Semirings
Parameterised Bisimulations: Some Applications
A Decision Method for Duration Calculus
Towards an Algebra of Routing Tables
Relational Logics and Their Applications
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements
Non-termination in Unifying Theories of Programming
Relational Programming in Libra
Decidability of the equational theory of allegories
A Relational View of Subgraph Isomorphism
Closure, Properties and Closure Properties of Multirelations
Monotonicity Analysis Can Speed Up Verification
Sharpness in the Fuzzy World
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility
Automated Reasoning for Hybrid Systems - Two Case Studies -
Semantique relationnelle demoniaque des diagrammes composes
May reasoning be reduced to an information retrieval problem?
Semantics for Logics without Contraction Using Ternary Relations
Relational Representation Theorems for General Lattices with Negations
Data Migration Under a Changing Schema in Ampersand
Towards an Analysis of Dynamic Gossip in Netkat
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView
Generalizing and Modifying the Hoede-Bakker Index
Towards a Formalisation of Relational Database Theory in Constructive Type Theory
Knuth-Bendix Completion as a Data Structure
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
Binary Multirelations
Programs as binary multirelations
Axiomatizing Discrete Spatial Relations
Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs
Relational Approach to Boolean Logic Problems
Multigrade Extension of Relational Grammar