×

Found 2 Documents (Results 1–2)

A new semantics for logic programs. (English) Zbl 1052.68082

Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0193-2). 217-248 (2001).
MSC:  68Q55 68N17
PDFBibTeX XMLCite

Inductive definability and the situation calculus. (English) Zbl 0927.03059

Freitag, Burkhard (ed.) et al., Transactions and change in logic databases. International seminar on Logic databases and the meaning of change, Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS ’97 post-conference workshop on (Trans)Actions and change in logic programming and deductive databases, DYNAMICS ’97, Port Jefferson, NY, USA, October 17, 1997. Berlin: Springer. Lect. Notes Comput. Sci. 1472, 227-248 (1998).
MSC:  03B70
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field

Software