Logic in Computer Science and Artificial Intelligence

Jørgen Villadsen

DTU Informatics

• Associate Professor Jørgen Villadsen
• Associate Professor Thomas Bolander
• Associate Professor Valentin Goranko

Topics

• Foundations, History & Philosophy of Logic
• Hybrid Logic & Decision Procedures
• Intensionality & Higher Order Logic
• Logic Programming & Constraint Solving
• Paraconsistency & Many-Valued Logic
• Substructural Logic & Categorial Grammar

Groups

• CoLogNET, A Network of Excellence in Computational Logic (RUC)
• Logic Seminars (RUC)
• Logiweb (DIKU)
• Programming, Logic and Semantics (ITU)
• Programming, Logic and Intelligent Systems (RUC)
• PhiLog: Danish Network for Philosophical Logic and Its Applications (RUC)
• Paul C. Gilmore & James H. Andrews

Keywords: Formal Logic (Computational, Mathematical, Philosophical), Type Theory, Declarative Programming, Autonomous Agents, Verification

Mathematics is the art of making vague intuitive ideas precise and then studying the result...
The tool available for practicing the art is logic
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore (Association for Symbolic Logic 2005)

Jørgen Villadsen 2010-10-10 imm.dtu.dk/~jv/logic