Programmering, logik og intelligente systemer

Publikationer

2011

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

On Computing Farthest Dominated Locations

Lu, H. & Yiu, M. L., 2011, I : IEEE Trans. Knowl. Data Eng.. 23, 6, s. 928-941 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010)

Bolander, T. (red.) & Braüner, T. (red.), 2011, Elsevier. 68 s. (Electronic Notes in Theoretical Computer Science; Nr. 273).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (red.) & Braüner, T. (red.), 2011, I : Electronic Notes in Theoretical Computer Science. 273, s. 1-2

Publikation: Bidrag til tidsskriftLederForskning

Ranking Spatial Data by Quality Preferences

Yiu, M. L., Lu, H., Mamoulis, N. & Vaitis, M., 2011, I : IEEE Trans. Knowl. Data Eng.. 23, 3, s. 433-446 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Spatio-temporal joins on symbolic indoor tracking data

Lu, H., Yang, B. & Jensen, C. S., 2011, Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany. Abiteboul, S., Böhm, K., Koch, C. & Tan, K-L. (red.). IEEE Computer Society Press, s. 816-827 12 s.

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

Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

Gallagher, J. P. & Gelfond, M., jul. 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Bind 11. (Leibniz International Proceedings in Informatics).

Publikation: Bidrag til bog/antologi/rapportForord/efterskriftForskning

The Experience Cylinder, an immersive interactive platform: The Sea Stallion's voyage: a case study

Andreasen, T., Gallagher, J. P., Møbius, N. & Padfield, N., okt. 2011, AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. Emonet, R. & Florea, A. M. (red.). ThinkMind, 7 s.

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

Fil

The OntoGram-Approach to Text Processing and Semantic Relation Spotting for Indexing

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 jul. 2011, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011) . Ding, Y. (red.). IEEE Press, 7 s.

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

Top-k Similarity Search on Uncertain Trajectories

Ma, C., Lu, H., Shou, L., Chen, G. & Chen, S., 2011, Scientific and Statistical Database Management - 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings. Cushing, J. B., French, J. C. & Bowers, S. (red.). Springer, Bind 6809. s. 589-591 3 s. (Lecture Notes in Computer Science).

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

2010

A uniform random test data generator for path testing

Gotlieb, A. & Petit, M., 2010, I : Journal of Systems and Software. 83, 12, s. 2618-2626

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Banda, G. & Gallagher, J. P., 30 nov. 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (red.). Springer, s. 27-45 19 s. (Lecture Notes in Computer Science, Bind 6355).

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

Fil

Continuous Skyline Monitoring over Distributed Data Streams

Lu, H., Zhou, Y. & Haustad, J., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (red.). Springer, Bind 6187. s. 565-583 19 s. (Lecture Notes in Computer Science).

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

Hybrid-logik: fra filosofi til datalogi

Braüner, T., 2010, I : Aktuel Naturvidenskab. 2, s. 40-43

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Identifying the Most Influential User Preference from an Assorted Collection

Lu, H. & Xu, L., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (red.). Springer, Bind 6187. s. 233-251 19 s. (Lecture Notes in Computer Science).

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

Indoor - A New Data Management Frontier

Jensen, C. S., Lu, H. & Yang, B., 2010, I : IEEE Data Eng. Bull.. 33, 2, s. 12-17 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Inference with constrained hidden Markov models in PRISM

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2010, I : Theory and Practice of Logic Programming. 10, 4-6, s. 449-464 15 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Logical knowledge representation of regulatory relations in biomedical pathways

Zambach, S. & Hansen, J. U., 2010, ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. Khuri, S., Lhotská, L. & Pisanti, N. (red.). Springer, s. 186-200 14 s. (Lecture Notes in Computer Science, Bind 6266).

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

Modelling and Analysis of Real Time Systems with Logic Programming and Constraints

Banda, G., sep. 2010, Roskilde Universitet. 165 s. (Roskilde Universitet. Computer Science. Computer Science Research Report; Nr. 130).

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

Ontology-based retrieval of bio-medical information based on microarray text corpora

Hansen, K. A., Zambach, S. & Have, C. T., 2010.

Publikation: KonferencebidragPaperForskningpeer review

Probabilistic threshold k nearest neighbor queries over moving objects in symbolic indoor space

