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