Attribut:Title
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
(
(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 +
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 Behavioral Characterization of Computational Systems +
A Benchmark Framework for a Computational Argumentation Competition +
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 Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
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 Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
