類似資料

• On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
  著者:: Vašíček, Ondřej, 等
  出版事項: (2026)
• Early Validation of High-level Requirements on Cyber-Physical Systems
  著者:: Vašíček, Ondřej
  出版事項: (2025)
• Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
  著者:: Gupta, Gopal, 等
  出版事項: (2025)
• VECSR: Virtually Embodied Common Sense Reasoning System
  著者:: Tudor, Alexis R., 等
  出版事項: (2025)
• Deciding Boolean Separation Logic via Small Models (Technical Report)
  著者:: Dacík, Tomáš, 等
  出版事項: (2024)