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
- EnTS - a new Entropy-based Tree-indexing System + (Bader)
- From Logic Programs to Iterated Function Systems + (Bader)
- Sebastian Bader + (Bader)
- Christel Baier + (Baier)
- Pedro Barahona + (Barahona)
- Bartosz Bednarczyk + (Bednarczyk)
- Ramona Behling + (Behling)
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband + (Beikirch)
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze + (Beikirch)
- Knut Berling + (Berling)
- Meghna Bhadra + (Bhadra)
- Apratim Bhattacharyya + (Bhattacharyya)
- Adrian Bielefeldt + (Bielefeldt)
- Manuel Bodirsky + (Bodirsky)
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (Bohg)
- Real-Time Structure from Motion Using Kalman Filtering + (Bohg)
- Maria Paola Bonacina + (Bonacina)
- Daniel Borchmann + (Borchmann)
- Stefan Borgwardt + (Borgwardt)
- Camille Bourgaux + (Bourgaux)
- Sebastian Philipp Brandt + (Brandt)
- Thomas Bruderrek + (Bruderrek)
- Paola Bruscoli + (Bruscoli)
- Catalin Buiu + (Buiu)
- Elisa Böhl + (Böhl)
- Elisa Böhl + (Böhl)
- Elisa Böhl + (Böhl)
- Stephan Böhme + (Böhme)
- Claudia Carapelle + (Carapelle)
- David Carral + (Carral)
- Marco Cerami + (Cerami)
- İsmail İlkan Ceylan + (Ceylan)
- Calvin Chau + (Chau)
- Long Cheng + (Cheng)
- Decidability of Reasoning under the Well-Founded Semantics + (Cherchago)
- Proof by Pointing and Selecting + (Cho)
- Jens Claßen + (Claßen)
- Monadic Reasoning with Weak Completion Semantics + (Costa)
- Monadic Reasoning with Weak Completion Semantics + (Costa)
