Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Triska, Markus"'
Publikováno v:
In: Gibbons, J., Miller, D. (eds) Functional and Logic Programming. FLOPS 2024. Lecture Notes in Computer Science, vol 14659. Springer, Singapore
We describe the methods and technologies underlying the application Grants4Companies. The application uses a logic-based expert system to display a list of business grants suitable for the logged-in business. To evaluate suitability of the grants, fo
Externí odkaz:
http://arxiv.org/abs/2406.15293
Autor:
Norris, David C., Triska, Markus
We present, as a pure Prolog program, the first executable specification of the 3 + 3 dose-escalation protocol commonly used in early-phase oncology drug development. In this program, the imperative operations of the protocol emerge as consequences o
Externí odkaz:
http://arxiv.org/abs/2402.08334
Autor:
Triska, Markus
In this paper, we present domain-specific languages (DSLs) that we devised for their use in the implementation of a finite domain constraint programming system, available as library(clpfd) in SWI-Prolog and YAP-Prolog. These DSLs are used in propagat
Externí odkaz:
http://arxiv.org/abs/1108.6007
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for \t
Externí odkaz:
http://arxiv.org/abs/1011.5332
The safety of our day-to-day life depends crucially on the correct functioning of embedded software systems which control the functioning of more and more technical devices. Many of these software systems are time-critical. Hence, computations perfor
Externí odkaz:
http://arxiv.org/abs/0903.2251
Termination properties of actual Prolog systems with constraints are fragile and difficult to analyse. The lack of the occurs-check, moded and overloaded arithmetical evaluation via is/2 and the occasional nontermination of finite domain constraints
Externí odkaz:
http://arxiv.org/abs/0903.2168
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Triska, Markus1 triska@dbai.tuwien.ac.at, Musliu, Nysret1 musliu@dbai.tuwien.ac.at
Publikováno v:
Annals of Operations Research. Apr2012, Vol. 194 Issue 1, p413-425. 13p. 7 Diagrams, 1 Graph.
Autor:
Triska, Markus1 triska@dbai.tuwien.ac.at, Musliu, Nysret1 musliu@dbai.tuwien.ac.at
Publikováno v:
Annals of Operations Research. Apr2012, Vol. 194 Issue 1, p427-438. 12p. 3 Diagrams, 3 Charts.