Domain-Specific Reasoning in IoT Applications

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
DoS-IoT
 
Project Title (de) Projekttitel (de)
Domain-Specific Reasoning in IoT Applications
 
Project Title (en) Projekttitel (en)
Domain-Specific Reasoning in IoT Applications
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Vereine, Stiftungen, Preise

Publications

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hajdu - 2020 - Induction with generalization in superposition reasoning.pdf.jpgHajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Induction with Generalization in Superposition ReasoningInproceedings Konferenzbeitrag 26-Jul-2020