-
1Report
Συγγραφείς: Belle, Vaishak, Benedikt, Michael, Drachsler-Cohen, Dana, Neider, Daniel, Yuviler, Tom, Yang, Hongseok, Barceló, Pablo, Raedt, Luc De, Geerts, Floris, Girard-Satabin, Julien, Giunchiglia, Eleonora, Lukina, Anna, Meyer, Pierre-Jean, Ritzert, Martin, Singh, Gagandeep, Solar-Lezama, Armando, Stoian, Mihaela, Tena, David, Urban, Caterina, Zombori, Zsolt, van Krieken, Emile
Συνεισφορές: Girard-Satabin, Julien
Θεματικοί όροι: safety, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logic, computational complexity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], databases, Computing methodologies → Logical and relational learning, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], General and reference → Surveys and overviews, Computing methodologies → Machine learning approaches, machine learning, Computing methodologies → Artificial intelligence, learning theory, Theory of computation → Models of learning, Theory of computation → Constraint and logic programming, Theory of computation → Modal and temporal logics, verification
Περιγραφή αρχείου: application/pdf
-
2Conference
Συγγραφείς: van Bergerem, Steffen, Grohe, Martin, Runde, Nina
Συνεισφορές: Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin (HU Berlin), RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen), ANR-19-CE48-0019,EQUUS,Réponse efficace aux requêtes sous mises à jour(2019)
Πηγή: Leibniz International Proceedings in Informatics (LIPIcs) ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) ; https://hal.science/hal-04931324 ; 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 2025, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CSL.2025.8⟩
Θεματικοί όροι: fixed-parameter tractable, monadic second-order definable concept learning, agnostic probably approximately correct learning, parameterized complexity, clique-width, Theory of computation → Fixed parameter tractability, Boolean classification, supervised learning, monadic second-order logic, Theory of computation → Logic, Theory of computation → Complexity theory and logic, Computing methodologies → Supervised learning, Computing methodologies → Logical and relational learning, [INFO]Computer Science [cs]
Θέμα γεωγραφικό: Amsterdam, Netherlands
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1909.03820; ARXIV: 1909.03820
-
3Conference
Συγγραφείς: van Bergerem, Steffen, Schweikardt, Nicole
Πηγή: Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 183, 10:1-10:18 (2021). doi:10.4230/LIPICS.CSL.2021.10 ; 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq ; 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq 29. EACSL Annual Conference on Computer Science Logic, CSL 2021, online, 2021-01-25 - 2021-01-28
Θεματικοί όροι: Computing methodologies → Logical and relational learning, Computing methodologies → Supervised learning, Feferman-Vaught decomposition, Gaifman normal form, Theory of computation → Complexity theory and logic, Theory of computation → Logic, agnostic probably approximately correct learning, classification problems, first-order definable concept learning, first-order logic with counting, locality, weight aggregation logic
Θέμα γεωγραφικό: DE
Relation: info:eu-repo/semantics/altIdentifier/issn/1868-8969; info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-175-7
-
4Conference
Συγγραφείς: Van Bergerem, Steffen, Schweikardt, Nicole
Συνεισφορές: Steffen van Bergerem and Nicole Schweikardt
Πηγή: Saarbrücken/Wadern, Germany : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 183, 10:1-10:18 (2021). doi:10.4230/LIPICS.CSL.2021.10
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq29. EACSL Annual Conference on Computer Science Logic, CSL 2021, online, 2021-01-25-2021-01-28Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Machine Learning, Computer Science - Artificial Intelligence, agnostic probably approximately correct learning, Computing methodologies → Logical and relational learning, 0102 computer and information sciences, 01 natural sciences, Gaifman normal form, Theory of computation → Logic, Logic in Computer Science (cs.LO), Machine Learning (cs.LG), locality, Artificial Intelligence (cs.AI), first-order definable concept learning, weight aggregation logic, first-order logic with counting, ddc:004, 0101 mathematics, Theory of computation → Complexity theory and logic, Feferman-Vaught decomposition, classification problems, Computing methodologies → Supervised learning
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2009.10574
https://drops.dagstuhl.de/opus/volltexte/2021/13444/
https://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-10574
https://drops.dagstuhl.de/opus/volltexte/2021/13444/pdf/LIPIcs-CSL-2021-10.pdf/
http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-10574
https://arxiv.org/abs/2009.10574
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.10
https://publications.rwth-aachen.de/record/815149