Výsledky vyhledávání - "Computing methodologies → Logical and relational learning"

Logic and Neural Networks (Dagstuhl Seminar 25061)

Autoři: Belle, Vaishak Benedikt, Michael Drachsler-Cohen, Dana a další

Přispěvatelé: Belle, Vaishak Benedikt, Michael Drachsler-Cohen, Dana a další

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05311341v1/document
https://doi.org/10.4230/dagrep.15.2.1
https://hal.science/hal-05311341v1

The Parameterized Complexity of Learning Monadic Second-Order Logic

Autoři: van Bergerem, Steffen Grohe, Martin Runde, Nina a další

Přispěvatelé: van Bergerem, Steffen Grohe, Martin Runde, Nina a další

Zdroj: 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⟩

Témata: monadic second-order definable concept learning, agnostic probably approximately correct learning, parameterized complexity, clique-width, fixed-parameter tractable, Boolean classification, supervised learning, monadic second-order logic, Theory of computation → Logic, Theory of computation → Complexity theory and logic, Theory of computation → Fixed parameter tractability, Computing methodologies → Logical and relational learning, Computing methodologies → Supervised learning, [INFO]Computer Science [cs]

Geografické téma: Amsterdam, Netherlands

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1909.03820; ARXIV: 1909.03820

Dostupnost: https://hal.science/hal-04931324
https://doi.org/10.4230/LIPIcs.CSL.2025.8

Learning Concepts Described By Weight Aggregation Logic

Autoři: van Bergerem, Steffen Schweikardt, Nicole

Zdroj: 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

Témata: 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

Geografické téma: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/1868-8969; info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-175-7

Dostupnost: https://publications.rwth-aachen.de/record/815149
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2021-02474%22

Learning Concepts Described By Weight Aggregation Logic

Autoři: Van Bergerem, Steffen Schweikardt, Nicole Steffen van Bergerem and Nicole Schweikardt

Přispěvatelé: Van Bergerem, Steffen Schweikardt, Nicole Steffen van Bergerem and Nicole Schweikardt

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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