Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination + (https://doi.org/10.1016/j.ic.2019.104504)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms + (https://doi.org/10.1016/j.ic.2021.104816)
- Exact Learning of Multivalued Dependency Formulas + (https://doi.org/10.1016/j.tcs.2017.11.018)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (https://doi.org/10.1017/S1471068424000036)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (https://doi.org/10.1093/ijl/ecv027)
- Chase Termination Beyond Polynomial Time + (https://doi.org/10.1145/3651594)
- Answering Queries with Negation over Existential Rules + (https://doi.org/10.1609/aaai.v36i5.20503)
- Rushing and Strolling among Answer Sets - Navigation Made Easy + (https://doi.org/10.1609/aaai.v36i5.20506)
- Admissibility in Probabilistic Argumentation + (https://doi.org/10.1613/jair.1.13530)
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC + (https://doi.org/10.1613/jair.1.14482)
- Weighted Regular Tree Grammars with Storage + (https://doi.org/10.23638/DMTCS-20-1-26)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (https://doi.org/10.24963/kr.2024/60)
- Nemo: Your Friendly and Versatile Rule Reasoning Toolkit + (https://doi.org/10.24963/kr.2024/70)
- Hashtag Processing for Enhanced Clustering of Tweets + (https://doi.org/10.26615/978-954-452-049-6_038)
- Description Logics That Count, and What They Can and Cannot Count + (https://doi.org/10.29007/ltzn)
- The Triguarded Fragment of First-Order Logic + (https://doi.org/10.29007/m8ts)
- Proceedings 39th International Conference on Logic Programming + (https://doi.org/10.4204/EPTCS.385)
- Winning Snake: Design Choices in Multi-Shot ASP + (https://doi.org/10.48550/arXiv.2408.08150)
