Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Mathematical logic
• Metaphysics
• Philosophical logic
• Artificial intelligence
• Description logic
• Information science
• Model theory
• Modal logic
• First-order logic
• Web Ontology Language

Deontic Logic in Computer Science Leon van der Torre & Jörg Hansen ESSLIAugust 2008

Source URL: icr.uni.lu

αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Source URL: repository.readscheme.org

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

Source URL: web.student.chalmers.se

ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ

Source URL: icr.uni.lu

ESSLLI08: Deontic Logic in Computer Science Part 3b/5: Norms, Obligations, Time and Agents J¨org Hansen and Leendert van der Torre 1 Makinson’s examples

Source URL: icr.uni.lu

On the Unusual Effectiveness of Logic in Computer Science  Joseph Y. Halpern Robert Harper
Neil Immerman

Source URL: www.cs.upc.edu

Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath

Source URL: canbaskent.net