• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 42 matches

• 2024
• 
  Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose:
  PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14325, Springer 2024, ISBN 978-981-99-7018-6 [contents]
• 
  Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose:
  PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14326, Springer 2024, ISBN 978-981-99-7021-6 [contents]
• 
  Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose:
  PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III. Lecture Notes in Computer Science 14327, Springer 2024, ISBN 978-981-99-7024-7 [contents]
• 2023
• 
  Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu:
  A Simple Logic of the Hide and Seek Game. Stud Logica 111(5): 821-853 (2023)
• 
  Kaibo Xie, Qingyu He, Fenrong Liu:
  A Logical Approach to Doxastic Causal Reasoning. DaLí 2023: 119-135
• 2021
• 
  Fenrong Liu, Beishui Liao:
  Reasoning in social settings. J. Log. Comput. 31(4): 1023-1025 (2021)
• 
  Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu:
  On the Subtle Nature of a Simple Logic of the Hide and Seek Game. WoLLIC 2021: 201-218
• 
  Fenrong Liu, Alessandra Marra, Paul Portner, Frederik Van De Putte:
  Deontic Logic and Normative Systems - 15th International Conference, DEON 2020/21, Munich, Germany [virtual], July 21-24, 2021. College Publications 2021, ISBN 978-1-84890-352-4 [contents]
• 
  Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
  PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I. Lecture Notes in Computer Science 13031, Springer 2021, ISBN 978-3-030-89187-9 [contents]
• 
  Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
  PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II. Lecture Notes in Computer Science 13032, Springer 2021, ISBN 978-3-030-89362-0 [contents]
• 
  Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
  PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part III. Lecture Notes in Computer Science 13033, Springer 2021, ISBN 978-3-030-89369-9 [contents]
• 2020
• 
  Johan van Benthem, Fenrong Liu:
  New Logical Perspectives on Monotonicity. TLLM 2020: 1-12
• 
  Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl:
  Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings. Lecture Notes in Computer Science 12564, Springer 2020, ISBN 978-3-662-62842-3 [contents]
• 2018
• 
  Chanjuan Liu, Fenrong Liu, Kaile Su:
  A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games. Fundam. Informaticae 158(1-3): 149-169 (2018)
• 
  Natasha Alechina, Fenrong Liu, Brian Logan:
  Efficient minimal preference change. J. Log. Comput. 28(8): 1715-1733 (2018)
• 2017
• 
  Fenrong Liu, Emiliano Lorini:
  Reasoning About Belief, Evidence and Trust in a Multi-agent Setting. PRIMA 2017: 71-89
• 2016
• 
  Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu:
  A logical characterization of extensive games with short sight. Theor. Comput. Sci. 612: 63-82 (2016)
• 
  Fenrong Liu:
  Reasons to Believe in Social Settings. CLAR 2016: 3
• 
  Fenrong Liu, Emiliano Lorini:
  Reasons to Believe in a Social Environment. DEON 2016: 155-170
• 2015
• 
  Chanjuan Liu, Fenrong Liu, Kaile Su:
  A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games. PRIMA 2015: 467-480
• 2014
• 
  Chanjuan Liu, Enqiang Zhu, Fenrong Liu, Kaile Su:
  Preference dynamics in games with short sight. Appl. Math. Comput. 244: 493-501 (2014)
• 
  Johan van Benthem, Fenrong Liu:
  Deontic Logic and Preference Change. FLAP 1(2): 1-46 (2014)
• 
  Fenrong Liu, Jeremy Seligman, Patrick Girard:
  Logical dynamics of belief change in the community. Synth. 191(11): 2403-2431 (2014)
• 
  Sven Ove Hansson, Fenrong Liu:
  From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value. Johan van Benthem on Logic and Information Dynamics 2014: 729-747
• 2013
• 
  Fenrong Liu, Kaile Su:
  Logic and AI in China: An Introduction. Minds Mach. 23(1): 1-4 (2013)
• 
  Fenrong Liu, Yanjing Wang:
  Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds Mach. 23(1): 123-161 (2013)
• 
  Natasha Alechina, Fenrong Liu, Brian Logan:
  Minimal Preference Change. LORI 2013: 15-26
• 
  Chanjuan Liu, Fenrong Liu, Kaile Su:
  A Logic for Extensive Games with Short Sight. LORI 2013: 332-336
• 
  Jeremy Seligman, Fenrong Liu, Patrick Girard:
  Facebook and the epistemic logic of friendship. TARK 2013
• 
  Jeremy Seligman, Fenrong Liu, Patrick Girard:
  Facebook and the Epistemic Logic of Friendship. CoRR abs/1310.6440 (2013)

skipping 12 more matches