A sequent calculus and a theorem prover for standard conditional logics von Olivetti, Nicola, Pozzato, Gian Luca, Schwind, Camilla B.

Volltext

ERROR ANALYSIS AND EXPLANATION IN KNOWLEDGE BASED LANGUAGE TUTORING von Schwind, Camilla B.

Volltext

Tableau-based characterization and theorem proving for default logic von Risch, Vincent, Schwind, Camilla B.

Volltext

Semantic trees for natural language representation von Schwind, Camilla B.

Volltext

Embedding deductive capabilities in relational database systems von Schwind, Camilla B.

Volltext

Feature grammars for semantic analysis von Schwind, Camilla B.

Volltext

A Calculus and Complexity Bound for Minimal Conditional Logic von Olivetti, Nicola, Schwind, Camilla B.

Volltext

A tableaux-based theorem prover for a decidable subset of default logic von Schwind, Camilla B.

Volltext

A tableau-based characterisation for default logic von Schwind, Camilla B., Risch, Vincent

Volltext

Semantikkonzepte in der Künstlichen Intelligenz von Schwind, Camilla B.

Volltext

Database Repairs and Analytic Tableaux von Bertossi, Leopoldo, Schwind, Camilla

Volltext

Ramification and causality in a modal action logic von Giordano, L, Martelli, A, Schwind, C

Volltext

A Theory for Causal Reasoning von Schwind, Camilla

Volltext

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus von Alenda, Régis, Olivetti, Nicola, Schwind, Camilla

Volltext

Automated Deduction von Boy de la Tour, Thierry, Caferra, Ricardo, Olivetti, Nicola, Peltier, Nicolas, Schwind, Camilla

Volltext

Graded hypothesis theories von Chatalic, Philippe, Froidevaux, Christine, Schwind, Camilla

Volltext

Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus von Alenda, Régis, Olivetti, Nicola, Schwind, Camilla

Volltext bestellen

Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus von Alenda, Régis, Olivetti, Nicola, Schwind, Camilla

Volltext

Mimic miRNA and Anti-miRNA Activated Scaffolds as a Therapeutic Strategy to Promote Bone, Cartilage, and Skin Regeneration von Guelfi, Gabriella, Capaccia, Camilla, Anipchenko, Polina, Ciancabilla, Francesco, Oommen, Oommen Podiyan, Bufalari, Antonello, Zerani, Massimo, Maranesi, Margherita

Volltext

Barbara Camilla Tucholski: «Vangerin-Zyklus», 1990 von Voigt, Katharina

Volltext