- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
57 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Fibred semantics and the weaving of logics
Arbeitspapiere des Sonderforschungsbereichs 340 Sprachtheoretische Grundlagen für die Computerlinguistik / Sonderforschungsbereich Sprachtheoretische Grundlagen für die Computerlinguistik ; Bericht Nr. 36
- Event
-
Veröffentlichung
- (where)
-
Heidelberg
- (who)
-
IBM Deutschland, Wiss. Zentrum, Inst. für Wissensbasierte Systeme
- (when)
-
1993
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:01 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gabbay, Dov M.
- IBM Deutschland, Wiss. Zentrum, Inst. für Wissensbasierte Systeme
Time of origin
- 1993
Other Objects (12)
Logics with Multiteam Semantics
Decidability of predicate logics with team semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
![A general algebraic semantics for sentenial [sentential] logics](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
A general algebraic semantics for sentenial [sentential] logics
Fragments of existential second-order logic and logics with team semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Modeling and aspect weaving
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
ii. Weaving
Tuti Weaving
Logics with Multiteam Semantics
Decidability of predicate logics with team semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
Fragments of existential second-order logic and logics with team semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Modeling and aspect weaving
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
ii. Weaving
Tuti Weaving
Logics with Multiteam Semantics
Decidability of predicate logics with team semantics
Infinitely Valued Gödel Semantics for Expressive Description Logics
A general algebraic semantics for sentenial [sentential] logics
Fragments of existential second-order logic and logics with team semantics
Weaving
On the existence of characterization logics and fundamental properties of argumentation semantics
Closed-World Semantics for Query Answering in Temporal Description Logics
Modeling and aspect weaving
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
ii. Weaving