Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany

Source URL: www.cs.sfu.ca

• Science
• Non-classical logic
• Model theory
• Knowledge representation
• Default logic
• Modal logic
• First-order logic
• Interpretation
• Autoepistemic logic
• Logic
• Mathematical logic
• Logic programming

A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien

Source URL: www.cs.sfu.ca

• Metalogic
• Model theory
• Non-classical logic
• Belief revision
• Interpretation
• Stable model semantics
• Entailment
• Constructible universe
• Logical connective
• Logic
• Mathematical logic
• Logic programming

Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str

Source URL: www.cs.sfu.ca

• Logic programming
• Model theory
• Functions and mappings
• Interpretation
• Entailment
• Symbol
• Logical connective
• Belief revision
• Function
• Logic
• Mathematics
• Metalogic

On the Relation between Reiter’s Default Logic and its (major) Variants James P. Delgrande1 and Torsten Schaub2 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 ,

Source URL: www.cs.sfu.ca

• Model theory
• Default logic
• Knowledge representation
• Logic programming
• Non-classical logic
• Symbol
• Interpretation
• First-order logic
• Function
• Mathematical logic
• Logic
• Mathematics

Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6.

Source URL: www.cs.sfu.ca

• Cryptographic protocols
• Computing
• Burrows–Abadi–Needham logic
• Cryptographic nonce
• Challenge-response authentication
• Communications protocol
• Transmission Control Protocol
• Otway–Rees protocol
• Cryptography
• Data
• Information

Einladung zu den Antrittsvorlesungen Fakultät für Informatik Torsten Möller

Source URL: medienportal.univie.ac.at

Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran

Source URL: www.cs.sfu.ca

• Mathematics
• Propositional calculus
• Charles Sanders Peirce
• Model theory
• Answer set programming
• If and only if
• Forcing
• Stable model semantics
• Belief revision
• Logic
• Mathematical logic
• Logic programming

A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1

Source URL: www.cs.sfu.ca

• Belief revision
• Model theory
• Semantics
• Constructible universe
• Interpretation
• Symbol
• Entailment
• Logic
• Logic programming
• Knowledge representation

On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach

Source URL: www.cs.sfu.ca

• Formal languages
• Model theory
• Propositional calculus
• Logic programming
• Interpretation
• Principia Mathematica
• Belief revision
• First-order logic
• Constructible universe
• Logic
• Mathematics
• Mathematical logic

EBPI Epidemiology, Biostatistics and Prevention Institute Big Data Science Torsten Hothorn

Source URL: user.math.uzh.ch

• Data analysis
• Computational neuroscience
• Data mining
• Machine learning
• Neural network
• Statistics
• Knowledge discovery
• Information
• Science
• Knowledge