V. W. Marek

1943 – )

• Andrzej Mostowski and foundational studies
• Introduction to mathematics of satisfiability
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
• Nonmonotonic logic
• Introduction to mathematics of satisfiability