<--- Back to Details
First PageDocument Content
Programming paradigms / Logic in computer science / Constraint programming / Prolog / Constraint Handling Rules / Abstract machine / Operational semantics / Abstract data type / Semantics / Functional programming / Logic programming / Coq
Date: 2014-09-18 05:58:35
Programming paradigms
Logic in computer science
Constraint programming
Prolog
Constraint Handling Rules
Abstract machine
Operational semantics
Abstract data type
Semantics
Functional programming
Logic programming
Coq

Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers)

Add to Reading List

Source URL: users.ugent.be

Download Document from Source Website

File Size: 62,86 KB

Share Document on Facebook

Similar Documents

Computing / Computational linguistics / Linguistics / Information science / Artificial neural network / SPARQL / Semantic parsing / Word-sense disambiguation / Semantic Web / Natural language processing / Query language / Question answering

Neural Machine Translation for Query Construction and Composition Tommaso Soru 1 Edgard Marx 1 Andr´e Valdestilhas 1 Diego Esteves 2 Diego Moussallem 1 Gustavo Publio 1 Abstract Research on question answering with know

DocID: 1xU5z - View Document

The Uncertainty Principle: A creative formula Ilya Kavalerov∗ December 26, 2017 Abstract There is a need in machine learning to find representations of signals in

DocID: 1vpiw - View Document

Web Scale Photo Hash Clustering on A Single Machine Yunchao Gong, Marcin Pawlowski, Fei Yang, Louis Brandy, Lubomir Boundev, Rob Fergus Facebook Abstract 1010010101001001001#

DocID: 1vnjR - View Document

Combined Optimization and Reinforcement Learning for Manipulation Skills Peter Englert and Marc Toussaint Machine Learning & Robotics Lab University of Stuttgart, Germany Abstract—This work addresses the problem of how

DocID: 1vjBp - View Document

On the complexity of some computational problems in the Turing model Claus Diem November 18, 2013 Abstract Algorithms for concrete problems are usually described and analyzed in some random access machine model. This is

DocID: 1vf5u - View Document