Answer set programming and plan generation von Lifschitz, Vladimir

Volltext

Nonmonotonic causal theories von Giunchiglia, Enrico, Lee, Joohyung, Lifschitz, Vladimir, McCain, Norman, Turner, Hudson

Volltext

On the logic of causal explanation von Lifschitz, Vladimir

Volltext

Minimal belief and negation as failure von Lifschitz, Vladimir

Volltext

JmmSolve: A generative Java memory model implemented in Prolog and CHR von Schrijvers, Tom

Volltext

Logic programs with annotated disjunctions von Vennekens, Joost, Verbaeten, Sofie, Bruynooghe, Maurice

Volltext

Splitting an operator - An algebraic modularity result and its application to logic programming von Vennekens, Joost, Gilis, David, Denecker, Marc

Volltext

Constraint Handling Rules and tabled execution von Schrijvers, Tom, Warren, David S

Volltext

Improving Prolog programs: Refactoring for prolog von Schrijvers, Tom, Serebrenik, Alexander

Volltext

Classical negation in logic programs and disjunctive databases von GELFOND, M, LIFSCHITZ, V

Volltext

Handbook of Knowledge Representation von van Harmelen, Frank, Lifschitz, Vladimir, Porter, Bruce

Volltext

Nested abnormality theories von Lifschitz, Vladimir

Volltext

Frames in the space of situations von Lifschitz, Vladimir

Volltext

Representing Transition Systems by Logic Programs von Lifschitz, Vladimir, Turner, Hudson

Volltext

Postmortem parenthood: the need for protocol von Macdonald, Jessica A., Hurwitz, Joshua M., Lifschitz, Lucia V., Batzer, Frances R., Caplan, Arthur

Volltext

Aplicación del aprendizaje basado en problemas para la enseñanza de la microbiología en estudiantes de Medicina Application of the problem-based learning for the Microbiology teach... von V. Lifschitz, A. Bobadilla, P. Esquivel, G. Giusiano, L. Merino

Volltext

Aplicación del aprendizaje basado en problemas para la enseñanza de la microbiología en estudiantes de Medicina von Lifschitz, V., Bobadilla, A., Esquivel, P., Giusiano, G., Merino, L.

Volltext

Nikolai Aleksandrovich Shanin (obituary) von Vsemirnov, M A, Hirsch, È A, Grigor'ev, D Yu, Davydov, G V, Dantsin, E Ya, Zaslavskii, I D, Karavaev, E F, Konev, B Yu, Kossovskii, N K, Lifschitz, V A, Margenstern, M, Matiyasevich, Yu V, Mints, G E, Orevkov, V P, Pliuškevičius, R, Slisenko, A O, Solov'ev, S V, Chernov, V P

Volltext

Representing action: indeterminacy and ramifications von Giunchiglia, Enrico, Kartha, G.Neelakantan, Lifschitz, Vladimir

Volltext

Partial stable models for logic programs with aggregates von Pelov, Nikolay, Denecker, Marc, Bruynooghe, Maurice

Volltext