Account
Edit tools
Intern
SucheSearch
English

Attribut:DOI Name

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.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
10.1007/978-3-030-71995-1\_5  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
10.1016/j.artint.2014.06.005  +
A
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
10.1145/1963405.1963496  +
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
https://doi.org/10.1007/978-3-319-23021-4_11  +
A Closer Look at the Semantic Relationship between Datalog and Description Logics +
10.3233/SW-130126  +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
10.1007/978-3-030-86205-3_1  +
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
https://doi.org/10.1007/978-3-030-44638-3_14  +
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem +
10.4230/LIPIcs.CPM.2017.10  +
A Framework for Intuitionistic Grammar Logics +
https://doi.org/10.1007/978-3-030-89391-0_29  +
A Framework for Reasoning about Dynamic Axioms in Description Logics +
10.24963/ijcai.2020/233  +
A Geo-ontology Design Pattern for Semantic Trajectories +
10.1007/978-3-319-01790-7_24  +
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence +
10.1007/978-3-319-14726-0_1  +
A Journey to the Frontiers of Query Rewritability +
10.1145/3517804.3524163  +
A Logical Geo-Ontology Design Pattern for Quantifying over Types +
10.1145/2424321.2424352  +
A Medvedev Characterization of Recognizable Tree Series +
https://doi.org/10.1007/978-3-319-62809-7_15  +
A Neutral Temporal Deontic STIT Logic +
https://doi.org/10.1007/978-3-662-60292-8_25  +
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
10.1142/S0129054113500068  +
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
10.1007/978-3-642-00982-2_47  +
A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
10.1007/978-3-031-15707-3\_30  +
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
10.1007/978-3-319-46523-4_5  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:DOI_Name&oldid=193“