Publikationer 2017 2019

2019

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, I : International Journal of Approximate Reasoning. 105, s. 217-228

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Springer , Bind 11408. s. 94 111 s. (Lecture Notes in Computer Science, Bind 11408).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

HCML: Write you own chatbot in the HCML script language and run in an interpreter written in Processing

Christiansen, H., 2019

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Robot Gestalts in Staged Performances: Poster abstract

Christiansen, H., Hobye, M. & Lindelof, A. M., mar. 2019.

Publikation: KonferencebidragPosterForskningpeer review

Åben adgang

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Bind 11285. s. 112 130 s. (Lecture Notes in Computer Science, Bind 11285).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Worlding Machine

Pedersen, M. H., Gommesen, N., Hann, R., Euro, P., Harsløff, O. & Laursen, B., 3 mar. 2019

Publikation: Bidrag der ikke har en tekstformLyd og/eller billed produktion (digital)Forskning

2018

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (red.). Santa Fe: Association for Computational Linguistics, s. 1-9

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, s. 589-594 (IEEE RO-MAN proceedings; Nr. 2018).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Roskilde: Roskilde Universitet. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

Creating synergies between traditional crafts and Fablab Making: Exploring digital mold-making for glassblowing

Padfield, N., Hobye, M., Pedersen, M. H., Knight, J. & Ranten, M. F., 2018, Proceedings of FabLearn Europe 2018: Conference on Creativity and Making in Education. New York: Association for Computing Machinery, s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Designing excuses for interaction to facilitate social curiosity

Hobye, M., Padfield, N. & Löwgren, J., 2018, FDG '18 Proceedings of the 13th International Conference on the Foundations of Digital Games. New York: Association for Computing Machinery, 63

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Natural language processing with (tabled and constraint) logic programming

Christiansen, H. & Dahl, V., 2018, Declarative Logic Programming: Theory, Systems, and Applications. Kifer, M. & Liu, Y. A. (red.). New York: Association for Computing Machinery, s. 477-511 35 s.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Designing an evaluation infrastructure for effects-driven healthcare IT development

Brandrup, M., 2017, Roskilde: Roskilde Universitet. 115 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 152).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Pathway Computation in Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (red.). Cham: Springer, s. 424-434 (Lecture Notes in Computer Science; Nr. 10352). (Lecture notes in artificial intelligence; Nr. 10352).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Querying Natural Logic Knowledge Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 24 nov. 2017, s. 294-301. 8 s.

Publikation: KonferencebidragPaperForskningpeer review