Programming, Logic and Intelligent Systems

Research Output

Article in proceedings

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, p. 273-278

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

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

Braüner, T., Sep 2012, LSFA 2012 Pre-proceedings. Kesner, D. & Viana, P. (eds.). Rio de Janeiro, p. 1-1

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Hygienic Quasiquotation in Scheme: Distilled Tutorial

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Identifying the Most Endangered Objects from Spatial Datasets

Lu, H. & Yiu, M. L., 2009, Scientific and Statistical Database Management, 21st International Conference, SSDBM 2009, New Orleans, LA, USA, June 2-4, 2009, Proceedings. Winslett, M. (ed.). Springer, Vol. 5566. p. 608-626 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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. (eds.). Springer, Vol. 6187. p. 233-251 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Identifying Typical Movements among Indoor Objects - Concepts and Empirical Study

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 197-206 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Improving Wi-Fi Based Indoor Positioning Using Bluetooth Add-Ons

Baniukevic, A., Sabonis, D., Jensen, C. S. & Lu, H., 2011, 12th IEEE International Conference on Mobile Data Management, MDM 2011, Luleå, Sweden, June 6-9, 2011, Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Lee, D. L., Chakraborty, D., Kalogeraki, V., Mokbel, M. F. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 246-255 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indexing the Trajectories of Moving Objects in Symbolic Indoor Space

Jensen, C. S., Lu, H. & Yang, B., 2009, Advances in Spatial and Temporal Databases, 11th International Symposium, SSTD 2009, Aalborg, Denmark, July 8-10, 2009, Proceedings. Mamoulis, N., Seidl, T., Pedersen, T. B., Torp, K. & Assent, I. (eds.). Springer, Vol. 5644. p. 208-227 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., Jan 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020) .

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., Li, H., Lu, H., Shou, L. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Switzerland: Springer, p. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. & Rekouts, M., 2007, 24th British National Conference on Databases : proceedings. IEEE Computer Society Press, p. 59-67 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Internal complexity for exploratory interaction

Hobye, M., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (eds.). Málaga: Universidad de Málaga, p. 499-500 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

iSky: Efficient and Progressive Skyline Computing in a Structured P2P Network

Chen, L., Cui, B., Lu, H., Xu, L. & Xu, Q., 2008, 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China. IEEE Computer Society Press, p. 160-167 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ITQS: An Integrated Transport Query System

Huang, B., Huang, Z., Lin, D., Lu, H., Song, Y. & Li, H., 2004, Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004. Weikum, G., König, A. C. & Deßloch, S. (eds.). Association for Computing Machinery, p. 951-952 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Location Privacy Techniques in Client-Server Architectures

Jensen, C. S., Lu, H. & Yiu, M. L., 2009, Privacy in Location-Based Applications, Research Issues and Emerging Trends [This book was partially born out of the First International Workshop on Privacy in Location-Based Applications (PiLBA 2008) held in Malaga, Spain, in October 2008, in conjunction with the 13th European Symposium on Research in Computer Security]. Bettini, C., Jajodia, S., Samarati, P. & Wang, X. S. (eds.). Springer, Vol. 5599. p. 31-58 28 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 186-200 14 p. (Lecture Notes in Computer Science, Vol. 6266).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Logic Grammars Extended with Constraint Logic: Abstract of invited tutorial

Christiansen, H., 2008, Proceedings of the Second International Workshop;Non-Classical Formal Languages in Linguistics, ForLing 2008. Bel-Enguix, G. & Jimenes-Lopes, M. D. (eds.). p. 3-4 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Christiansen, H., 2007, Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI’07). Doncescu, A., Flach, P. A., Inoue, K., Kakas, A. C. & Ray, O. (eds.). p. 42-49 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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), p. 48-63

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Modeling of Traffic-Aware Travel Time in Spatial Networks

Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 247-250 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). IOS Press, Vol. 228. p. 55-70

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Multi-Criteria Optimal Location Query with Overlapping Voronoi Diagrams

Zhang, J., Ku, W-S., Sun, M-T., Qin, X. & Lu, H., 2014, Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M. N., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, p. 391-402 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Albert, E., Puebla, G. & Gallagher, J. P., 2006, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. Hill, P. M. (ed.). Springer, p. 115-132 17 p. (Lecture Notes in Computer Science, Vol. 3901).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

