Publisher
Springer International Publishing
Reference8 articles.
1. Artificial Intelligence, 13(1,2), 1980.
2. Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, and Torsten Schaub. Abstract gringo. Theory and Practice of Logic Programming, 15:449–463, 2015.
3. W.L. Harper, G.A. Pearce, and R. Stalnaker, editors. IFS: Conditionals, Belief, Decision, Chance and Time. Springer, 1980.
4. Vladimir Lifschitz. Intelligent instantiation and supersafe rules. In Technical Communications of the 28th International Conference on Logic Programming (ICLP), 2016.
5. John McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39,171–172, 1980.