Suchergebnisse - Schwind, Camilla B. | OPAC THWS

1

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

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

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

Veröffentlicht in Computer assisted language learning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

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

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

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

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

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

Veröffentlicht in Information processing & management

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

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

Veröffentlicht in International Journal of Computer & Information Sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Feature grammars for semantic analysis von Schwind, Camilla B.

Veröffentlicht in Computational intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

A Theory for Causal Reasoning von Schwind, Camilla

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: