Pages that link to "MediaWiki:Portal label by (speaker)/en"
From International Center for Computational Logic
The following pages link to MediaWiki:Portal label by (speaker)/en:
Displayed 50 items.
- Augmenting human cognition in collaborative knowledge collections/en (transclusion) (← links)
- Neues Online-Portal der Dresden Logic Labs geht ans Netz/en (transclusion) (← links)
- Logic for Database Systems Implementation (or Life beyond Lite Logics and CQ/UCQ)/en (transclusion) (← links)
- Explaining Answer Sets using Argumentation Theory/en (transclusion) (← links)
- Introducing a Semantic Web Portal for Everyone/en (transclusion) (← links)
- Containment of Monadic Datalog/en (transclusion) (← links)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata/en (transclusion) (← links)
- Past, Current and Future Trends in Description Logic/en (transclusion) (← links)
- Two-Dimensional Description Logics of Context/en (transclusion) (← links)
- News about Reasoning with Bit-Vectors/en (transclusion) (← links)
- Visualization and navigation paradigms for triadic formal concept analysis/en (transclusion) (← links)
- Relbacoess/en (transclusion) (← links)
- Graph Structure and Monadic Second-Order Logic/en (transclusion) (← links)
- Querying Probabilistic Ontologies/en (transclusion) (← links)
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!/en (transclusion) (← links)
- Verifying Temporal Properties of Biological Systems/en (transclusion) (← links)
- Chile – A Trip Report/en (transclusion) (← links)
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics/en (transclusion) (← links)
- Grounded Circumscription in Description Logics2/en (transclusion) (← links)
- Answering Temporal Conjunctive Queries over DL Ontologies/en (transclusion) (← links)
- ASPARTIX-D Ready for the Competition/en (transclusion) (← links)
- Modeling Concept Learning Problems with Second-Order Description Logics/en (transclusion) (← links)
- Topological Clones and the Computational Complexity of Constraint Satisfaction Problems/en (transclusion) (← links)
- Learning in Fuzzy Description Logics/en (transclusion) (← links)
- Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis)/en (transclusion) (← links)
- Finding p-indecomposable Functions/en (transclusion) (← links)
- From Classical to Consistent Query Answering under Existential Rules/en (transclusion) (← links)
- Framework for the Specification and Execution of parallel Clustering Algorithms/en (transclusion) (← links)
- What makes modern SAT Solvers work that well/en (transclusion) (← links)
- Temporal Query Answering in EL/en (transclusion) (← links)
- Reasonable Highly Expressive Query Languages/en (transclusion) (← links)
- Membership Constraints in Formal Concept Analysis/en (transclusion) (← links)
- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA/en (transclusion) (← links)
- Characterization of the Expressivity of Existential Rule Queries/en (transclusion) (← links)
- Verification of Knowledge-Based Programs over Description Logic Actions/en (transclusion) (← links)
- On the Complexity of k-Piecewise Testability and the Depth of Automata/en (transclusion) (← links)
- Improved Answer-Set Programming Encodings for Abstract Argumentation/en (transclusion) (← links)
- NextClosures: Parallel Computation of the Canonical Base/en (transclusion) (← links)
- Intertranslatability of Labeling-based Argumentation Semantics/en (transclusion) (← links)
- Quantitative Versions of the Chomsky-Schützenberger Theorem/en (transclusion) (← links)
- Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces/en (transclusion) (← links)
- Introducing Existential Rules and Module Extraction/en (transclusion) (← links)
- On Mono- and Multilingual Word embeddings for NLP/en (transclusion) (← links)
- Explaining neural network reasoning/en (transclusion) (← links)
- On Computing Explanations in Argumentation/en (transclusion) (← links)
- Enabling Fine-grained RDF Data Completeness Assessment/en (transclusion) (← links)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata/en (transclusion) (← links)
- Fixed Domain Reasoning for Description Logics/en (transclusion) (← links)
- Pattern-based ontology modeling and some of its implications for Description Logics research/en (transclusion) (← links)
- Inconsistency Handling in Ontology-Mediated Query Answering/en (transclusion) (← links)
