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

• Seminar Data-Aware Processes  + (Session01.pdf)
• Science of Computational Logic  + (Sheet-1-2015.pdf)
• Science of Computational Logic  + (Sheet-1-students.pdf)
• Logic  + (Sheet-1.pdf)
• Science of Computational Logic  + (Sheet-2-2015.pdf)
• Science of Computational Logic  + (Sheet-2.pdf)
• Science of Computational Logic  + (Sheet-3-2015.pdf)
• Science of Computational Logic  + (Sheet-3.pdf)
• Science of Computational Logic  + (Sheet-4.pdf)
• Science of Computational Logic  + (Sheet-4-2015.pdf)
• Science of Computational Logic  + (Sheet-5.pdf)
• Science of Computational Logic  + (Sheet-6-2015.pdf)
• Science of Computational Logic  + (Sheet-6.pdf)
• Science of Computational Logic  + (Sheet-7-problems.pdf)
• Science of Computational Logic  + (Sheet-7.pdf)
• Science of Computational Logic  + (Sheet-8.pdf)
• Science of Computational Logic  + (Sheet-9-problems.pdf)
• Science of Computational Logic  + (Sheet-8-2015.pdf)
• Science of Computational Logic  + (Sheet-e-unification.pdf)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (Simancik-Motik-Kroetzsch FPT-DL-decomposition DL2011.pdf)
• Simple restriction in context-free rewriting  + (Simple restriction in context-free rewriting.pdf)
• Say "No" to Grounding: An Inference Algorithm for First-Order MDPs  + (Skvortsova:06:01.pdf)
• A new context-based -subsumption algorithm  + (Skvortsova:06:02.pdf)
• Efficient Symbolic Reasoning for First-Order MDPs  + (Skvortsova:06:03.pdf)
• SAT-Solving  + (Sls2015.pdf)

• Winning Snake: Design Choices in Multi-Shot ASP  + (Snakesplus.pdf)

• ASPARTIX Conquers the Web  + (Softwaredemo aspartixCOMMA2010.pdf)
• Database Theory  + (DBT2018-Exercise-09.pdf)
• Foundations of Complexity Theory  + (Space-hierarchy-gap-print.pdf)
• State Complexity of Projected Languages  + (State Complexity of Projected Languages.pdf)
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases  + (Stefanoni-et-al-OWL-EL-conjunctive-queries-jair-2014.pdf)
• Some Experimental Results on Randomly Generating Formal Contexts  + (Stegosaurus.pdf)
• A Compact Encoding of Pseudo-Boolean Constraints into SAT  + (Steinke:11:KI.pdf)
• A Systematic Proof Theory for Several Modal Logics  + (Stewart:03:wv08.pdf)
• DNA-Computing - ein funktionales Modell im laborpraktischen Experiment  + (StoschekSturm+-IFE-01.pdf)
• MELL in the Calculus of Structures  + (Strassburger:01:wv03.pdf)
• A Local System for Linear Logic  + (Strassburger:02:wv01.pdf)
• System NEL is Undecidable  + (Strassburger:03:01.pdf)
• MELL in the Calculus of Structures  + (Strassburger:03:02.pdf)
• The Undecidability of System NEL  + (Strassburger:03:wv05.pdf)
• Managing Structured and Semistructured RDF Data Using Structure Indexes  + (Strucidx-tkde.pdf)
• Distributed Splicing of RE with 6 Test Tubes  + (SturmHinze-WMP2000-01.pdf)
• SAT-Solving  + (Sudoku cnfs.zip)
• Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies  + (Sun-07-LTCS.pdf)
• Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies  + (Sun-ESWC-08.pdf)
• Empirical evaluation of reasoning in lightweight DLs on life science ontologies  + (Sun-MIWAI-08.pdf)
• Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators  + (SunBaaSchSpa-AIME-07.pdf)
• A Modularization-based Approach to Finding All Justifications for OWL DL Entailments  + (SunEtAl-ASWC-08.pdf)
• Foundations of Semantic Web Technologies  + (Sw uebung 11 2024.pdf)
• Foundations of Semantic Web Technologies  + (Sw-uebung3.pdf)
• Foundations of Semantic Web Technologies  + (Sw-uebung4.pdf)