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
- Chase-Based Computation of Cores for Existential Rules + (supervised by Markus Krötzsch)
- Compositional Matrix-Space Models of Language + (to appear)
- A fuzzy extension of explanatory relations based on mathematical morphology + (to appear)
- Uniform and Modular Sequent Systems for Description Logics + (to appear)
- Reasoning-Supported Interactive Revision of Knowledge Bases + (to appear.)
- Connectionist Model Generation: A First-Order Approach + (to be published.)
- Scalable Understanding: Navigation Approaches for Answer Sets + (virtual)
- A Logic-Based Approach to Dynamic Programming + (© AAAIhttp://www.aaai.org/)
- Computing First-Order Logic Programs by Fibring Artificial Neural Networks + (© AAAIhttp://www.aaai.org/)
- Planar Features for Visual SLAM + (© Springer)
- A formal assessment result for fluent calculus using the action description language A_k + (© Springer-Verlag Berlin Heidelberg 2003)
- A cartesian closed category of approximable concept structures + (© Springer-Verlag Berlin Heidelberg 2004, the original publicationhttp://www.springerlink.com/content/67c0cm6aulnnmfmh/ is available at www.springerlink.com.)
- System BV without the Equalities for Unit + (© Springer-Verlag Berlin Heidelberg 2004, the original publicationhttp://www.springerlink.com/content/x1y9b7t6lw4ymffj/ is available at www.springerlink.com.)
- The Core Method: Connectionist Model Generation + (© Springer-Verlag Berlin Heidelberg 2006, the original publicationhttp://springerlink.com/content/p9q886g45k324742/?p=9469b8cf16d74e9c8f4fe7f2a0a00e7b&pi=0 is available at www.springerlink.com)
