Krzysztof R. Apt

1949

• Meta-logics and logic programming
• From logic programming to Prolog
• Principles of constraint programming
• Formal description of programming concepts
• Foundations of deductive databases and logic programming
• Lectures in game theory for computer scientists
• Logic programming languages
• New perspectives on games and interaction
• New perspectives on games and interaction
• Principles of constraint programming
• Programmverifikation
• The Logic programming paradigm