User:Michael Gelfond

Michael Gelfond
Professor of Computer Science, Texas Tech University

M.S. in Mathematics (1968), St.Petersburg University, St.Petersburg, Russia

Ph.D. in Mathematics (1974) Steklov Mathematical Institute, St.Petersburg, Russia

/Draft1

Draft Answer Set Prolog

Draft Answer Set Semantics