Account
Edit tools
English

Attribut:Pages

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
120-140  +
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
1072-1086  +
A
A "Converse" of the Banach Contraction Mapping Theorem +
3-6  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
645-654  +
A Brief Introduction to Formal Concept Analysis +
3--16  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
63-79  +
A Computational Logic Approach to Syllogisms in Human Reasoning +
17-31  +
A Computational Logic Approach to the Suppression Task +
1500-1505  +
A Concept Language for an engeneering application with part-whole relations +
119-123  +
A Correspondance between Temporal Description Logics +
145-149  +
A Correspondence between Temporal Description Logics +
209-233  +
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +
9-21  +
A Database Approach for Modeling and Querying Video Data +
6-13  +
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
138-153  +
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
188 - 201  +
A Description Logic for Vague Knowledge +
361-365  +
A Description Logic of Change +
218-223  +
A Description Logic with Concrete Domains and Role-forming Predicates +
351-384  +
A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
385-410  +
A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
46-61  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Pages&oldid=176“
  • Powered by MediaWiki
  • Powered by Semantic MediaWiki