Hyperdata Network model – an older type of database management system Open data Schema.org VoID – Vocabulary of Interlinked Datasets Web Ontology Language List...
21 KB (1,916 words) - 20:28, 6 June 2024
Helga Noll (1977). Mathematische Logik mit Informatik-Anwendungen. Heidelberger Taschenbücher, Sammlung Informatik (in German). Vol. 187. Heidelberg: Springer...
93 KB (13,074 words) - 19:30, 18 June 2024
Theorem Proving (ITP 2022). 237. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 7:1–7:19. doi:10.4230/LIPIcs.ITP.2022.7. Retrieved 22 August 2022. Frandsen...
86 KB (11,554 words) - 02:49, 11 July 2024
(LIPIcs). Vol. 32. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. pp. 63–78. doi:10.4230/LIPIcs.SNAPL.2015.63. ISBN 978-3-939897-80-4....
60 KB (5,007 words) - 15:44, 26 May 2024
logical facts), and also the definition of possible actions (operator-schemas with parameters, which should be grounded/instantiated during execution)...
30 KB (3,469 words) - 14:26, 27 March 2024
Optimization with an Evolution Strategy", in Reusch, Bernd (ed.), Fuzzy Logik, Informatik aktuell, Berlin, Heidelberg: Springer, pp. 33–40, doi:10.1007/978-3-642-79386-8_5...
40 KB (4,615 words) - 15:44, 3 July 2024
Kaths, Jakob (2020), Standards for Virtual Test Drives (PDF), Vector Informatik GmbH, retrieved 21 April 2023 VIRES Simulationstechnologie GmbH ASAM e...
9 KB (699 words) - 00:18, 18 June 2024
Handling Rules: Selected Contributions. Universität Ulm, Fakultät für Informatik, 2004. Pullum, Geoffrey K.; Rogers, James (2008). "Expressive power of...
5 KB (526 words) - 07:50, 13 June 2024
Katharina T. Huber, Dan Gusfield. Schloss Dagstuhl – Leibniz-Zentrum für Informatik: 13 pages, 3000894 bytes. doi:10.4230/LIPICS.WABI.2019.10. ISSN 1868-8969...
46 KB (4,399 words) - 08:08, 14 July 2024
true statement. As Tarski showed, this theory can be described by an axiom schema and a decision procedure that is complete and effective: for every fully...
31 KB (3,763 words) - 05:48, 20 April 2024