Account
Edit tools
Intern
SucheSearch
English

Attribut:Referiert

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

Referiert bedeutet, dass die Veröffentlichungen durch einen Reviewing Prozess gelaufen ist.


Dies ist eine Eigenschaft des Typs Wahrheitswert.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
1  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
1  +
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
1  +
?
??? +
1  +
A
A "Converse" of the Banach Contraction Mapping Theorem +
1  +
A Behavioral Characterization of Computational Systems +
1  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
1  +
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
1  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
1  +
A Computational Logic Approach to Syllogisms in Human Reasoning +
1  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
1  +
A Computational Logic Approach to the Belief Bias Effect +
1  +
A Computational Logic Approach to the Suppression Task +
1  +
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
1  +
A Concept Language Extended with Different Kinds of Transitive Roles +
1  +
A Concept Language for an engeneering application with part-whole relations +
1  +
A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +
1  +
A Core Method for the Weak Completion Semantics with Skeptical Abduction +
0  +
A Correspondance between Temporal Description Logics +
1  +
A Correspondence between Temporal Description Logics +
1  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Referiert&oldid=197“