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
- Quantum Computing and the Limits of the Efficiently Computable + (Scott Aaronson)
- Past, Current and Future Trends in Description Logic + (Sebastian Rudolph)
- Chile – A Trip Report + (Sebastian Rudolph)
- Membership Constraints in Formal Concept Analysis + (Sebastian Rudolph)
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (Sebastian Rudolph)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (Sebastian Rudolph)
- Finite Model Theory of the Triguarded Fragment and Related Logics + (Sebastian Rudolph)
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment + (Sebastian Rudolph)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Sebastian Rudolph)
- Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis) + (Serge Stratan)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata + (Serge Stratan)
- PAC Completion of Description Logic TBoxes + (Sergei Obiedkov)
- Learning Word Representation in Compositional Matrix-Space Models + (Shima Asaadi)
- Report on research visit to NRC + (Shima Asaadi)
- Automatic Extraction of Compositional Matrix-Space Models of Language + (Shima Asaadi)
- Compositional Matrix-Space Models: Learning Methods and Evaluation + (Shima Asaadi)
- Characterizing common argumentation semantics using branch evaluations for justification systems + (Simon Birkenheuer)
- An importance value for temporal logics + (Simon Jantsch)
- Multi-Cultural Commonsense Knowledge Base Construction + (Simon Razniewski)
- Inaugural Lecture: Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT + (Simon Razniewski)
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (Simon Razniewski)
- Grounded Circumscription in Description Logics + (Stathis Delivorias)
- Introducing Existential Rules and Module Extraction + (Stathis Delivorias)
- Answering Temporal Conjunctive Queries over DL Ontologies + (Stefan Borgwardt)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Stefan Borgwardt)
- Expressivity of Planning with Horn Description Logic Ontologies + (Stefan Borgwardt)
- Agile Project Management - An overview on techniques and the agile mindset + (Stefan Ellmauthaler)
- Multi-Context Stream Reasoning + (Stefan Ellmauthaler)
- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams + (Stefan Ellmauthaler)
- Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit + (Steffen Breuer)
- Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces + (Steffen Guhlemann)
- Context Reasoning for Role-Based Models + (Stephan Böhme)
- Justifying All Differences Using Pseudo-Boolean Reasoning + (Stephan Gocht)
- Musings on the Semantics of SPARQL + (Stephan Mennicke)
- Answering Queries with Negation over Existential Rules + (Stephan Mennicke)
- Communication with Automata + (Stephan Mennicke)
- Adventures in Computer Science -- Grades 1 & 2 + (Stephan Mennicke)
- Abstract Domains for Database Manipulating Processes + (Stephan Mennicke)
- Musings on Graph Data, Schemas, Modality, and Coinduction + (Stephan Mennicke)
- Two-Dimensional Description Logics of Context + (Szymon Klarman)
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite! + (Theofilos Mailis)
- Classification of the finite polymorphism-homogeneous tournaments with loops + (Thomas Feller)
- A gentle introduction to partition width + (Thomas Feller)
- Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying + (Thomas Feller)
- Advances in Abstract Argumentation - Expressiveness and Dynamics + (Thomas Linsbichler)
- Generalized Consistent Query Answering under Existential Rules + (Thomas Lukasiewicz)
- The Method of Refinement: Deriving Proof-Calculi from Semantics for Multi-Modal Logics + (Tim Lyon)
- An Introduction to Proof Theory I: Sequent Calculus + (Tim Lyon)
- An Introduction to Proof Theory II: More on the Sequent Calculus + (Tim Lyon)
- Nested Sequents for First-Order Modal Logics via Reachability Rules + (Tim Lyon)
- KLM-Style Defeasible Reasoning + (Tommie Meyer)
- On the Complexity of k-Piecewise Testability and the Depth of Automata + (Tomáš Masopust)
- On the Complexity of Universality for Partially Ordered NFAs + (Tomáš Masopust)
