Michael Gelfond edit

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