Jump to content

User:Michael Gelfond

From Wikipedia, the free encyclopedia

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