Using Rules to Generate and Execute Workflows in Smart Factories Dörthe Arndt, Joachim Van Herwegen, Ruben Verborgh, Erik Mannens, and Rik Van de Walle Ghent University - iMinds - Data Science Lab Sint-Pietersnieuwstraa

Source URL: ceur-ws.org

• Workflow technology
• Software
• Application software
• Engineering
• Workflow
• Application programming interface
• Scientific workflow system

Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi

Source URL: stephenbach.net

• Fuzzy logic
• Quantification
• Logic in computer science
• Artificial intelligence
• Non-classical logic
• Probabilistic soft logic
• Fuzzy set
• Quantifier
• Fuzzy control system
• FO
• Universal quantification
• PSL

A Toolkit For Business Process Owners to Capture Early System Requirements Ken Decreus, Frederik Gailly, Geert Poels Faculty of Economics and Business Administration, Ghent University {ken.decreus, frederik.gailly, geert

Source URL: sbpm2008.fzi.de

THE IMPOSSIBILITY OF A BALANCED TRANSPORTATION SYSTEM by Randall Ghent, for Towards Carfree Cities IV, July 19-24, Berlin, Germany Introduction: In much of the Western world and beyond, the automobile has become the most

Source URL: www.worldcarfree.net

Interest based selection of user generated content for rich multimedia services Olivier Van Laere, Matthias Strobbe, Samuel Dauwe, Bart Dhoedt, Filip De Turck, Piet Demeester Ghent University - IBBT - IMEC, Department of

Source URL: www.van-laere.net

• Computing
• Search engine optimization
• Keyword Services Platform
• Selection-based search
• Keyword
• Recommender system
• Internet marketing

A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University

Source URL: logica.ugent.be

• Logic in computer science
• Proof theory
• Non-classical logic
• Philosophical logic
• Type theory
• Modal logic
• Lambda calculus
• Curry–Howard correspondence
• Logic
• Mathematical logic
• Mathematics

The Ghent University sustainable seafood project and the role of educational institutions in raising awareness about sustainable seafood Kinds Arne1,2, Magda Vincx1 and Nancy Fockedey3 1

Source URL: www.vliz.be

• Earth
• Seafood
• Sustainable seafood
• Ghent University
• Ghent
• Sustainable fishery
• Overfishing
• Sustainability
• Environment
• Sustainable food system
• Food and drink

Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed]

Source URL: logica.ugent.be

• Type theory
• Semantics
• Predicate logic
• Proof theory
• Quantification
• Type system
• Model theory
• Mathematical logic
• Exception handling
• Logic
• Metalogic
• Science

Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University

Source URL: logica.ugent.be

• Logic
• Proof theory
• Programming language semantics
• Curry–Howard correspondence
• Philosophy of computer science
• Type theory
• Operational semantics
• Programming language
• Interpretation
• Theoretical computer science
• Logic in computer science
• Mathematical logic

PATHS TO POWER: LABOR LAW, UNION DENSITY, AND THE GHENT SYSTEM Matthew Dimick* ABSTRACT Advocates for the labor movement are understandably disheartened by the uncertain future of the Employee Free Choice Act. Underlying

Source URL: law.wustl.edu

• Industrial relations
• Management
• Labor
• Trade unions
• Labour law
• Ghent system
• Labor rights
• Union busting
• Collective bargaining
• Labour relations
• Human resource management
• Social programs