Programming, Logic and Intelligent Systems

Research Output

Filter
Article in proceedings
2020

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, LNCS, Vol. 12042. p. 19-35

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

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

Sound as Material for Eco-technogenesis

Ranten, M. F., Kadish, D. & Hines, M., May 2020, Proceedings of RE:SOUND 2019. p. 195-201 (Electronic Workshops in Computing).

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

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. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

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

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (eds.). Cham: Springer, p. 231-241 (Lecture Notes in Computer Science).

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

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

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

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 : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (ed.). Cham: Springer, p. 112-130 (Lecture Notes in Computer Science, Vol. 11285). (Theoretical Computer Science and General Issues; No. 11285).

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

Open Access
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. (eds.). New York: Association for Computing Machinery, p. 26-37

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Santa Fe: Association for Computational Linguistics, p. 1-9

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

Open Access

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. (eds.). Cognitive Science Society, p. 45-46

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

Open Access
File

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, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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

File

Efficient Matching of Offers and Requests in Social-Aware Ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 2018, 19th IEEE International Conference on Mobile Data Management, MDM 2018, Aalborg, Denmark, June 25-28, 2018. IEEE Computer Society Press, p. 197-206 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
2017

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, p. 62-71 10 p.

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

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. (eds.). Springer, Vol. 10411. p. 221-241 21 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 31-40 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

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

Open Access
File

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. (eds.). Association for Computing Machinery, p. 77:1-77:4

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

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. (eds.). OpenProceedings.org, p. 449-460 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Association for Computing Machinery, p. 180-189

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

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. (eds.). OpenProceedings.org, p. 658-659 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 1414-1417 4 p.

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

Learning-Based Cleansing for Indoor RFID Data

Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, June 26 - July 01, 2016. Özcan, F., Koutrika, G. & Madden, S. (eds.). Association for Computing Machinery, p. 925-936 12 p.

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

Online Risk Prediction for Indoor Moving Objects

Ahmed, T., Pedersen, T. B., Calders, T. & Lu, H., 2016, IEEE 17th International Conference on Mobile Data Management, MDM 2016, Porto, Portugal, June 13-16, 2016. Chow, C-Y., Jayaraman, P. P. & Wu, W. (eds.). IEEE Computer Society Press, p. 102-111 10 p.

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

Outdoor-indoor space: unified modeling and shortest path search

Jensen, S. K., Nielsen, J. T. V., Lu, H. & Cheema, M. A., 2016, Proceedings of the Eighth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness, ISA@SIGSPATIAL 2016, Burlingame, California, USA, October 31, 2016. Cheema, M. A., Ali, M. E. & Yang, S. (eds.). Association for Computing Machinery, p. 35-42 8 p.

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

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

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

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. (eds.). College Publications, Vol. 11. p. 302-321

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

2015

A framework for multi-criteria optimal location selection

Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Bellevue, WA, USA, November 3-6, 2015. Bao, J., Sengstock, C., Ali, M. E., Huang, Y., Gertz, M., Renz, M. & Sankaranarayanan, J. (eds.). Association for Computing Machinery, p. 86:1-86:4

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

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. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

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

Open Access
File

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. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

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

Open Access
File

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. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

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

Open Access
File

E^2C^2: efficient and effective camera calibration in indoor environments

Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015. Mase, K., Langheinrich, M., Gatica-Perez, D., Gellersen, H., Choudhury, T. & Yatani, K. (eds.). Association for Computing Machinery, p. 9-12 4 p.

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

Finding top-k local users in geo-tagged social media data

Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. Gehrke, J., Lehner, W., Shim, K., Cha, S. K. & Lohman, G. M. (eds.). IEEE Computer Society Press, p. 267-278 12 p.

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

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

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

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

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. (eds.). Springer, p. 280-289 (Lecture Notes in Computer Science, Vol. 9384).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).

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

Open Access
File
2014

A Journey from IFC Files to Indoor Navigation

Boysen, M., Haas, C. D., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings. Pfoser, D. & Li, K-J. (eds.). Springer, Vol. 8470. p. 148-165 18 p. (Lecture Notes in Computer Science).

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

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II. Bhowmick, S. S., Dyreson, C. E., Jensen, C. S., Lee, M-L., Muliantara, A. & Thalheim, B. (eds.). Springer, Vol. 8422. p. 61-76 16 p. (Lecture Notes in Computer Science).

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