Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland

Source URL: www.acsu.buffalo.edu

• Predicate logic
• Quantification
• Ontology
• Logic
• First-order logic
• Model theory
• Problem of universals
• Universal quantification
• Universal
• Net
• Quantifier

Fortgeschrittenenpraktikum

Source URL: www.uni-saarland.de

21. Ländervergleich Rheinland-Pfalz- Saarland am Sa. 14. Mai 2016 in Morbach Jugend U 18 Rheinland-Pfalz Name

Source URL: www.ssk-online.com

Saar_Logo_HOR-Claim_std_4C

Source URL: www.saarland.de

Einladung Diese Veranstaltung wird ermöglicht durch die Mitglieder der ZIRP: Adam Opel AG • AOK Rheinland-Pfalz/Saarland • Architektenkammer Rheinland-Pfalz • BASF SE • Bauern- und Winzerverband Rheinland-Pfalz

Source URL: zirp.de

Efficient Discovery of the Most Interesting Associations GEOFFREY I. WEBB, Monash University JILLES VREEKEN, University of Antwerp Self-sufficient itemsets have been proposed as an effective approach to summarizing the k

Source URL: eda.mmci.uni-saarland.de

• Data mining
• Association rule learning
• Data management

An alle Lehrerinnen und Lehrer im saarländischen Schuldienst Saarbrücken, Liebe Kolleginnen und Kollegen,

Source URL: www.saarland.de

1 2 Editorial Vor kurzem drang das Saarland mit einer

Source URL: www.adfc-saar.de

Energie und Technik für Nachwuchswissenschaftler Das Schülerlabor EnerTec stellt sich vor Energieerzeugung mal anders: Wind statt Öl. Das Schülerlabor EnerTec des Lehrstuhls für

Source URL: www.aut.uni-saarland.de

bitte per Post oder Fax senden an: ALWIS e.V. Am Markt 1, ZeileSaarbrücken-Dudweiler Fax:

Source URL: www.sinntec.uni-saarland.de