An infinite-game semantics for well-founded negation in logic programming

✍ Scribed by Chrysida Galanaki; Panos Rondogiannis; William W. Wadge

• Book ID: 108054630
• Publisher: Elsevier Science
• Year: 2008
• Tongue: English
• Weight: 354 KB
• Volume: 151
• Category: Article
• ISSN: 0168-0072
• DOI: 10.1016/j.apal.2007.10.004