Yang, B., Lu, H. & Jensen, C. S., 2010, EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings. Manolescu, I., Spaccapietra, S., Teubner, J., Kitsuregawa, M., Léger, A., Naumann, F., Ailamaki, A. & Özcan, F. (red.). Association for Computing Machinery, Bind 426. s. 335-346 12 s. (ACM International Conference Proceeding Series).

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

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T., 2010, I : Electronical Notes in Theoretical Computer Science. 262, s. 1-2

Publikation: Bidrag til tidsskriftLederForskning

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. (red.) & Braüner, T. (red.), 2010, Elsevier. 262 s. (Electronic Notes in Theoretical Computer Science; Nr. 262).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Terminating Tableaux for Dynamic Epistemic Logics

Hansen, J. U., 2010, I : Electronical Notes in Theoretical Computer Science. s. 141-156 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

The Viterbi Algorithm expressed in Constraint Handling Rules

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., maj 2010, Proceeedings of the 7th International Workshop on Constraint Handling Rules. Van Weert, P. & De Koninck, L. (red.). Leuven, Belgium: Katholieke Universiteit Leuven, s. 17-24 7 s.

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

Uncovering Prepositional Senses

Lassen, T., sep. 2010, Roskilde Universitet. 314 s. (Datalogiske Skrifter; Nr. 131).

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

Understanding the meaning of a shifted sky: a general framework on extending skyline query

Zhang, Z., Lu, H., Ooi, B. C. & Tung, A. K. H., 2010, I : VLDB J.. 19, 2, s. 181-201 21 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Using Corporate Social Responsibility strategy with a climate focus for Enterprise Systems

Zambach, S., Holst, P. & Francker, Z. W., apr. 2010. 8 s.

Publikation: KonferencebidragPaperForskningpeer review

2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V., 2009, I : Lecture Notes in Computer Science. s. 170-181

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2009, Proceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics. s. 19 26 s.

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

Åben adgang
Fil

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H., 2009, I : Lecture Notes in Computer Science. 5517, s. 488-503

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts

Zambach, S., 2009, I : Lecture Notes in Computer Science. s. 443-452 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P., 2009, I : Lecture Notes in Computer Science. s. 55-70 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Zambach, S. & Madsen, B. N., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (red.). Institute for Systems and Technologies of Information, Control and Communication, s. 452-455 4 s.

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

Certification of an optimal TSP tour through 85,900 cities

Applegate, D. L., Bixby, R. E., Chvatal, V., Cook, W., Espinoza, D. G., Goycoolea, M. & Helsgaun, K., 2009, I : Operations Research Letters. 37, 1, s. 11-15 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Conceptual Indexing of Text Using Ontologies and Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009, I : Lecture Notes in Computer Science. 5822, s. 323-332

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Conceptual querying through ontologies

Andreasen, T. & Bulskov, H., 2009, I : Fuzzy Sets and Systems. 15, s. 2159-2172

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Consistency and Clarity in Chemical Concepts: How to Achieve a Codified Chemical Terminology - A Pilot Study

Damhus, T., Olesen Larsen, P., Madsen, B. N. & Zambach, S., 2009, I : Chemistry International. 31, 5, s. 6-11 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P., 2009. 16 s.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, s. 287-298

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

Distinguish Dynamic Basic Blocks by Structural Statistical Testing

Petit, M. & Gotlieb, A., 2009.

Publikation: KonferencebidragPaperForskningpeer review

Åben adgang
Fil

Efficient Skyline Computation in Structured Peer-to-Peer Systems

Cui, B., Chen, L., Xu, L., Lu, H., Song, G. & Xu, Q., 2009, I : IEEE Trans. Knowl. Data Eng.. 21, 7, s. 1059-1072 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H., 2009, I : Journal of Applied Logic. 7, 3, s. 341-362

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009, Proceedings

Andreasen, T. (red.), Yager, R. R. (red.), Bulskov, H. (red.), Christiansen, H. (red.) & Larsen, H. L. (red.), 2009, Berlin-Heidelberg-New York: Springer. 676 s. (Lecture Notes in Computer Science; Nr. 5822).

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, I : Lecture Notes in Computer Science. s. 152-167 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

General k-opt submoves for the Lin-Kernighan TSP heuristic

Helsgaun, K., 2009, I : Mathematical Programming Computation. 1, 2-3, s. 119-163

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review