Zobrazeno 1 - 10
of 119
pro vyhledávání: '"Thom Frühwirth"'
Autor:
Thom Frühwirth
Publikováno v:
Fundamenta Informaticae. 173:253-283
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3e7bac41ee0e407b2173c25e45d96cd
https://doi.org/10.3233/fi-2020-1924
https://doi.org/10.3233/fi-2020-1924
Autor:
Thom Frühwirth
Publikováno v:
Theory and Practice of Logic Programming. 18:759-805
Constraint Handling Rules (CHR) is both an effective concurrent declarative programming language and a versatile computational logic formalism. In CHR, guarded reactive rules rewrite a multi-set of constraints. Concurrency is inherent, since rules ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f45799e0a730fae84c88d76a360a9313
https://doi.org/10.1017/s1471068418000078
https://doi.org/10.1017/s1471068418000078
Publikováno v:
IV
This paper discusses a rule-based approach for visualizing proofs using tableaux techniques. Semantic Tableau is usually used to prove by refutation. In addition, tableaux techniques are commonly studied in different courses. Visualization is an effe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84f87277427c6d3e26088698eccf812f
https://doi.org/10.1109/iv.2018.00069
https://doi.org/10.1109/iv.2018.00069
Autor:
Daniel Gall, Thom Frühwirth
Publikováno v:
Functional and Logic Programming ISBN: 9783319906850
FLOPS
FLOPS
Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, confluence is often too strict in practical applications because it also con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b59026cdb3043bc28fb95070165c9d1
https://doi.org/10.1007/978-3-319-90686-7_8
https://doi.org/10.1007/978-3-319-90686-7_8
Autor:
Thom Frühwirth
Publikováno v:
Declarative Programming and Knowledge Management ISBN: 9783030008000
DECLARE
DECLARE
In previous work we added justifications to Constraint Handling Rules (CHR) to enable logical retraction of constraints for dynamic algorithms. We presented a straightforward source-to-source transformation to implement this conservative extension. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfc3224121a8cafe3800b423e527dce6
https://doi.org/10.1007/978-3-030-00801-7_3
https://doi.org/10.1007/978-3-030-00801-7_3
Publikováno v:
Rules and Reasoning ISBN: 9783319999050
RuleML+RR
RuleML+RR
Constraint Handling Rules (CHR) is usually compiled to logic programming languages. While there are implementations for imperative programming languages such as C and Java, its most popular host language remains Prolog. In this paper, we present Chr.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb7cc50087af79c84dee707ab46fe522
https://doi.org/10.1007/978-3-319-99906-7_9
https://doi.org/10.1007/978-3-319-99906-7_9
Autor:
Thom Frühwirth
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783319944593
LOPSTR
LOPSTR
We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ba6ff36469ce1369ba8debd396dc186
https://doi.org/10.1007/978-3-319-94460-9_9
https://doi.org/10.1007/978-3-319-94460-9_9
Autor:
Thom Frühwirth
Publikováno v:
Rules and Reasoning ISBN: 9783319999050
RuleML+RR
RuleML+RR
We are developing a rule-based implementation of a tool to analyse and generate graphs. It is used in the domain of mason’s marks. For thousands of years, stonemasons have been inscribing these symbolic signs on dressed stone. Geometrically, mason
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9c5f9a38bd6dacbdbd01c88c7653856
https://doi.org/10.1007/978-3-319-99906-7_18
https://doi.org/10.1007/978-3-319-99906-7_18
Publikováno v:
IV
The paper introduces an approach that allows for detecting interaction with a graphical display in a rule-based declarative approach. It also introduces the possibility of connecting the interaction to a specific animation step to be performed. The t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0454ecb2106548039f21ba68e52d0dd9
https://doi.org/10.1109/iv.2017.59
https://doi.org/10.1109/iv.2017.59
Publikováno v:
IV
Trees and graphs are two data structures that are commonly used in representing different kinds of data. They also have many associated algorithms taught in different courses. It is thus beneficial to have a tool that could be used by students, teach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d7e063b1bfdd9d78b2ab4dc4f8a5797
https://doi.org/10.1109/iv.2017.58
https://doi.org/10.1109/iv.2017.58