Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

My work with Victor Marek: a mathematician looks at answer set programming

My work with Victor Marek: a mathematician looks at answer set programming We give a brief retrospective of the work of Marek, Nerode, and Remmel on nonmonotonic logic and answer set programming. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

My work with Victor Marek: a mathematician looks at answer set programming

Loading next page...
 
/lp/springer-journals/my-work-with-victor-marek-a-mathematician-looks-at-answer-set-zHDyMrFggZ

References (65)

Publisher
Springer Journals
Copyright
Copyright © 2009 by Springer Science+Business Media B.V.
Subject
Computer Science; Complexity; Mathematics, general; Computer Science, general; Artificial Intelligence (incl. Robotics)
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-009-9107-z
Publisher site
See Article on Publisher Site

Abstract

We give a brief retrospective of the work of Marek, Nerode, and Remmel on nonmonotonic logic and answer set programming.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Feb 7, 2009

There are no references for this article.