Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
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
SPOOK: a system for probabilistic object-oriented knowledge representation
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
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
Statistical Abduction with Tabulation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reconstructing force-dynamic models from video sequences
Artificial Intelligence
A probabilistic language based upon sampling functions
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Report on the probabilistic language scheme
Proceedings of the 2007 symposium on Dynamic languages
Structured machine learning: the next ten years
Machine Learning
First-Order Probabilistic Languages: Into the Unknown
Inductive Logic Programming
Formalization of Continuous Probability Distributions
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A probabilistic language based on sampling functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for in-network evaluation of integrated logical-statistical models
Proceedings of the 6th ACM conference on Embedded network sensor systems
Troll, a language for specifying dice-rolls
Proceedings of the 2009 ACM symposium on Applied Computing
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Robot learning language - Integrating programming and learning for cognitive systems
Robotics and Autonomous Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Computable Exchangeable Sequences Have Computable de Finetti Measures
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Functional specification of probabilistic process models
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
BLOG: probabilistic models with unknown objects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Prolog issues and experimental results of an MCMC algorithm
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
The independent choice logic and beyond
Probabilistic inductive logic programming
First-order mixed integer linear programming
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
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
A type theory for probability density functions
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The principles and practice of probabilistic programming
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A model-learner pattern for bayesian reasoning
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
MCMC estimation of conditional probabilities in probabilistic programming languages
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On coinductive equivalences for higher-order probabilistic functional programs
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 |
We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...