Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
From MaRDI portal
Publication:1975745
zbMath0936.00041MaRDI QIDQ1975745
No author found.
Publication date: 2 May 2000
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
On the equivalence of the static and disjunctive well-founded semantics and its computation ⋮ Snapshot Generation in a Constructive Object-Oriented Modeling Language ⋮ Composing Normal Programs with Function Symbols ⋮ Reasoning with infinite stable models
