o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG “Scheduling patients at the UZ Leuven”

Source URL: prolog.univie.ac.at

AMIE: Association Rule Mining under Incomplete Evidence in Ontological Knowledge Bases

Source URL: www2013.wwwconference.org

• Computing
• Software engineering
• Data
• Semantic Web
• Association rule learning
• Data management
• Data mining
• Prolog
• Datalog
• Resource Description Framework
• Inference

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG Analysis of Representation and Operators:

Source URL: prolog.univie.ac.at

kProlog: an algebraic Prolog for kernel programming Francesco Orsini1,2 , Paolo Frasconi2 , and Luc De Raedt1 1 2

Source URL: www.ilp2015.jp

The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson

Source URL: mercurylang.org

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG Arrival time synchronization in vehicle routing

Source URL: prolog.univie.ac.at

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG A supply chain with multiple retailers and nonlinear production costs

Source URL: prolog.univie.ac.at

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1

Source URL: verify.rwth-aachen.de

Demand-Driven Indexing of Prolog Clauses⋆ V´ıtor Santos Costa1 , Konstantinos Sagonas2 , and Ricardo Lopes 1 2 LIACC- DCC/FCUP, University of Porto, Portugal

Source URL: user.it.uu.se