TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Anmelden
Edit tools
Diskussion
Quelltext anzeigen
Versionsgeschichte
Intern
Suche
Search
English
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner
Attribut:Archivierungsnummer
Aus International Center for Computational Logic
Wechseln zu:
Navigation
,
Suche
This is the "number" of a technical report or other document. It can be any
string
.
Annotationen
285
vorherige 20
20
50
100
250
500
nächste 20
Filter
<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
A Normalization Algorithm for Automated First-Order Value Iteration
+
WV--03--16
+
A Note on Relative Observability in Coordination Control
+
CoRR abs/1404.2195
+
A Note on Undecidability of Observation Consistency for Non-Regular Languages
+
CoRR abs/1201.1754
+
A PSpace-algorithm for ALCQI-satisfiability
+
LTCS-99-09
+
A PSpace-algorithm for deciding ALCNI_R^+-satisfiability
+
LTCS-98-08
+
A Scheme for Integrating Concrete Domains into Concept Languages
+
{RR}-91-10
+
A Semantics for Open Normal Defaults via a Modified Preferential Approach
+
{RR}-93-13
+
A System of Interaction and Structure
+
WV-02-10
+
A Systematic Proof Theory for Several Modal Logics
+
WV-03-08
+
A Tableau Algorithm for DLs with Concrete Domains and GCIs
+
LTCS-05-07
+
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case
+
LTCS-01-01
+
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version
+
LTCS-00-03
+
A Visual-Sensor Model for Mobile Robot Localisation
+
WV-03-03
+
A finite basis for the set of EL-implications holding in a finite model
+
07-02
+
A framework for connection calculi
+
WV-1997-09
+
A generalized resolution theorem
+
WV--03--13
+
A nice Cycle Rule for Goal-Directed E-Unification
+
LTCS-04-01
+
A robot control system integrating reactive control, reasoning, and execution monitoring
+
WV-03-02
+
A rule based data manipulation language for OLAP systems
+
LTCS-97-05
+
A semi-supervised method for learning the structure of robot-environment interaction
+
WV-03-07
+
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen