Suche mittels Attribut

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

• Relbacoess  + (Rui Zhang)
• Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain  + (Sahar Vahdati)
• ASPARTIX-D Ready for the Competition  + (Sarah Alice Gaggl)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (Sarah Alice Gaggl)
• Navigating ASP Solution Spaces (Canceled)  + (Sarah Alice Gaggl)
• On Computing Explanations in Argumentation  + (Satyadharma Tirtarasa)
• Projection in a Description Logic of Context with Actions  + (Satyadharma Tirtarasa)
• Computing Generalizations of Temporal EL Concepts with Next and Global  + (Satyadharma Tirtarasa)
• 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)
• Multi-Context Stream Reasoning  + (Stefan Ellmauthaler)
• Agile Project Management - An overview on techniques and the agile mindset  + (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)