Baba is You is Undecidable.

Jonathan Geller

Published in: CoRR (2022)

Keyphrases

sufficient conditions
np complete
evolutionary algorithm
datalog programs
machine learning
artificial intelligence
information systems
case study
query containment