On Conceptual Indexing for Data Summarization

Bulskov, H. & Andreasen, T., 2009, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Carvalho, J. P., Dubois, D., Kaymak, U. & Sousa, M. C. (eds.). European Society for Fuzzy Logic and Technology, p. 1618-1625 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Ontological Summaries

Bulskov, H., Andreasen, T. & Terney, T. V., 2008, Managing Ontologies and Lexical Resources. Madsen, B. N. & Thomsen, H. E. (eds.). Litera, p. 219-230 11 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Ontology-based Disambiguation of the Semantic Relation between the Heads of two Noun Phrases

Lassen, T. & Terney, T. V., 2006, Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 791-793

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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. (eds.). Springer, p. 477-482 (Lecture notes in artificial intelligence, Vol. 9405).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases

Christiansen, H. & Martinenghi, D., 2006, Proceedings of LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in Proc. DEXA 2006, Seventeenth Int'l Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 569-573 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

PAD: privacy-area aware, dummy-based location privacy in mobile services

Lu, H., Jensen, C. S. & Yiu, M. L., 2008, Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, Mobide 2008, June 13, 2008, Vancouver, British Columbia, Canada, Proceedings. Delis, A., Zadorozhny, V., Kotidis, Y. & Marrón, P. J. (eds.). Association for Computing Machinery, p. 16-23 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Parallel Distributed Processing of Constrained Skyline Queries by Filtering

Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 2008, Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico. Alonso, G., Blakeley, J. A. & Chen, A. L. P. (eds.). IEEE Computer Society Press, p. 546-555 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Cham: Springer, p. 424-434 (Lecture Notes in Computer Science; No. 10352). (Lecture notes in artificial intelligence; No. 10352).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Prioritized Abduction with CHR

Christiansen, H., 2008, CHR 2008, The 5th Workshop on Constraint Handling Rules. SCHRIJVERS, T., RAISER, F. & FRÜHWIRTH, T. (eds.). Johannes Kepler University, Vol. 08-10. p. 159-173 (RISC-Linz Report Series, Vol. 08-10).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

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. (eds.). Association for Computing Machinery, Vol. 426. p. 335-346 12 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 8132. p. 613-624 (Lecture notes in artificial intelligence, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, Vol. Part 1. p. 261-268 8 p. (Lecture Notes in Computer Science; No. 9779).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reasoning about RFID-tracked moving objects in symbolic indoor spaces

Hussein, S. H., Lu, H. & Pedersen, T. B., 2013, Conference on Scientific and Statistical Database Management, SSDBM '13, Baltimore, MD, USA, July 29 - 31, 2013. Szalay, A., Budavari, T., Balazinska, M., Meliou, A. & Sacan, A. (eds.). Association for Computing Machinery, p. 9:1-9:12

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reasoning about Use Cases using Logic Grammars and Constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007. Christiansen, H. & Villadsen, J. (eds.). Roskilde Universitet, p. 40-52 12 p. (Datalogiske Skrifter; No. 113).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, p. 2579-2584

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

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. (eds.). Orléans: University of Orléans, p. 74-85

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 8114. p. 166-177

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Scalable continuous range monitoring of moving objects in symbolic indoor space

Yang, B., Lu, H. & Jensen, C. S., 2009, Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009. Cheung, D. W-L., Song, I-Y., Chu, W. W., Hu, X. & Lin, J. J. (eds.). Association for Computing Machinery, p. 671-680 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Massachusetts, USA: Cascadilla Press, Vol. 2. p. 632-643 12 p. (Boston University Conference on Language Development. Proceedings, Vol. 42).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

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. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

S-GRID: A Versatile Approach to Efficient Query Processing in Spatial Networks

Huang, X., Jensen, C. S., Lu, H. & Saltenis, S., 2007, Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings. Papadias, D., Zhang, D. & Kollios, G. (eds.). Springer, Vol. 4605. p. 93-111 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

SIABO: Semantic Information Access through Biomedical Ontologies

Andreasen, T., Zambach, S., Lassen, T., Nilsson, J. F., Madsen, B. N., Jensen, P. A., Thomsen, H. E. & Szymczak, B. A., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 171-176 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review