Tractable Probabilistic Models for Ethical AI

von Belle, Vaishak
Veröffentlicht in International Conference on Conceptual Structures (27. : 2022 : Münster (Westf)) Graph-based representation and reasoning (2022)

Toward robots that reason: logic, probability & causal laws

von Belle, Vaishak
Veröffentlicht 2023

Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains

von Belle, Vaishak
Veröffentlicht in SUM (14. : 2020 : Online) Scalable uncertainty management (2020)

Logic, Probability and Action: A Situation Calculus Perspective

von Belle, Vaishak
Veröffentlicht in SUM (14. : 2020 : Online) Scalable uncertainty management (2020)

Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond

von Belle, Vaishak
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Generating Random Logic Programs Using Constraint Programmig

von Dilkas, Paulius
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Learning Probabilistic Logic Programs over Continuous Data

von Speichert, Stefanie
Veröffentlicht in ILP (29. : 2019 : Plovdiv) Inductive logic programming (2020)

LIFTED REASONING MEETS WEIGHTED MODEL INTEGRATION

von Feldstein, Jonathan
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (37. : 2021 : Online) 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) ; Part 1 of 3 (2022)

IMPLICITLY LEARNING TO REASON IN FIRST-ORDER LOGIC

von Belle, Vaishak
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 5 of 20 (2020)

Logical Interpretations of Autoencoders

von Fuxjaeger, Anton
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Weighted Model Counting Without Parameter Variables

von Dilkas, Paulius
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

WEIGHTED MODEL COUNTING WITH CONDITIONAL WEIGHTS FOR BAYESIAN NETWORKS

von Dilkas, Paulius
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (37. : 2021 : Online) 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021) ; Part 1 of 3 (2022)

Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation

von Fuxjaeger, Anton R.
Veröffentlicht in ICAART (12. : 2020 : Valletta) ICAART 2020 ; Volume 2 (2020)

Polynomial-Time Implicit Learnability in SMT

von Mocanu, lonela G.
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)

Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges

von Belle, Vaishak
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (22. : 2023 : London) Autonomous agents and multiagent systems (2024)