Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Horst Reichel + (Horst)
- Huong Le Tranh + (Huong Le)
- Ilja Shmelkin + (Ilja)
- Ilkka Niemelä + (Ilkka)
- Irina Dragoste + (Irina)
- Automated Reasoning Support for Process Models using Action Languages + (Itzel)
- Jakob Piribauer + (Jakob)
- Jan Hladik + (Jan)
- Jan Otop + (Jan)
- An Integrative Approach to Object Recognition in VSLAM + (Jan)
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik + (Javanshir)
- On the Computation of Naive-based Argumentation Semantics + (Javanshir)
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (Jeannette)
- Real-Time Structure from Motion Using Kalman Filtering + (Jeannette)
- Jens Claßen + (Jens)
- Concept Learning in Description Logics + (Jens)
- Extracting Logic Programs from Artificial Neural Networks + (Jens)
- Jim Lipton + (Jim)
- Johannes Lehmann + (Johannes)
- Johannes K. Fichte + (Johannes K.)
- Jonas Karge + (Jonas)
- Julia Koppenhagen + (Julia)
- Julian Mendez + (Julian)
- Julius Gonsior + (Julius)
- Solving Angry Birds with Reinforcement Learning + (Julius)
- Proof by Pointing and Selecting + (Junhyuk)
- Jörg Siekmann + (Jörg)
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen + (Jörg)
- Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen + (Jörg)
- Karina Adler + (Karina)
- Kati Domann + (Kati)
- Katrin Heber + (Katrin)
- Kerstin Achtruth + (Kerstin)
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning + (Kerstin)
- Knut Berling + (Knut)
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing + (Konrad)
- Larry González + (Larry)
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband + (Lars)
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze + (Lars)
- Levan Uridia + (Levan)
- Lidia Tendera + (Lidia)
- Lim Yohanes Stefanus + (Lim Yohanes)
- Long Cheng + (Long)
- Lucas Kahlert + (Lucas)
- Lucía Gómez Álvarez + (Lucía)
- Luisa Herrmann + (Luisa)
- Lukas Schweizer + (Lukas)
- Solving Product Configuration Problems using Non-standard Reasoning Services + (Lukas)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Lukas)
- Lukas Gerlach + (Lukas)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Lukas)
- Chase-Based Computation of Cores for Existential Rules + (Lukas)
- Lutz Strassburger + (Lutz)
