A guide to simulation (2nd ed.)
A guide to simulation (2nd ed.)
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads
Information and Computation
Probabilistic non-determinism
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to Monte Carlo methods
Proceedings of the NATO Advanced Study Institute on Learning in graphical models
Stochastic lambda calculus and monads of probability distributions
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for probabilistic languages
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Roll: A Language for Specifying Die-Rolls
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Toward General Analysis of Recursive Probability Models
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Exploring artificial intelligence in the new millennium
An Introduction to the Kalman Filter
An Introduction to the Kalman Filter
A judgmental reconstruction of modal logic
Mathematical Structures in Computer Science
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IBAL: a probabilistic rational programming language
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Effective Bayesian inference for stochastic programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
Journal of Functional Programming
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Declarative programming for artificial intelligence applications
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Formalization of Continuous Probability Distributions
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
BROA: A Bayesian Robotic Agents Architecture
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Proofs of randomized algorithms in Coq
Science of Computer Programming
Probabilistic modelling, inference and learning using logical theories
Annals of Mathematics and Artificial Intelligence
Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Non-uniform distributions in quantitative information-flow
Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security
Measure transformer semantics for Bayesian machine learning
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Probabilistically accurate program transformations
SAS'11 Proceedings of the 18th international conference on Static analysis
Modeling genome evolution with a DSEL for probabilistic programming
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
A type theory for probability density functions
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proofs of randomized algorithms in CoQ
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Constructive development of probabilistic programs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A model-learner pattern for bayesian reasoning
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Probabilistic relational verification for cryptographic implementations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Uncertain: a first-order type for uncertain data
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Hi-index | 0.00 |
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primitive datatypes. Most probabilistic languages, however, focus only on discrete distributions and have limited expressive power. In this paper, we present a probabilistic language, called λο, which uniformly supports all kinds of probability distributions -- discrete distributions, continuous distributions, and even those belonging to neither group. Its mathematical basis is sampling functions, i.e., mappings from the unit interval (0.0,1.0] to probability domains.We also briefly describe the implementation of λο as an extension of Objective CAML and demonstrate its practicality with three applications in robotics: robot localization, people tracking, and robotic mapping. All experiments have been carried out with real robots.