Horswill

Feb-8-2022, 09:28:20 GMT–AAAI Conferences

Answer-set programming (ASP), a family of SAT-based logic programming systems, is attractive for procedural content generation.

horswill, logic & formal reasoning, logic programming, (1 more...)

AAAI Conferences

Feb-8-2022, 09:28:20 GMT

Conferences Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.71)