Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)