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
- 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)
- 38th German Conference on Artificial Intelligence + (21. September 2015, 08:00:00)
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) + (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)
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (1. Juni 2016, 14:50:00)
- Constraint Propagation and Pebble Games + (3. Juni 2016, 13:15:00)
- HUGS – A Lightweight Graph Partitioning Approach + (8. Juni 2016, 14:50:00)
- Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition + (10. Juni 2016, 13:30:00)
- Mining DL ontologies + (15. Juni 2016, 10:00:00)
- Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis + (15. Juni 2016, 14:50:00)
- ICCL mit vier Papieren bei ECAI vertreten + (22. Juni 2016)
- SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge + (22. Juni 2016, 14:50:00)
- On the Complexity of Universality for Partially Ordered NFAs + (6. Juli 2016, 14:50:00)
- Pattern-based ontology modeling and some of its implications for Description Logics research + (13. Juli 2016, 14:50:00)
- Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung + (28. Juli 2016)
- Learning Description Logic Ontologies via Queries + (31. August 2016, 14:50:00)
- Ontology Evolution trough Interaction + (5. September 2016, 15:00:00)
