A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs - researchr publication

researchr

You are not signed in
Sign in
Sign up

Douglas Cenzer, Jeffrey B. Remmel. A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, Florida, USA, January 2-4, 2008. 2008. [doi]

Abstract is missing.

runs on WebDSL