A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Topic: Logic, Reasoning, and Knowledge ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “probabilistic programs” in Logic, Reasoning, and Knowledge 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations

4 results