Filters
Dynamic Global Constraints in Constraint Logic Programming
Dynamic Global Constraints in Constraint Logic Programming...
JC - Počítačový hardware a software
- 2001 •
- Vx
Rok uplatnění
Vx - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming
The paper describes the core techniques for solving problem of inductive logic programming using constraint satisfaction.
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming
Inductive logic programming is a sub?eld of machine learning which uses ?rst-order logic as a uniform representation of examples, background knowledge, and hypotheses. In many works, it is assumed that examples are clauses ...
IN - Informatika
- 2012 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem
Inductive Logic Programming (ILP) deals with the problem of finding a hypothesis covering positive examples and excluding negative examples, where both hypotheses and examples are expressed in first-order logic. In this pap...
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Constraint Models for Reasoning on Unification in Inductive Logic Programming
Inductive Logic Programming (ILP) deals with the problem of finding a hypothesis covering all positive examples and excluding negative examples. One of the sub and position of variables in the atoms. In this paper we suggest using <...
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
to plan solar array operations on the ISS using constraint logic programming. Opposite impose additional constraints on the arrays and the arrays may need to be parked safety and operation constraints....
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Using Constraints in Relational Subgroup Discovery
Using Constraints in Relational Subgroup Discovery...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Constraint-Based Relational Subgroup Discovery
Constraint-Based Relational Subgroup Discovery...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
University Course Timetabling with Soft Constraints
An extension of constraint logic programming that allows for weighted partial satisfaction of soft constraints is described and applied to the development of an automated timetabling system for Purdue University. T...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
University Course Timetabling with Soft Constraints
An extension of constraint logic programming that allows for weighted partial satisfaction of soft constraints is described and applied to the development of an automated timetabling system for Purdue University. T...
JD - Využití počítačů, robotika a její aplikace
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 50 029