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
- 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)
- Marcos Cramer + (Cramer)
- First-Order Rule Learning Through a Pulsed Neural Network + (Darbari)
- Filippo De Bortoli + (De Bortoli)
- Grounded Circumscription in Description Logics + (Delivorias)
- Emmanuelle-Anna Dietz Saldanha + (Dietz Saldanha)
- Martin Diller + (Diller)
- Martin Diller + (Diller)
- Felix Distel + (Distel)
- Kati Domann + (Domann)
- Irina Dragoste + (Dragoste)
- Roy Dyckhoff + (Dyckhoff)
- Andreas Ecke + (Ecke)
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning + (Eder)
- Ali Elhalawati + (Elhalawati)
- Stefan Ellmauthaler + (Ellmauthaler)
- Fredo Erxleben + (Erxleben)
- Zoltan Esik + (Esik)
- Faiq Miftakhul Falakh + (Falakh)
- Thomas Feller + (Feller)
- Shasha Feng + (Feng)
- Properties of a Logical System in the Calculus of Structures + (Fernanto Tiu)
- Combining A1 and AC1 Unification + (Fernanto Tiu)
- Oliver Fernández Gil + (Fernández Gil)
- Johannes K. Fichte + (Fichte)
- A Camera Sensor Model for Sensor Fusion + (Fichtner)
- Walter Forkel + (Forkel)
- Enrico Franconi + (Franconi)
- Tom Friese + (Friese)
- Bertram Fronhöfer + (Fronhöfer)
- Norbert Fuchs + (Fuchs)
- An Integrative Approach to Object Recognition in VSLAM + (Funke)
- Benno Fünfstück + (Fünfstück)
- Sarah Alice Gaggl + (Gaggl)
- Sarah Alice Gaggl + (Gaggl)
- Backdoors for SAT + (Gario)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Gerlach)
- Lukas Gerlach + (Gerlach)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Gerlach)