Pages that link to "Item:Q1975745"
From MaRDI portal
The following pages link to Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997 (Q1975745):
Displayed 4 items.
- Reasoning with infinite stable models (Q814596) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- Composing Normal Programs with Function Symbols (Q5504671) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)