Vaishak Belle

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Generating Random Logic Programs Using Constraint Programming.

[BibT_eX]

[DOI]

Paulius Dilkas

Proceedings of the Principles and Practice of Constraint Programming, 2020

Learning Credal Sum-Product Networks.

[BibT_eX]

[DOI]

Amélie Levray

Proceedings of the Conference on Automated Knowledge Base Construction, 2020

2019

The Quest for Interpretable and Responsible Artificial Intelligence.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Tractable Probabilistic Models in Open Worlds.

[BibT_eX]

[DOI]

Amélie Levray

CoRR, 2019

Experiential AI.

[BibT_eX]

[DOI]

AI Matters, 2019

Implicitly learning to reason in first-order logic.

[BibT_eX]

[DOI]

Brendan Juba

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Learning Probabilistic Logic Programs over Continuous Data.

[BibT_eX]

[DOI]

Stefanie Speichert

Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

2018

Deep Tractable Probabilistic Models for Moral Responsibility.

[BibT_eX]

[DOI]

Lewis Hammond

CoRR, 2018

Abstracting Probabilistic Relational Models.

[BibT_eX]

[DOI]

CoRR, 2018

Learning Probabilistic Logic Programs in Continuous Domains.

[BibT_eX]

[DOI]

Stefanie Speichert

CoRR, 2018

Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks.

[BibT_eX]

[DOI]

Andreas C. Bueff

Stefanie Speichert

CoRR, 2018

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.

[BibT_eX]

[DOI]

Artif. Intell., 2018

Efficient Symbolic Integration for Probabilistic Inference.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

On Plans With Loops and Noise.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Probabilistic Planning by Probabilistic Programming.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Planning in hybrid relational MDPs.

[BibT_eX]

[DOI]

Mach. Learn., 2017

Weighted Model Counting With Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Solving Probability Problems in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Symbolic Interior Point Method.

[BibT_eX]

[DOI]

Martin Mladenov

Kristian Kersting

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Open-Universe Weighted Model Counting: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Open-Universe Weighted Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A Logical Theory of Localization.

[BibT_eX]

[DOI]

Stud Logica, 2016

Semiring Programming: A Framework for Search, Inference and Learning.

[BibT_eX]

[DOI]

Luc De Raedt

CoRR, 2016

Foundations for Generalized Planning in Unbounded Stochastic Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A First-Order Logic of Probability and Only Knowing in Unbounded Domains.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Component Caching in Hybrid Domains with Piecewise Polynomial Densities.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Satisfiability and Model Counting in Open Universes.

[BibT_eX]

[DOI]

Proceedings of the Beyond NP, 2016

2015

Robot location estimation in the situation calculus.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Semantical considerations on multiagent only knowing.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Hashing-Based Approximate Probabilistic Inference in Hybrid Domains.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming.

[BibT_eX]

[DOI]

Davide Nitti

Luc De Raedt

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015

Probabilistic Inference in Hybrid Domains by Weighted Model Integration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Only Knowing Meets Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Multi-Agent Only Knowing on Planet Kripke.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur.

[BibT_eX]

[DOI]

SIGACT News, 2014

Multiagent Only Knowing in Dynamic Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

On the projection problem in active knowledge bases with incomplete information.

[BibT_eX]

[DOI]

AI Matters, 2014

On the Progression of Knowledge in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

How to Progress Beliefs in Continuous Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Non-Deterministic Planning With Conditional Effects.

[BibT_eX]

[DOI]

Christian J. Muise

Sheila A. McIlraith

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

A Logical Theory of Robot Localization.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.

[BibT_eX]

[DOI]

Christian J. Muise

Sheila A. McIlraith

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Reasoning about Probabilities in Dynamic Systems using Goal Regression.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Reasoning about Continuous Uncertainty in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

On the projection problem in active knowledge bases with incomplete information.

[BibT_eX]

[DOI]

PhD thesis, 2012

2011

Review of from zero to infinity: what makes numbers interesting by Constance Reid.

[BibT_eX]

[DOI]

SIGACT News, 2011

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Semantical Account of Progression in the Presence of Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Multi-Agent Only-Knowing Revisited.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Multi-Agent Only-Knowing Revisited.

[BibT_eX]

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2008

Randomized trees for real-time one-step face detection and recognition.

[BibT_eX]

[DOI]