Suche mittels Attribut
Aus International Center for Computational Logic
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
- Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015. + (12. März 2015)
- Chile – A Trip Report + (13. April 2015, 14:50:00)
- Grounded Circumscription in Description Logics + (15. April 2015, 15:00:00)
- ICCL mit gleich sieben Papieren bei IJCAI vertreten + (19. April 2015)
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics + (20. April 2015, 14:50:00)
- ASPARTIX-D Ready for the Competition + (4. Mai 2015, 14:50:00)
- Modeling Concept Learning Problems with Second-Order Description Logics + (11. Mai 2015, 14:50:00)
- Learning in Fuzzy Description Logics + (13. Mai 2015, 10:00:00)
- Topological Clones and the Computational Complexity of Constraint Satisfaction Problems + (13. Mai 2015, 17:00:00)
- Answering Temporal Conjunctive Queries over DL Ontologies + (18. Mai 2015, 14:50:00)
- Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis) + (20. Mai 2015, 09:20:00)
- DFG bewilligt zweite Förderphase für SFB 912 „Highly Adaptive Energy-Efficient Computing“ (HAEC) + (22. Mai 2015)
- Finding p-indecomposable Functions + (1. Juni 2015, 14:50:00)
- From Classical to Consistent Query Answering under Existential Rules + (15. Juni 2015, 14:50:00)
- ICCL auf der Langen Nacht der Wissenschaften + (2. Juli 2015)
- Framework for the Specification and Execution of parallel Clustering Algorithms + (13. Juli 2015, 14:50:00)
- What makes modern SAT Solvers work that well + (20. Juli 2015, 14:50:00)
- ICCL-Forscher erhalten Auszeichnung auf weltgrößter Konferenz für Künstliche Intelligenz + (3. August 2015)
- Reasonable Highly Expressive Query Languages + (3. August 2015, 14:50:00)
- Temporal Query Answering in EL + (10. August 2015, 14:50:00)
- Membership Constraints in Formal Concept Analysis + (17. August 2015, 14:50:00)
- Characterization of the Expressivity of Existential Rule Queries + (24. August 2015, 14:50:00)
- On the Complexity of k-Piecewise Testability and the Depth of Automata + (31. August 2015, 14:50:00)
- Verification of Knowledge-Based Programs over Description Logic Actions + (7. September 2015, 14:50:00)
- ICCL Summer School 2015 + (13. September 2015, 09:00:00)
- Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance + (17. September 2015)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (21. September 2015, 08:00:00)
- 38th German Conference on Artificial Intelligence + (21. September 2015, 08:00:00)
- Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA + (28. September 2015, 13:30:00)
- NextClosures: Parallel Computation of the Canonical Base + (5. Oktober 2015, 15:00:00)
- Mitarbeiter der Wissensverarbeitung entwickeln Weltspitze-Werkzeuge für Generische Problemlöser + (9. Oktober 2015)
- Improved Answer-Set Programming Encodings for Abstract Argumentation + (12. Oktober 2015, 14:50:00)
- On the Satisfiability of Temporal Logics with Concrete Domains + (4. November 2015)
- Intertranslatability of Labeling-based Argumentation Semantics + (19. November 2015, 13:30:00)
- Quantitative Versions of the Chomsky-Schützenberger Theorem + (3. Dezember 2015, 13:45:00)
- Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces + (10. Dezember 2015, 13:30:00)
- Introducing Existential Rules and Module Extraction + (17. Dezember 2015, 13:30:00)
- On Computing Explanations in Argumentation + (4. Februar 2016, 13:40:00)
- EMCL Best Master Thesis Award 2015 + (14. Februar 2016)
- 11. EMCL Workshop + (18. Februar 2016)
- Enabling Fine-grained RDF Data Completeness Assessment + (18. Februar 2016, 13:30:00)
- On Mono- and Multilingual Word embeddings for NLP + (25. Februar 2016, 13:30:00)
- Explaining neural network reasoning + (3. März 2016, 13:30:00)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata + (7. März 2016, 14:50:00)
- Markus Krötzsch erhält wichtigsten deutschen Nachwuchspreis + (22. März 2016)
- Fixed-Domain Reasoning for Description Logics + (20. April 2016, 14:50:00)
- Uniform Interpolation for Expressive Description Logics + (26. April 2016, 13:30:00)
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements + (27. April 2016, 14:50:00)
- Universality Results for Spiking Neural P Systems with Cooperating Rules + (4. Mai 2016, 14:50:00)
- Adding Threshold Concepts to the Description Logic EL + (11. Mai 2016, 14:50:00)
- Inconsistency Handling in Ontology-Mediated Query Answering + (12. Mai 2016, 13:30:00)
- Satisfiability of temporal logics with concrete domain + (25. Mai 2016, 14:50:00)
