Seiten, die auf „MediaWiki:Portal label Event Vortrag“ verlinken

Die folgenden Seiten verlinken auf MediaWiki:Portal label Event Vortrag:

Angezeigt werden 50 Einträge.

• Augmenting human cognition in collaborative knowledge collections (Vorlageneinbindung) ‎ (← Links)
• Introducing a Semantic Web Portal for Everyone (Vorlageneinbindung) ‎ (← Links)
• Logic for Database Systems Implementation (or Life beyond Lite Logics and CQ/UCQ) (Vorlageneinbindung) ‎ (← Links)
• Explaining Answer Sets using Argumentation Theory (Vorlageneinbindung) ‎ (← Links)
• Containment of Monadic Datalog (Vorlageneinbindung) ‎ (← Links)
• Past, Current and Future Trends in Description Logic (Vorlageneinbindung) ‎ (← Links)
• Two-Dimensional Description Logics of Context (Vorlageneinbindung) ‎ (← Links)
• News about Reasoning with Bit-Vectors (Vorlageneinbindung) ‎ (← Links)
• Visualization and navigation paradigms for triadic formal concept analysis (Vorlageneinbindung) ‎ (← Links)
• Relbacoess (Vorlageneinbindung) ‎ (← Links)
• Graph Structure and Monadic Second-Order Logic (Vorlageneinbindung) ‎ (← Links)
• Querying Probabilistic Ontologies (Vorlageneinbindung) ‎ (← Links)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite! (Vorlageneinbindung) ‎ (← Links)
• Verifying Temporal Properties of Biological Systems (Vorlageneinbindung) ‎ (← Links)
• Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de (Vorlageneinbindung) ‎ (← Links)
• 17. WLP - Workshop Logic Programming (Vorlageneinbindung) ‎ (← Links)
• Chile – A Trip Report (Vorlageneinbindung) ‎ (← Links)
• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics (Vorlageneinbindung) ‎ (← Links)
• Answering Temporal Conjunctive Queries over DL Ontologies (Vorlageneinbindung) ‎ (← Links)
• ASPARTIX-D Ready for the Competition (Vorlageneinbindung) ‎ (← Links)
• Modeling Concept Learning Problems with Second-Order Description Logics (Vorlageneinbindung) ‎ (← Links)
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems (Vorlageneinbindung) ‎ (← Links)
• Learning in Fuzzy Description Logics (Vorlageneinbindung) ‎ (← Links)
• Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis) (Vorlageneinbindung) ‎ (← Links)
• Finding p-indecomposable Functions (Vorlageneinbindung) ‎ (← Links)
• From Classical to Consistent Query Answering under Existential Rules (Vorlageneinbindung) ‎ (← Links)
• Framework for the Specification and Execution of parallel Clustering Algorithms (Vorlageneinbindung) ‎ (← Links)
• What makes modern SAT Solvers work that well (Vorlageneinbindung) ‎ (← Links)
• Temporal Query Answering in EL (Vorlageneinbindung) ‎ (← Links)
• Reasonable Highly Expressive Query Languages (Vorlageneinbindung) ‎ (← Links)
• Membership Constraints in Formal Concept Analysis (Vorlageneinbindung) ‎ (← Links)
• Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA (Vorlageneinbindung) ‎ (← Links)
• Characterization of the Expressivity of Existential Rule Queries (Vorlageneinbindung) ‎ (← Links)
• Verification of Knowledge-Based Programs over Description Logic Actions (Vorlageneinbindung) ‎ (← Links)
• On the Complexity of k-Piecewise Testability and the Depth of Automata (Vorlageneinbindung) ‎ (← Links)
• Improved Answer-Set Programming Encodings for Abstract Argumentation (Vorlageneinbindung) ‎ (← Links)
• NextClosures: Parallel Computation of the Canonical Base (Vorlageneinbindung) ‎ (← Links)
• Quantitative Versions of the Chomsky-Schützenberger Theorem (Vorlageneinbindung) ‎ (← Links)
• Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces (Vorlageneinbindung) ‎ (← Links)
• Introducing Existential Rules and Module Extraction (Vorlageneinbindung) ‎ (← Links)
• Enabling Fine-grained RDF Data Completeness Assessment (Vorlageneinbindung) ‎ (← Links)
• Fixed Domain Reasoning for Description Logics (Vorlageneinbindung) ‎ (← Links)
• Pattern-based ontology modeling and some of its implications for Description Logics research (Vorlageneinbindung) ‎ (← Links)
• Inconsistency Handling in Ontology-Mediated Query Answering (Vorlageneinbindung) ‎ (← Links)
• Uniform Interpolation for Expressive Description Logics (Vorlageneinbindung) ‎ (← Links)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements (Vorlageneinbindung) ‎ (← Links)
• Universality Results for Spiking Neural P Systems with Cooperating Rules (Vorlageneinbindung) ‎ (← Links)
• Adding Threshold Concepts to the Description Logic EL (Vorlageneinbindung) ‎ (← Links)
• Satisfiability of temporal logics with concrete domain (Vorlageneinbindung) ‎ (← Links)
• The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics (Vorlageneinbindung) ‎ (← Links)