Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers von Dix, Jürgen, Pereira, Louis Moniz, Przymusinski, Teodor C

Volltext

Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers von Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C

Volltext

Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers von Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C

Volltext

Dynamic Knowledge Representation and Its Applications von Alferes, José Júlio, Pereira, Luýs Moniz, Przymusinska, Halina, Przymusinski, Teodor C., Quaresma, Paulo

Volltext

Autoepistemic logic of knowledge and beliefs von Przymusinski, Teodor C.

Volltext

Super logic programs von Brass, Stefan, Dix, Jürgen, Przymusinski, Teodor C.

Volltext

On the equivalence of the static and disjunctive well-founded semantics and its computation von Brass, Stefan, Dix, Jürgen, Niemelä, Ilkka, C. Przymusinski, Teodor

Volltext

Computation of the semantics of autoepistemic belief theories von Brass, Stefan, Dix, Jürgen, Przymusinski, Teodor C.

Volltext

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming von Alferes, José Júlio, Pereira, Luís Moniz, Przymusinski, Teodor C

Volltext

Reasoning with prioritized defaults von Gelfond, Michael, Son, Tran Cao

Volltext

LUPS—A language for updating logic programs von Alferes, José Júlio, Pereira, Luı́s Moniz, Przymusinska, Halina, Przymusinski, Teodor C.

Volltext

Stable semantics for disjunctive programs von PRZYMUSINSKI, T. C

Volltext

Well-founded and stationary models of logic programs von Przymusinski, Teodor C.

Volltext

Static semantics for normal and disjunctive logic programs von Przymusinski, Teodor C.

Volltext

Generalizing updates: From models to programs von Leite, JoÃo Alexandre, Pereira, Luís Moniz

Volltext

Two simple characterizations of well-founded semantics von Przymusinski, Teodor C.

Volltext

Super logic programs and negation as belief von Przymusinski, Teodor C.

Volltext

Update by means of inference rules von Przymusinski, Teodor C., Turner, Hudson

Volltext

A general approach to bottom-up computation of disjunctive semantics von Brass, Stefan, Dix, Jürgen

Volltext

Magic computation for well-founded semantics von Degerstedt, Lars, Nilsson, Ulf

Volltext