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.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
https://link.springer.com/chapter/10.1007/978-3-030-71995-1 5  +
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
http://www.sciencedirect.com/science/article/pii/S0004370214000824  +
A
A Behavioral Characterization of Computational Systems +
http://gordana.se/work/PUBLICATIONS-files/2011-IACAP11-PROCEEDINGS.pdf#page=30  +
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
http://dl.acm.org/citation.cfm?id=1963496  +
A Brief Introduction to Formal Concept Analysis +
http://korrekt.org/page/A Brief Introduction to FCA  +, http://www.crcpress.com/product/isbn/9781420060621  +, http://korrekt.org/page/A Brief Introduction to FCA, http://www.crcpress.com/product/isbn/9781420060621  +
A Computational Logic Approach to Syllogisms in Human Reasoning +
http://ceur-ws.org/Vol-1412/3o.pdf  +
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
http://www.commonsense2013.cs.ucy.ac.cy/docs/commonsense2013 submission 15.pdf  +
A Computational Logic Approach to the Belief Bias Effect +
https://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&ved=0ahUKEwik6Li-wODTAhXDFZoKHWJ2B78QFgg9MAE&url=https://www.aaai.org/ocs/index.php/KR/KR14/paper/download/7969/7992&usg=AFQjCNG5KGSpFgu9s4ec9-ZPe UEFpXo6g  +
A Computational Logic Approach to the Suppression Task +
https://mindmodeling.org/cogsci2012/papers/0266/paper0266.pdf  +
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
https://iccm-conference.neocities.org/2019/proceedings/papers/ICCM2019 paper 29.pdf  +
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
https://link.springer.com/chapter/10.1007/978-3-030-44638-3 14  +
A Description Logic Primer +
http://arxiv.org/abs/1201.4089  +
A Framework for Reasoning about Dynamic Axioms in Description Logics +
https://www.ijcai.org/proceedings/2020/233  +
A Fully Parallel Framework for Fast Analyzing RDF Data +
http://ceur-ws.org/Vol-1272/  +
A Journey to the Frontiers of Query Rewritability +
https://dl.acm.org/doi/10.1145/3517804.3524163  +
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
http://ceur-ws.org/Vol-2961/paper 5.pdf  +
A Lexico-Logical Approach to Ontology Engineering +
http://www.crcpress.com/shopping cart/products/product detail.asp?sku=C6062&isbn=9781420060621&pc=/shopping cart/categories/categories products.asp?parent id=1152  +
A Matter of Principles: Towards the Largest DLP Possible +
http://korrekt.org/page/Towards The Largest DLP Possible  +, http://korrekt.org/papers/KroetzschRudolph Maximising DLP workshop version.pdf  +, http://korrekt.org/page/Towards The Largest DLP Possible, http://korrekt.org/papers/KroetzschRudolph Maximising DLP workshop version.pdf  +
A Model and Method to Terminologize Existing Domain Ontologies +
https://hal.archives-ouvertes.fr/file/index/docid/1005867/filename/Tmint v3.pdf  +
A Modified Supervaluationist Framework for Decision-Making +
http://logos-and-episteme.acadiasi.ro/  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Link&oldid=187“