Filter
Conference Article in proceeding

Search results

  • 2024

    Intention Progression with Temporally Extended Goals

    Yao, Y., Alechina, N. & Logan, B., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 292-301 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings: 27th European Conference on Artificial Intelligence 19–24 October 2024, Santiago de Compostela, Spain . Endriss, U., Melo, F. S., Bach, K., Bugarín-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, Vol. 392. p. 1181-1188 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Pure-Past Action Masking

    Varricchione, G., Alechina, N. A., Dastani, M., De Giacomo, G., Logan, B. & Perelli, G., 25 Mar 2024, Proceedings of the 38th AAAI International Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 19 ed. Association for the Advancement of Artificial Intelligence, Vol. 38. p. 21646-21655 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Revising Beliefs and Intentions in Stochastic Environments

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 3513-3522 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Run-time Monitoring for Robot-Assisted Surgery

    Gogoladze, K., Alechina, N., Hu, Z. J., Xu, H., van Jaarsveld, R. & Ruurda, J. P., 2024, OVERLAY 2024. CEUR, p. 127-133 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2023

    Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). Darmstadt: International Joint Conferences on Artificial Intelligence, p. 6868-6872

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Dynamics of Causal Dependencies in Multi-agent Settings.

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group Responsibility for Exceeding Risk Threshold

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). p. 322–332

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Intention Progression with Maintenance Goals

    Wu, D., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2023, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. Vol. 2023-May. p. 2400-2402 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Multi-Agent Intention Recognition and Progression

    Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F. & Thangarajah, J., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 91-99 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 7 Sept 2023, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Proceedings. Malvone, V. & Murano, A. (eds.). p. 328–344 (Lecture Notes in Computer Science, Vol. 14282).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2022

    A Probabilistic Finite Temporal Logic for Policies and Intentions

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 1 Aug 2022, International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

    Alechina, N., Giacomo, G. D., Logan, B. & Perelli, G., 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. p. 12-21

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Multi-Agent Intention Progression with Reward Machines.

    Dann, M., Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). De Raedt, L. & De Raedt, L. (eds.). p. 215-222

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • The Complexity of Norm Synthesis and Revision.

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M. & Logan, B., 2022, Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV. Ajmeri, N., Morris Martin, A. & Savarimuthu, B. T. (eds.). p. 38-53

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2021

    Intention Progression using Quantitative Summary Information

    Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2021, 20th International Conference on Autonomous Agents and Multiagent Systems, 3/05/21.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2020

    A Logic of Directions

    Du, H., Alechina, N. & Cohn, A. G., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Bessiere, C. (ed.). p. 1695-1702

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Intention Progression under Uncertainty

    Yao, Y., Alechina, N., Logan, B. & Thangarajah, J., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Bessiere, C. (ed.). p. 10-16

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Parameterised Resource-Bounded ATL

    Alechina, N., Demri, S. & Logan, B., 16 Jun 2020, Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. p. 7040-7046

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

    Alechina, N. & Logan, B., 2020, Fields of Logic and Computation III. p. 9-29

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2019

    Decidable Model Checking with Uniform Strategies

    Alechina, N., Dastani, M. & Logan, B., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. p. 170-178

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group Announcement Logic with Distributed Knowledge.

    Galimullin, R., Ågotnes, T. & Alechina, N., 2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (eds.). Springer, p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Groups versus coalitions: On the relative expressivity of gal and cal

    French, T., Galimullin, R., Van Ditmarsch, H. & Alechina, N., 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems , p. 953-961 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Public Group and Trust in Doxastic Logic

    Perrotin, E., Galimullin, R., Canu, Q. & Alechina, N., 2019, Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings. Blackburn, P., Lorini, E. & Guo, M. (eds.). Springer, p. 199-213 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Qualitative spatial logic over 2d euclidean spaces is not finitely axiomatisable

    Du, H. & Alechina, N., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 2776-2783 8 p. ( AAAI Conference and Symposium Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Strategic Responsibility Under Imperfect Information

    Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N. & Logan, B., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019. p. 592-600

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Unbounded orchestrations of transducers for manufacturing

    Alechina, N., Brázdil, T., de Giacomo, G., Felli, P., Logan, B. & Vardi, M. Y., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 2646-2653 8 p. ( AAAI Conference and Symposium Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2018

    Incentive-compatible mechanisms for norm monitoring in open multi-agent systems

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5543-5547 5 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2018, IJCAI. IJCAI Organization, p. 5543-5547 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Model checking for coalition announcement logic

    Galimullin, R., Alechina, N. & van Ditmarsch, H., 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018, Proceedings. Turhan, A.-Y. & Trollmann, F. (eds.). Springer Verlag, p. 11-23 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11117 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Resource logics with a diminishing resource

    Alechina, N. & Logan, B., 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems , p. 1847-1849 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Synthesis of orchestrations of transducers for manufacturing

    De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N. & Logan, B., 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 6161-6168 8 p. ( AAAI Conference and Symposium Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2017

    Causality, responsibility and blame in team plans

    Alechina, N., Halpern, J. Y. & Logan, B., 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Das, S., Durfee, E., Larson, K. & Winikoff, M. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1091-1099 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2016

    Decentralised Norm Monitoring in Open Multi-Agent System: Extended Abstract

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2016, AAMAS. ACM Digital Library, p. 1399-1400 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Decentralised norm monitoring in open multi-agent systems

    Alechina, N., Halpern, J. Y., Kash, I. A. & Logan, B., 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1399-1400 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • The Onto-CropBase – A semantic web application for querying crops linked-data

    Lawan, A., Rakib, A., Alechina, N. & Karunaratne, A., 2016, Beyond Databases, Architectures and Structures: Advanced Technologies for Data Mining and Knowledge Discovery - 12th International Conference, BDAS 2016, Proceedings. Kozielski, S., Mrozek, D., Kasprowski, P., Malysiak-Mrozek, B. & Kostrzewa, D. (eds.). Springer Verlag, p. 384-399 16 p. (Communications in Computer and Information Science, Vol. 613).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Verifying systems of resource-bounded agents

    Alechina, N. & Logan, B., 2016, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Proceedings. Jonoska, N., Bienvenu, L. & Beckmann, A. (eds.). Springer Verlag, p. 3-12 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9709).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2015

    A comparison of five HSV color selection interfaces for mobile painting search

    Zhang, M., Qiu, G., Alechina, N. & Atkinson, S., 2015, Human-Computer Interaction – INTERACT 2015 - 15th IFIP TC 13 International Conference, Proceedings. Abascal, J., Barbosa, S., Palanque, P., Winckler, M., Gross, T. & Fetter, M. (eds.). Springer Verlag, p. 265-273 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9297).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • A Preliminary Examination of the User Behavior in Queryby-Drawing Portrait Painting Search on Mobile Devices

    Zhang, M., Qiu, G., Alechina, N. & Atkinson, S., 11 Dec 2015, 13th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2015 - Proceedings. Khalil, I., Steinbauer, M., Chen, L. & Anderst-Kotsis, G. (eds.). Association for Computing Machinery, Inc, p. 117-121 5 p. (Proceedings of the International Conference on Advances in Mobile Computing and Multimedia, MoMM ).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • A tool for matching crowd-sourced and authoritative geospatial data

    Du, H., Alechina, N., Hart, G. & Jackson, M., 14 Jul 2015, 2015 International Conference on Military Communications and Information Systems, ICMCIS 2015. Institute of Electrical and Electronics Engineers Inc., 7158669. (Proceedings of the International Conference on Military Communications and Information Systems, ICMCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • On the boundary of (Un) decidability: Decidable model-checking for a fragment of resource agent logic

    Alechina, N., Bulling, N., Logan, B. & Nguyen, H. N., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1494-1501 8 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Practical run-time norm enforcement with bounded lookahead

    Alechina, N., Bulling, N., Logan, B. & Dastani, M., 2015, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Elkind, E., Bordini, R. H., Weiss, G. & Yolum, P. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 443-451 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Symbolic Model Checking for One-Resource RB+-ATL

    Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., 2015, IJCAI. IJCAI Organization, p. 1069-1075 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Symbolic model checking for one-resource RB±ATL

    Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 1069-1075 7 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Symbolic model-checking for resource-bounded ATL

    Alechina, N., Logan, B., Nguyen, H. N., Raimondi, F. & Mostarda, L., 2015, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Bordini, R. H., Yolum, P., Elkind, E. & Weiss, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems , p. 1809-1810 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, Vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Using qualitative spatial logic for validating crowd-sourced geospatial data

    Du, H., Nguyen, H., Alechina, N., Logan, B., Jackson, M. & Goodwin, J., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 3948-3953 6 p. (The Proceedings of the annual AAAI Conference on Artificial Intelligence, Vol. 5).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 2012

    Axiom pinpointing using an assumption-based truth maintenance system

    Nguyen, H., Alechina, N. & Logan, B., 2012, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Vol. 846. p. 290-300 11 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Matching geospatial ontologies

    Du, H., Alechina, N., Jackson, M. & Hart, G., 2012, Proceedings of the 7th International Workshop on Ontology Matching, Boston, MA, USA, November 11, 2012. Vol. 946. p. 250-251 2 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review