Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
LIF
A first-order Temporal Logic for Actions
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
Database Repairs and Analytic Tableaux
No associations
LandOfFree
Camilla Schwind does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Camilla Schwind, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Camilla Schwind will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-57964