Attribut:Title

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

Dies ist eine Eigenschaft des Typs Zeichenkette.

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 ℰℒ  +
1
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  +
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002  +
18th International Conference on Rewriting Techniques and Applications (RTA 2007)  +
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  +
6
6th Workshop on Unification  +
?
???  +
A
A "Converse" of the Banach Contraction Mapping Theorem  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  +
A Brief Introduction to Formal Concept Analysis  +
A Calculus of Order and Interaction  +
A Calculus of Order and Interaction  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics  +
A Compact Encoding of Pseudo-Boolean Constraints into SAT  +
A Compact Encoding of Pseudo-Boolean Constraints into SAT  +
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation  +
A Computational Logic Approach to Human Reasoning  +
A Computational Logic Approach to Syllogisms in Human Reasoning  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  +