• DML-CZ Home

68N17 Logic programming (4 articles)

• Vojtáš, Peter; Horváth, Tomáš; Krajči, Stanislav; Lencses, Rastislav: An ILP model for a monotone graded classification problem. (English). Kybernetika, vol. 40 (2004), issue 3, pp. [317]-332
• Barták, Roman: Programování s omezujícími podmínkami — na cestě ke svatému grálu. (Czech) [Constraint programming – on the way to the Holly Grail]. Pokroky matematiky, fyziky a astronomie, vol. 45 (2000), issue 3, pp. 218-231
• Vojtáš, Peter: Declarative and procedural semantics of fuzzy similarity based unification. (English). Kybernetika, vol. 36 (2000), issue 6, pp. [707]-720
• Barták, Roman; Štěpánek, Petr: Extendible meta-interpreters. (English). Kybernetika, vol. 33 (1997), issue 3, pp. 291-310