Seiten, die auf „KBS Seminar“ verlinken
Aus International Center for Computational Logic
Die folgenden Seiten verlinken auf KBS Seminar:
Angezeigt werden 50 Einträge.
- Relbacoess (← Links)
- Graph Structure and Monadic Second-Order Logic (← Links)
- Querying Probabilistic Ontologies (← Links)
- Verifying Temporal Properties of Biological Systems (← Links)
- Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de (← Links)
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics (← Links)
- Answering Temporal Conjunctive Queries over DL Ontologies (← Links)
- ASPARTIX-D Ready for the Competition (← Links)
- Modeling Concept Learning Problems with Second-Order Description Logics (← Links)
- Finding p-indecomposable Functions (← Links)
- From Classical to Consistent Query Answering under Existential Rules (← Links)
- Framework for the Specification and Execution of parallel Clustering Algorithms (← Links)
- What makes modern SAT Solvers work that well (← Links)
- Temporal Query Answering in EL (← Links)
- Reasonable Highly Expressive Query Languages (← Links)
- Membership Constraints in Formal Concept Analysis (← Links)
- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA (← Links)
- Characterization of the Expressivity of Existential Rule Queries (← Links)
- Verification of Knowledge-Based Programs over Description Logic Actions (← Links)
- On the Complexity of k-Piecewise Testability and the Depth of Automata (← Links)
- Improved Answer-Set Programming Encodings for Abstract Argumentation (← Links)
- NextClosures: Parallel Computation of the Canonical Base (← Links)
- Intertranslatability of Labeling-based Argumentation Semantics (← Links)
- Quantitative Versions of the Chomsky-Schützenberger Theorem (← Links)
- Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces (← Links)
- Introducing Existential Rules and Module Extraction (← Links)
- On Mono- and Multilingual Word embeddings for NLP (← Links)
- Explaining neural network reasoning (← Links)
- On Computing Explanations in Argumentation (← Links)
- Enabling Fine-grained RDF Data Completeness Assessment (← Links)
- Fixed Domain Reasoning for Description Logics (← Links)
- Pattern-based ontology modeling and some of its implications for Description Logics research (← Links)
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements (← Links)
- Universality Results for Spiking Neural P Systems with Cooperating Rules (← Links)
- Adding Threshold Concepts to the Description Logic EL (← Links)
- Satisfiability of temporal logics with concrete domain (← Links)
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics (← Links)
- HUGS – A Lightweight Graph Partitioning Approach (← Links)
- Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis (← Links)
- SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge (← Links)
- On the Complexity of Universality for Partially Ordered NFAs (← Links)
- Learning Description Logic Ontologies via Queries (← Links)
- Ontology Evolution trough Interaction (← Links)
- Ontologies for Knowledge Graphs: Breaking the Rules (← Links)
- Question Answering Systems (← Links)
- On inconsistency-minimizing, paraconsistent reasoning in knowledge bases (← Links)
- Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics (← Links)
- Managing and Consuming Completeness Information for RDF Data Sources (← Links)
- An Introduction to Wikidata (← Links)
- Irina Dragoste (← Links)
