Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Konferencebidrag i proceedings
2019

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

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

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

2018

Abstract nonsense

Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (red.). New York: Association for Computing Machinery, s. 26-37

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

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

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46

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

Åben adgang
Fil

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 and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 jul. 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (red.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

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

Fil

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

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

Åben adgang
Fil
2017

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

Widening the Experience of Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (red.). Cham: Springer, s. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 196).

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

2016

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, s. 31-40 10 s.

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

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (red.). Cham: Springer, s. 163-180 (Lecture Notes in Computer Science, Bind 9613).

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

Åben adgang
Fil

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (red.). Association for Computing Machinery, s. 180-189

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

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (red.). Switzerland: Springer, s. 81-100 (Lecture Notes in Computer Science, Bind 9964).

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

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

Kafle, B., Gallagher, J. P. & Morales, J. F., 2016, Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (red.). Springer, Bind Part 1. s. 261-268 8 s. (Lecture Notes in Computer Science; Nr. 9779).

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

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (red.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, s. 2579-2584

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

Åben adgang
Fil

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Berlin: Springer, s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

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

Åben adgang
Fil

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (red.). College Publications, Bind 11. s. 302-321

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

2015

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (red.). s. 41-58 (Lecture Notes in Computer Science, Bind 8981).

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

Åben adgang
Fil

Constraint Specialisation in Horn Clause Verification

Kafle, B. & Gallagher, J. P., 4 jan. 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (red.). New York: Association for Computing Machinery, s. 85-90 6 s.

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

Åben adgang
Fil

Decomposition by tree dimension in Horn clause verification

Kafle, B., Gallagher, J. P. & Ganty, P., 7 dec. 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (red.). London: EPTCS, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 199).

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

Åben adgang
Fil

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?

Braüner, T., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society, Pasadena, California, USA. Cognitive Science Society, s. 273-278

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

Åben adgang
Fil

Ontology-Based Role Association Networks for Visualizing Trends in Political Debate

Andreasen, T., Christiansen, H. & Eberholst, M. K., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Christiansen, H., Stojanovic, I. & Papadopoulos, G. A. (red.). Springer, s. 477-482 (Lecture notes in artificial intelligence, Bind 9405).

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

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 sep. 2015, Electronic Proceedings in Theoretical Computer Science. Bind 194. s. 110-124 (Electronic Proceedings in Theoretical Computer Science; Nr. 194).

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

Åben adgang

Tracing Shifts in Emotions in Streaming Social Network Data

Andreasen, T., Christiansen, H. & Theil have, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Esposito, F., Pivert, O., Hacid, M-S., Rás, Z. W. & Ferilli, S. (red.). Springer, s. 280-289 (Lecture Notes in Computer Science, Bind 9384).

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

Tree automata-based refinement with application to Horn clause verification

Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (red.). Springer, Bind 8931. s. 209-226 18 s. (Lecture Notes in Computer Science; Nr. 8931).

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

Åben adgang
Fil
2014

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2014, Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (red.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, s. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

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

Constraint Logic Programming for Resolution of Relative Time Expressions

Christiansen, H., 2014, Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Beckman, A., Csuhaj-Varjú, E. & Meer, K. (red.). Springer VS, s. 93-102 (Lecture Notes in Computer Science, Bind 8493).

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

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

Kafle, B. & Gallagher, J. P., 2 dec. 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (red.). EPTCS, Bind 169. s. 53-67 15 s. 7

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

Åben adgang
Fil
2013

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (red.). Heidelberg: Springer Publishing Company, s. 147-163 16 s. (Lecture Notes in Computer Science, Bind 8312).

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

Conceptual pathway querying of natural logic knowledge bases from text bases

Andreasen, T., Bulskov, H., Nilsson, J. F., Jensen, P. A. & Lassen, T., 2013, Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Bind 8132. s. 1-12 (Lecture Notes in Computer Science, Bind 8132).

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

Hybrid-Logical Reasoning in False-Belief Tasks

Braüner, T., 2013, Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK). Chennai: Institute of Mathematical Sciences, s. 186-195

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

Querying Sentiment Development over Time

Andreasen, T., Christiansen, H. & Have, C. T., 2013, Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Bind 8132. s. 613-624 (Lecture notes in artificial intelligence, Bind 8132).

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

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules

van de Camp, M. & Christiansen, H., 2013, Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers. Springer Publishing Company, Bind 8114. s. 166-177

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

2012

A declarative pipeline language for big data analysis

Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M., sep. 2012, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Bind Report CW 625. s. 3-17

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

An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations

Christiansen, H., sep. 2012, CHR 2012 - Proceedings of the 9th International Workshop on Constraint Handling Rules, Budapest, Hungary — September 4th, 2012. Sneyers, J. & Frühwirth, T. (red.). Leuven: Katholieke Universiteit Leuven, Bind CW 624. s. 1-15

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

An exposition of abductive reasoning through logic programming with constraints

Christiansen, H., 2012, Proceedings of the 8th Scandinavian Logic Symposium. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (red.). s. 23-25 3 s.

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

Framework for Modelling Multiple Input Complex Aggregations for Interactive Installations

Padfield, N. & Andreasen, T., 23 sep. 2012, AMBIENT 2012, The Second International Conference on Ambient Computing, Applications, Services and Technologies. Weyn, M. & Lorenz, P. (red.). ThinkMind, s. 79-85 7 s.

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

Åben adgang
Fil

Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings

Braüner, T., sep. 2012, LSFA 2012 Pre-proceedings. Kesner, D. & Viana, P. (red.). Rio de Janeiro, s. 1-1

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

Hygienic Quasiquotation in Scheme: Distilled Tutorial

Rhiger, M., sep. 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 s. (Workshop on Scheme and Functional Programming).

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

Resolving relative time expressions in Dutch text with Constraint Handling Rules

van de Camp, M. & Christiansen, H., 2012, 7th International Workshop on Constraint Solving and Language Processing (CSLP'12): Proceedings. Duchier, D. & Parmentier, Y. (red.). Orléans: University of Orléans, s. 74-85

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

Staged Computation with Staged Lexical Scope

Rhiger, M., mar. 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (red.). Springer, Bind 7211. s. 559-579 20 s.

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

2011

A Grammatical View of Language Evolution

Bel-Enguix, G., Christiansen, H. & Jiménez-López, M. D., 2011, AI Methods for Interdisciplinary Research in Language and Biology: Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - BILC 2011. Bel-Enguix, G., Dahl, V. & Ortega De La Puente, A. (red.). Portugal: SciTePress, s. 57-66

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

An approach to summarization through domain ontologies

Andreasen, T. & Bulskov, H., 1 maj 2011, WCONSC 2011 - World Conference on Soft Computing, Proceedings. 10 s.

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

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B., 2011, 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. s. 21-31 (Datalogiske Skrifter; Nr. 134).

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

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2011, Volume of abstracts: Non-classical Modal and Predicate Logics. Cintula, P., Ju, S. & Víta, M. (red.). Prague: F solutions, s. 35-41

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

Modeling Dependent Events with CHRiSM for Probabilistic Abduction

Christiansen, H. & Saleh, A. H., 2011, Proceedings of the Eighth International Workshop on Constraint Handling Rules. German University of Cairo: Faculty of Media Engineering and Technology (MET), s. 48-63

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

Modeling repeats in DNA using extended probabilistic regular expressions

Have, C. T. & Christiansen, H., 2011, Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (red.). IOS Press, Bind 228. s. 55-70

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

Taming the Zoo of Discrete HMM Subspecies & some of their Relatives

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2011, Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (red.). IOS Press, s. 28-42

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