uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Li, R., Kaptein, R., Hiemstra, D., Kamps, J. (2008) Exploring topic-based language models for effective web information retrieval.
    In Proceedings of the 8th Dutch-Belgian Information Retrieval Workshop (DIR 2008) (pp 65-71). University of Maastricht.
  • Ligeti, A.S., Bokányi, E., Karsai, M., Koltai, J.A., Oroszi, B., Röst, G. (2022) A társadalmi dinamika vizsgálatának szerepe a pandémiás védekezésben. Translated title of the contribution: The role of examining social dynamics in pandemic response
    Népegészségügy, Vol. 99 (pp 64-75)
  • Lin, S., Behnke, G., Bercher, P. (2022) Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving.
    In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp 24-28). ICAPS.
  • Lin, S., Behnke, G., Bercher, P. (2023) Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
    In Gal, K. Nowé, A. Nalepa, G.J. Fairstein, R. Rădulescu, R. (Eds.), ECAI 2023: 26th European Conference on Artificial Intelligence, September 30-October 4, 2023, Kraków, Poland, including 12th Conference on Prestigious Applications of Intelligent Systems ( PAIS 2023) : proceedings (pp 1489-1496) (Frontiers in Artificial Intelligence and Applications, Vol. 372). IOS Press.
    Conference contribution | https://doi.org/10.3233/FAIA230428 | UvA-DARE
  • Lin, S., Behnke, G., Ondrčková, S., Barták, R., Bercher, P. (2022) On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm.
    In HPLAN 2022 : Proceedings of the 5th Workshop on Hierarchical Planning: 32nd International Conference on Automated Planning and Scheduling : June 13-24, 2022, virtually from Singapore (pp 52-58). ICAPS.
  • Lin, S., Behnke, G., Ondrčková, S., Barták, R., Bercher, P. (2023) On Total-Order HTN Plan Verification with Method Preconditions: An Extension of the CYK Parsing Algorithm.
    In Williams, B. Chen, Y. Neville, J. (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence: AAAI-2023 : Washington, DC, USA, February 7-14, 2023 (pp 12041–12048). AAAI Press.
  • Lindemann, M., Koller, A., Titov, I. (2023) Compositional Generalization without Trees using Multiset Tagging and Latent Permutations.
    In Rogers, A. Boyd-Graper, J. Okazaki, N. (Eds.), The 61st Conference of the Association for Computational Linguistics: ACL 2023 : Proceedings of the Conference : July 9-14, 2023 (pp 14488-14506). Association for Computational Linguistics.
  • Lindemann, M., Koller, A., Titov, I. (2023) Compositional Generalisation with Structured Reordering and Fertility Layers.
    In Vlachos, A. Augenstein, I. (Eds.), The 17th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2023 : proceedings of the conference : May 2-6, 2023 (pp 2172–2186). Association for Computational Linguistics.
  • Lindemann, M., Koller, A., Titov, I. (2024) Strengthening Structural Inductive Biases by Pre-training to Perform Syntactic Transformations.
    In Al-Onaizan, Y. Bansal, M. Chen, Y.-N. (Eds.), The 2024 Conference on Empirical Methods in Natural Language Processing : Proceedings of the Conference: EMNLP 2024 : November 12-16, 2024 (pp 11558-11573). Association for Computational Linguistics.
  • Linden, N., de Wolf, R. (2021) Lightweight detection of a small number of large errors in a quantum circuit.
    Quantum, Vol. 5
  • Linden, N., de Wolf, R. (2022) Average-case verification of the quantum Fourier transform enables worst-case phase estimation.
    Quantum, Vol. 6
  • Liu, C., Liu, F., Su, K., Zhu, E. (2016) A Logical Characterization of Extensive Games with Short Sight.
    Theoretical Computer Science, Vol. 612 (pp 63-82)
  • Liu, C., Liu, F., Su, K. (2015) A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games.
    In PRIMA 2015
    Conference contribution | UvA-DARE
  • Liu, C., Zhu, E., Liu, F., Su, K. (2014) Preference Dynamics in Games with Short Sight.
    Applied Mathematics and Computation, Vol. 244 (pp 493-501)
  • Liu, C. (2015) Preference at First Sight.
    In Ramanujam, R. (Eds.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge: TARK 2015 (pp 181-190). The Institute of Mathematical Sciences.
  • Liu, C. (2016) Preference at First Sight.
    Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 207-226)
  • Liu, F., Lorini, E. (2016) Reasons to Believe in a Social Environment.
    In Roy, O. Tamminga, A. Willer, M. (Eds.), Deontic Logic and Normative Systems: 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 (pp 155-170). College Publications.
  • Liu, F., Seligman, J., Girard, P. (2014) Logical Dynamics of Belief Change in the Community.
    Synthese, Vol. 191 (pp 2403-2431)
  • Liu, F., Seligman, J. (2015) The history of logic in China: 5 questions.
    5 questions series. Automatic Press/VIP.
    Book (Editorship) | UvA-DARE
  • Liu, F., Veltman, F., Xiong, M. (2008) Editorial.
    Synthese, Vol. 165 (pp 155-157)
1 ... 184 185 186 187 188 189 190 191 192 ... 326

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact