Programmering, logik og intelligente systemer

Publikationer

2018

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

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B., 2018, I : Journal of Logic and Algebraic Programming. 95, s. 1-16

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 151).

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

Åben adgang
Fil

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang

Querying spatial data by dominators in neighborhood

Lu, H., Yiu, M. L. & Xie, X., 2018, I : Scandinavian Journal of Information Systems. 77, s. 71-85 15 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Range Queries on Multi-Attribute Trajectories

Xu, J., Lu, H. & Güting, R. H., 2018, I : IEEE Trans. Knowl. Data Eng.. 30, 6, s. 1206-1211 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Tree dimension in verification of constrained Horn clauses

Kafle, B., Gallagher, J. P. & Ganty, P., 2018, I : Theory and Practice of Logic Programming. 18, 2, s. 224-251

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

TRIPS: A System for Translating Raw Indoor Positioning Data into Visual Mobility Semantics

Li, H., Lu, H., Shi, F., Chen, G., Chen, K. & Shou, L., 2018, I : PVLDB. 11, 12, s. 1918-1921 4 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Truth tracking performance of social networks: how connectivity and clustering can make groups less competent

Hahn, U., Hansen, J. U. & Olsson, E. J., 17 sep. 2018, I : Synthese. 197, 4, s. 1511-1541

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
2017

A Natural Logic for Natural-Language Knowledge Bases

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Fischer Nilsson, J., 1 sep. 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., López, M. D. J., Loukanova, R. & Moss, L. (red.). Newcastle upon Tyne: Cambridge Scholars Publishing, s. 1-26 26 s.

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

Anden-ordens false belief og sproglig rekursion hos børn med Autisme Spektrum Forstyrrelser

Polyanskaya, I., jun. 2017, I : Dansk Audiologopædi. 53, 2, s. 4-9 6 s., 1.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Åben adgang
Fil

A political and technological anatomy of a mobile phone crack

Jørgensen, N., 2 sep. 2017.

Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningpeer review

Cleansing indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Jaeger, M., 2017, I : SIGSPATIAL Special. 9, 1, s. 11-18 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Completeness and Termination for a Seligman-style Tableau System

Bidragets oversatte titel: Fuldstændighed og termination for et Seligman-style tableau systemBlackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2017, I : Journal of Logic and Computation. 27, 1, s. 81-107

Publikation: Bidrag til tidsskriftTidsskriftartikel

Åben adgang
Fil

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 apr. 2017, I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, s. 62-71 10 s.

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

Detecting, diagnosing and fixing energy issues for mobile applications

Li, X., 2017, Roskilde Universitet. 101 s.

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

Efficiently answer top-k queries on typed intervals

Xu, J. & Lu, H., 2017, I : Scandinavian Journal of Information Systems. 71, s. 164-181 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P., 22 mar. 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, s. 103-127

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

Åben adgang
Fil

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 mar. 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (red.). InTechOpen, 37 s.

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

Åben adgang
Fil

Finding dense locations in symbolic indoor tracking data: modeling, indexing, and processing

Ahmed, T., Pedersen, T. B. & Lu, H., 2017, I : GeoInformatica. 21, 1, s. 119-150 32 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Finding Influential Local Users with Similar Interest from Geo-Tagged Social Media Data

Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, s. 82-91 10 s.

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

Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings

Christiansen, H. (red.), Jaudoin, H. (red.), Chountas, P. (red.), Andreasen, T. (red.) & Legind Larsen, H. (red.), maj 2017, Cham, Switzerland: Springer. 285 s. (Lecture notes in artificial intelligence, Bind 10333).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

GVoS: A General System for Near-Duplicate Video-Related Applications on Storm

Jiang, J., Tong, Y., Lu, H., Cui, B., Lei, K. & Yu, L., 2017, I : ACM Trans. Inf. Syst.. 36, 1, s. 3:1-3:36

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

Kafle, B. & Gallagher, J. P., jan. 2017, I : Computer Languages, Systems and Structures. 47, Part 1, s. 2-18

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Hybrid Logic

Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (red.). Stanford University

Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikelForskningpeer review

Åben adgang

ICT: Energy Concepts for Energy Efficiency and Sustainability

Fagas, G. (red.), Gammaitoni, L. (red.), Gallagher, J. P. (red.) & Paul, D. J. (red.), 22 mar. 2017, InTechOpen.

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang

Interactive Installations for Spatial Access to Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, I : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 s., e3.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

On proving confluence modulo equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2017, I : Formal Aspects of Computing. 29, 1, s. 57-95

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

Partiality and Underspecification in Information, Languages, and Knowledge

Christiansen, H. (red.), Jiménez-López, M. D. (red.), Loukanova, R. (red.) & Moss, L. (red.), 2017, Cambridge Scholars Publishing. 360 s.

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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

Risk detection and prediction from indoor tracking data

Ahmed, T., Calders, T., Lu, H. & Pedersen, T. B., 2017, I : SIGSPATIAL Special. 9, 2, s. 11-18 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Theory of Mind, linguistic recursion and autism spectrum disorder

Polyanskaya, I., Blackburn, P. R. & Braüner, T., 2017, I : Beyond Philology. 14, 1, s. 69-95 26 s., 5.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases - 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21-23, 2017, Proceedings. Gertz, M., Renz, M., Zhou, X., Hoel, E. G., Ku, W-S., Voisard, A., Zhang, C., Chen, H., Tang, L., Huang, Y., Lu, C-T. & Ravada, S. (red.). Springer, Bind 10411. s. 221-241 21 s. (Lecture Notes in Computer Science).

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

Cleansing indoor RFID data using regular expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31 - November 3, 2016. Ravada, S., Ali, M. E., Newsam, S. D., Renz, M. & Trajcevski, G. (red.). Association for Computing Machinery, s. 77:1-77:4

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

Det marinarkæologiske Eksperimentarie: Oplevelser, Design, Inddragelse

Andreasen, T., Pedersen, M. H. & Kallmeyer Bloch, A., 2016, (Under udarbejdelse) Oplevelsesbaseret innovation og forretningsudvikling. Teorier, case-analyser, metoder. ExCite, . Jensen, J. F. (red.). EXCITE - Aalborg Universitetsforlag, 17 s.

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

ENTRA: Whole-systems energy transparency

Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, I : Microprocessors and Microsystems. 47, Part B, s. 278-286

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil

Finding Frequently Visited Indoor POIs Using Symbolic Indoor Tracking Data

Lu, H., Guo, C., Yang, B. & Jensen, C. S., 2016, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. Pitoura, E., Maabout, S., Koutrika, G., Marian, A., Tanca, L., Manolescu, I. & Stefanidis, K. (red.). OpenProceedings.org, s. 449-460 12 s.

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

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

HIC: An interactive image classification system based on supervised machine learning

Christiansen, H., 2016

Publikation: AndetUdgivelser på nettet - Net-publikationUndervisning

Indexing and Querying A Large Database of Typed Intervals

Xu, J., Lu, H. & Yao, B., 2016, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. Pitoura, E., Maabout, S., Koutrika, G., Marian, A., Tanca, L., Manolescu, I. & Stefanidis, K. (red.). OpenProceedings.org, s. 658-659 2 s.

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

Indoor data management

Lu, H. & Cheema, M. A., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016. IEEE Computer Society Press, s. 1414-1417 4 s.

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

Åben adgang