Account
Edit tools
Intern
SucheSearch
English

Attribut:Download

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

This property stores a file name as a plain string.

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 +
BBE-FOSSACS-21.pdf  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
NR2014.pdf  +
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
LangeLutz-JSL-05.ps.gz  +
A
A Benchmark Framework for a Computational Argumentation Competition +
HS1013794121_2014_COMMA14-7.pdf  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
Kroetzsch-Rudolph-Schmitt-Datalog-DL-2015.pdf  +
A Compact Encoding of Pseudo-Boolean Constraints into SAT +
Steinke:11:KI.pdf  +
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
Dissertation Gaggl2013.pdf  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
dietz:hoelldobler:ragni:submitted.pdf  +
A Computational Logic Approach to the Suppression Task +
Diezt:12:CoSi.pdf  +
A Concept Language Extended with Different Kinds of Transitive Roles +
Sattler-KI-96.ps.gz  +
A Concept Language for an engeneering application with part-whole relations +
Sattler-DL-95.ps.gz  +
A Correspondance between Temporal Description Logics +
ArtaleLutz-DL-99.ps.gz  +
A Correspondence between Temporal Description Logics +
ArtaleLutzJANCL04.ps.gz  +
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
FranconiSattler-DMDW99.ps.gz  +
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +
FranconiSattler-AIIA99.ps.gz  +
A Data-Driven Graph Schema +
2018-amw-graph-schema.pdf  +
A Database Approach for Modeling and Querying Video Data +
DecleirHacid+-ICDE-99.ps.gz  +
A Database Approach for Modeling and Querying Video Data +
DecleirHacid+-LTCS-99-03.ps.gz  +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
Bromberger-et-al-Datalog-simple-linear-arithmetic.pdf  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Download&oldid=3811“