Account
Edit tools
Intern
SucheSearch
English

Attribut:Link

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

Dies ist eine Eigenschaft des Typs URL.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation +
http://media.obvsg.at/AC07813997-2001  +
Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies +
https://www.dfki.de/web/forschung/publikationen/renameFileForDownload?filename=Challenges to Knowledge Representation 2012 Proceedings.pdf&file id=uploads 1586#page=24  +
Acyclicity Conditions and their Application to Query Answering in Description Logics +
http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490  +
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies +
http://www.jair.org/papers/paper3949.html  +
Admissibility in Probabilistic Argumentation +
https://doi.org/10.24963/kr.2021/9  +
All Elephants are Bigger than All Mice +
http://korrekt.org/page/Elephants  +, http://korrekt.org/papers/RudolphKroetzschHitzer DL-Concept-Product TR 2008.pdf  +, http://korrekt.org/page/Elephants, http://korrekt.org/papers/RudolphKroetzschHitzer DL-Concept-Product TR 2008.pdf, http://korrekt.org/page/Elephants  +
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs +
https://www.ijcai.org/proceedings/2020/238  +
An Extension-Based Approach to Belief Revision in Abstract Argumentation +
https://www.ijcai.org/Proceedings/15/Papers/414.pdf  +
An Extension-Based Approach to Belief Revision in Abstract Argumentation +
https://www.sciencedirect.com/science/article/abs/pii/S0888613X17301858  +
Answering Queries with Negation over Existential Rules +
https://arxiv.org/abs/2112.07376  +
Applications of ASP in Formal Argumentation +
http://www.kr.tuwien.ac.at/events/taasp18/papers/TAASP 2018 paper 16.pdf  +
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas +
http://ceur-ws.org/Vol-2013/paper17.pdf  +
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings +
http://link.springer.com/book/10.1007/978-3-642-39521-5  +
Asynchronous Multi-Context Systems +
http://arxiv.org/abs/1505.05367  +
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics +
https://link.springer.com/chapter/10.1007/978-3-030-33792-6 13  +
B
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features +
https://link.springer.com/chapter/10.1007/978-3-031-43619-2 21  +
Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition +
http://saifmohammad.com/WebPages/BiRD.html  +, https://github.com/sasaadi/BiRD  +, https://github.com/sasaadi/BiRD, http://saifmohammad.com/WebPages/BiRD.html  +
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying +
https://doi.org/10.1145/3584372.3588659  +
Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following +
http://ceur-ws.org/Vol-1660/caos-paper1.pdf  +
Business lexicography +
https://www.degruyter.com/view/product/448369  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Link&oldid=187“