2016

, , :
Learning Robust Features using Deep Learning for Automatic Seizure Detection. CoRR abs/1608.00220 () [Link]
, :
Special Issue on Quantum Physics and Logic. New Generation Comput. 34(1-2): 1-2 () [Link]
, , , :
Hierarchical Spatio-Temporal Probabilistic Graphical Model with Multiple Feature Fusion for Binary Facial Attribute Classification in Real-World Face Videos. IEEE Trans. Pattern Anal. Mach. Intell. 38(6): 1185-1203 () [Link]
, , , , , , :
A Hierarchical Latent Variable Encoder-Decoder Model for Generating Dialogues. CoRR abs/1605.06069 () [Link]
, , , , :
On the Evaluation of Dialogue Systems with Next Utterance Classification. CoRR abs/1605.05414 () [Link]
, , :
Differentially Private Policy Evaluation. CoRR abs/1603.02010 () [Link]
, , :
The Option-Critic Architecture. CoRR abs/1609.05140 () [Link]
, , :
Multitask Generalized Eigenvalue Program. AAAI : 2115-2121 [Link]
, :
Socially Adaptive Path Planning in Human Environments Using Inverse Reinforcement Learning. I. J. Social Robotics 8(1): 51-66 () [Link]
, , , :
Leveraging Lexical Resources for Learning Entity Embeddings in Multi-Relational Data. CoRR abs/1605.05416 () [Link]
, , :
Learning Multi-Step Predictive State Representations. IJCAI : 1662-1668 [Link]
, , :
Learning time series models for pedestrian motion prediction. ICRA : 3323-3330 [Link]
, , , , :
Building End-To-End Dialogue Systems Using Generative Hierarchical Neural Network Models. AAAI : 3776-3784 [Link]
, , , :
Incremental Stochastic Factorization for Online Reinforcement Learning. AAAI : 1468-1475 [Link]
, , , :
Bayesian Reinforcement Learning: A Survey. CoRR abs/1609.04436 () [Link]
, , , , , :
How NOT To Evaluate Your Dialogue System: An Empirical Study of Unsupervised Evaluation Metrics for Dialogue Response Generation. CoRR abs/1603.08023 () [Link]
, :
Generalized Dictionary for Multitask Learning with Boosting. IJCAI : 2097-2103 [Link]
, , , , :
Editorial on Special Issue on Probabilistic Models for Biomedical Image Analysis. Computer Vision and Image Understanding 151: 1-2 () [Link]
, , :
Differentially Private Policy Evaluation. ICML : 2130-2138 [Link]
, , , :
Leveraging Lexical Resources for Learning Entity Embeddings in Multi-Relational Data. ACL (2)  [Link]

2015

, , :
Automatically characterizing driving activities onboard smart wheelchairs from accelerometer data. IROS : 5011-5018 [Link]
, , , :
An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data. IJCAI : 3329-3336 [Link]
, :
Quantum Alternation: Prospects and Problems. QPL : 33-42 [Link]
, , , :
Person tracking and following with 2D laser scanners. ICRA : 726-733 [Link]
, :
Online Boosting Algorithms for Anytime Transfer and Multitask Learning. AAAI : 3038-3044 [Link]
, , , :
A Survey of Available Corpora for Building Data-Driven Dialogue Systems. CoRR abs/1512.05742 () [Link]
, :
Information Gathering and Reward Exploitation of Subgoals for POMDPs. AAAI : 3320-3326 [Link]
, :
Data Generation as Sequential Decision Making. CoRR abs/1506.03504 () [Link]
, :
Analyzing Open Data from the City of Montreal. MUD@ICML : 11-16 [Link]
, , , , , , :
Organizational principles of cloud storage to support collaborative biomedical research. EMBC : 1231-1234 [Link]
, , :
Learning and Planning with Timing Information in Markov Decision Processes. UAI : 111-120 [Link]
, , , , , :
Feature selection and oversampling in analysis of clinical data for extubation readiness in extreme preterm infants. EMBC : 4427-4430 [Link]
, , , :
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI : 3578-3584 [Link]
, , , :
The Ubuntu Dialogue Corpus: A Large Dataset for Research in Unstructured Multi-Turn Dialogue Systems. CoRR abs/1506.08909 () [Link]
, , :
Approximate Value Iteration with Temporally Extended Actions. J. Artif. Intell. Res. (JAIR) 53: 375-438 () [Link]
, :
Data Generation as Sequential Decision Making. NIPS : 3249-3257 [Link]
, , , , , , :
Correlation of clinical parameters with cardiorespiratory behavior in successfully extubated extremely preterm infants. EMBC : 4431-4434 [Link]
, , , :
The Ubuntu Dialogue Corpus: A Large Dataset for Research in Unstructured Multi-Turn Dialogue Systems. SIGDIAL Conference : 285-294 [Link]
, , , :
Conditional Computation in Neural Networks for faster models. CoRR abs/1511.06297 () [Link]
, , :
Basis refinement strategies for linear value function approximation in MDPs. NIPS : 2899-2907 [Link]
, , , :
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI : 4202-4203 [Link]
, , , :
Hierarchical temporal graphical model for head pose estimation and subsequent attribute classification in real-world videos. Computer Vision and Image Understanding 136: 128-145 () [Link]
, :
Indicative Tweet Generation: An Extractive Summarization Problem? EMNLP : 138-147 [Link]
, :
Variational Generative Stochastic Networks with Collaborative Shaping. ICML : 1964-1972 [Link]
, :
Policy Gradient Methods for Off-policy Control. CoRR abs/1512.04105 () [Link]
, , :
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR abs/1501.06841 () [Link]
:
Probabilistic bisimulation. SIGLOG News 2(3): 72-84 () [Link]
, , :
On the Formal Verification of Optical Quantum Gates in HOL. FMICS : 198-211 [Link]
:
Improving the Design and Discovery of Dynamic Treatment Strategies Using Recent Results in Sequential Decision-Making. ICAPS : 373- [Link]
, , , :
IMaGe: Iterative Multilevel Probabilistic Graphical Model for Detection and Segmentation of Multiple Sclerosis Lesions in Brain MRI. IPMI : 514-526 [Link]
, , , , :
Hierarchical Neural Network Generative Models for Movie Dialogues. CoRR abs/1507.04808 () [Link]
, , , :
Quantifying the determinants of outbreak detection performance through simulation and machine learning. Journal of Biomedical Informatics 53: 180-187 () [Link]
, , :
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS : 701-712 [Link]

2014

, :
Analyzing User Trajectories from Mobile Device Data with Hierarchical Dirichlet Processes. Canadian Conference on AI : 107-118 [Link]
, :
Bisimulation Metrics are Optimal Value Functions. UAI : 210-219<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2456&proceeding_id=30"> [Link]
, , :
Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison. ICML : 1386-1394 [Link]
, :
Non-Deterministic Policies in Markovian Decision Processes. CoRR abs/1401.3871 () [Link]
, , :
Efficient learning and planning with compressed predictive states. Journal of Machine Learning Research 15(1): 3395-3439 () [Link]
, , :
Bisimulation for Markov Decision Processes through Families of Functional Expressions. Horizons of the Mind : 319-342 [Link]
, , , :
Approximating Markov Processes by Averaging. J. ACM 61(1): 5:1-5:45 () [Link]
, , :
Optimizing Energy Production Using Policy Search and Predictive State Representations. NIPS : 2969-2977 [Link]
, , , :
Probabilistic Temporal Head Pose Estimation Using a Hierarchical Graphical Model. ECCV (1) : 328-344 [Link]
, , :
Learning with Pseudo-Ensembles. CoRR abs/1412.4864 () [Link]
, , , :
A new Q(lambda) with interim forward view and Monte Carlo equivalence. ICML : 568-576 [Link]
, , , :
Classification-based Approximate Policy Iteration: Experiments and Extended Discussions. CoRR abs/1407.0449 () [Link]
, , :
Iterative Multilevel MRF Leveraging Context and Voxel Information for Brain Tumour Segmentation in MRI. CVPR : 400-405 [Link]
, :
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, [contents] [Link]
, , , , :
Bayesian and grAphical Models for Biomedical Imaging - First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8677, Springer , ISBN 978-3-319-12288-5 [contents] [Link]
:
Causality in physics and computation. Theor. Comput. Sci. 546: 10-16 () [Link]
, , , :
Multi-layer temporal graphical model for head pose estimation in real-world videos. ICIP : 3392-3396 [Link]
, , :
Practical Kernel-Based Reinforcement Learning. CoRR abs/1407.5358 () [Link]
, , :
Learning with Pseudo-Ensembles. NIPS : 3365-3373 [Link]
, , :
A Metrized Duality Theorem for Markov Processes. Electr. Notes Theor. Comput. Sci. 308: 211-227 () [Link]
, , :
Policy Iteration Based on Stochastic Factorization. J. Artif. Intell. Res. (JAIR) 50: 763-803 () [Link]
, , :
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, [contents] [Link]
, , :
Sample-based approximate regularization. ICML : 1926-1934 [Link]
, :
Theoretical results on the effect of 'shortcut' actions in MDPs. Connect. Sci. 26(2): 179-193 () [Link]
, :
Algorithms for multi-armed bandit problems. CoRR abs/1402.6028 () [Link]
, , :
Lifelong Learning of Discriminative Representations. CoRR abs/1404.4108 () [Link]

2013

, :
Smart Classifier Selection for Activity Recognition on Wearable Devices. ICPRAM : 581-585 [Link]
, :
Smart exploration in reinforcement learning using absolute temporal difference errors. AAMAS : 1037-1044 [Link]
, , , :
Hierarchical Probabilistic Gabor and MRF Segmentation of Brain Tumours in MRI Volumes. MICCAI (1) : 751-758 [Link]
, , :
Preface to special issue: Developments In Computational Models 2010. Mathematical Structures in Computer Science 23(2): 201-203 () [Link]
, :
End-to-End Text Recognition with Hybrid HMM Maxout Models. CoRR abs/1310.1811 () [Link]
, , :
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer , ISBN 978-3-642-38163-8 [contents] [Link]
, , :
Mixed Observability Predictive State Representations. AAAI  [Link]
, , , :
Stone Duality for Markov Processes. LICS : 321-330 [Link]
, , :
A survey of point-based POMDP solvers. Autonomous Agents and Multi-Agent Systems 27(1): 1-51 () [Link]
, :
Average Reward Optimization Objective In Partially Observable Domains. ICML (1) : 320-328 [Link]
, , , :
Time Series Analysis Using Geometric Template Matching. IEEE Trans. Pattern Anal. Mach. Intell. 35(3): 740-754 () [Link]
, , , :
Learning from Limited Demonstrations. NIPS : 2859-2867 [Link]
, , , :
Using Hierarchical Mixture of Experts Model for Fusion of Outbreak Detection Methods. AMIA  [Link]
, , :
Modelling Sparse Dynamical Systems with Compressed Predictive State Representations. ICML (1) : 178-186 [Link]
:
Designing Intelligent Wheelchairs: Reintegrating AI. AAAI Spring Symposium: Designing Intelligent Robots  [Link]
, , :
Strong Completeness for Markovian Logics. MFCS : 655-666 [Link]
, :
Online Ensemble Learning for Imbalanced Data Streams. CoRR abs/1310.8004 () [Link]
, , , , :
Assessing the Predictability of Hospital Readmission Using Machine Learning. IAAI  [Link]
, :
Greedy Confidence Pursuit: A Pragmatic Approach to Multi-bandit Optimization. ECML/PKDD (1) : 241-256 [Link]
:
Duality in Logic and Computation. LICS : 4-11 [Link]
, , :
Efficient Learning and Planning with Compressed Predictive States. CoRR abs/1312.0286 () [Link]
, , :
Generating storylines from sensor data. Pervasive and Mobile Computing 9(6): 838-847 () [Link]
, , , , :
Bellman Error Based Feature Generation using Random Projections on Sparse Spaces. NIPS : 3030-3038 [Link]
, :
Maximum Mean Discrepancy Imitation Learning. Robotics: Science and Systems  [Link]

2012

, , , :
Mining Administrative Data to Predict Falls in the Elderly Population. Canadian Conference on AI : 305-311 [Link]
:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics : 334-337 [Link]
, , :
Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs. Artif. Intell. 187: 115-132 () [Link]
, :
Improved Estimation in Time Varying Models. ICML  [Link]
, :
Value Pursuit Iteration. NIPS : 1349-1357 [Link]
, , , :
A Machine Learning Approach to the Detection of Fetal Hypoxia during Labor and Delivery. AI Magazine 33(2): 79-90 () [Link]
, , :
Deep Inference and Probabilistic Coherence Spaces. Applied Categorical Structures 20(3): 209-228 () [Link]
, , :
Metrics for Markov Decision Processes with Infinite State Spaces. CoRR abs/1207.1386 () [Link]
, , :
Building Adaptive Dialogue Systems Via Bayes-Adaptive POMDPs. J. Sel. Topics Signal Processing 6(8): 917-927 () [Link]
, , , :
An Empirical Analysis of Off-policy Learning in Discrete MDPs. EWRL : 89-102 [Link]
, :
Model-Based Bayesian Reinforcement Learning in Large Structured Domains. CoRR abs/1206.3281 () [Link]
, :
Proceedings of the 29th International Conference on Machine Learning (ICML-12). CoRR abs/1207.4676 () [Link]
, , :
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics : 219-243 [Link]
, :
An information-theoretic approach to curiosity-driven reinforcement learning. Theory in Biosciences 131(3): 139-148 () [Link]
, , , :
Soft biometric trait classification from real-world face videos conditioned on head pose estimation. CVPR Workshops : 130-137 [Link]
, , :
PAC-Bayesian Policy Evaluation for Reinforcement Learning. CoRR abs/1202.3717 () [Link]
, , :
On-line Reinforcement Learning Using Incremental Kernel-Based Stochastic Factorization. NIPS : 1493-1501 [Link]
, , :
On-the-Fly Algorithms for Bisimulation Metrics. QEST : 94-103 [Link]
, , :
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS : 681-692 [Link]
, , :
Policy-contingent abstraction for robust robot control. CoRR abs/1212.2495 () [Link]
, , , , :
Bellman Error Based Feature Generation using Random Projections on Sparse Spaces. CoRR abs/1207.5554 () [Link]
, , :
Active Learning for Developing Personalized Treatment. CoRR abs/1202.3714 () [Link]
, , :
Metrics for Finite Markov Decision Processes. CoRR abs/1207.4114 () [Link]
, , , :
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR : 317-332 [Link]
, :
On Average Reward Policy Evaluation in Infinite-State Partially Observable Systems. AISTATS : 449-457 [Link]
, , , :
Compressed Least-Squares Regression on Sparse Spaces. AAAI  [Link]
, , :
Design and Evaluation of a Flexible Interface for Spatial Navigation. CRV : 353-360 [Link]

2011

, , , , , :
Informing sequential clinical decision-making through reinforcement learning: an empirical study. Machine Learning 84(1-2): 109-136 () [Link]
, :
Bayesian reinforcement learning for POMDP-based dialogue systems. ICASSP : 2156-2159 [Link]
, , :
Activity Recognition with Mobile Phones. ECML/PKDD (3) : 630-633 [Link]
, , :
PAC-Bayesian Policy Evaluation for Reinforcement Learning. UAI : 195-202<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2218&proceeding_id=27"> [Link]
, :
Learning Compact Representations of Time-Varying Processes. AAAI  [Link]
, :
Non-Deterministic Policies in Markovian Decision Processes. J. Artif. Intell. Res. (JAIR) 40: 1-24 () [Link]
, , , , , :
Adapted MRF Segmentation of Multiple Sclerosis Lesions Using Local Contextual Information. MIUA : 351-356 [Link]
, , :
Active learning for personalizing treatment. ADPRL : 32-39 [Link]
:
The Meaning of Semantics. LICS : 4-5 [Link]
, :
Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics. AAAI  [Link]
, , :
Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. 40(6): 1662-1714 () [Link]
, :
Automatic Seizure Detection in an In-Vivo Model of Epilepsy. AAAI Spring Symposium: Computational Physiology  [Link]
, , :
A bistable computational model of recurring epileptiform activity as observed in rodent slice preparations. Neural Networks 24(6): 526-537 () [Link]
, , :
Active Learning for Developing Personalized Treatment. UAI : 161-168<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2196&proceeding_id=27"> [Link]
, , , :
A Bayesian Approach for Learning and Planning in Partially Observable Markov Decision Processes. Journal of Machine Learning Research 12: 1729-1770 () [Link]
:
Quantum Information Channels in Curved Spacetime. CiE : 221-229 [Link]
, , :
Reinforcement Learning using Kernel-Based Stochastic Factorization. NIPS : 720-728 [Link]
, :
Basis function discovery using spectral clustering and bisimulation metrics. AAMAS : 1079-1080<a href="http://portal.acm.org/citation.cfm?id=2034427&CFID=69154334&CFTOKEN=45298625"> [Link]
, :
Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics. ALA : 85-99 [Link]
, , :
A Framework for Computing Bounds for the Return of a Policy. EWRL : 201-212 [Link]
, , :
Anytime Point-Based Approximations for Large POMDPs. CoRR abs/1110.0027 () [Link]
, :
Automatic Construction of Temporally Extended Actions for MDPs Using Bisimulation Metrics. EWRL : 140-152 [Link]
, , :
Goal-Directed Online Learning of Predictive Models. EWRL : 18-29 [Link]
:
The Search for Structure in Quantum Computation. FOSSACS : 1-11 [Link]
, , , , :
The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC : 206-230 [Link]
, , , , , , :
Horde: a scalable real-time architecture for learning knowledge from unsupervised sensorimotor interaction. AAMAS : 761-768<a href="http://portal.acm.org/citation.cfm?id=2031726&CFID=54178199&CFTOKEN=61392764"> [Link]

2010

, , :
Activity and Gait Recognition with Time-Delay Embeddings. AAAI  [Link]
, :
A Study of Approximate Inference in Probabilistic Relational Models. ACML : 315-330 [Link]
, , , :
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 () [Link]
, , :
A novel similarity measure for time series data with applications to gait and activity recognition. UbiComp (Adjunct Papers) : 407-408 [Link]
, , :
Special Issue on "Quantitative Evaluation of Systems". Perform. Eval. 67(9): 757-758 () [Link]
, , :
Automatically suggesting topics for augmenting text documents. CIKM : 929-938 [Link]
, :
Approximate Predictive Representations of Partially Observable Systems. ICML : 895-902 [Link]
, :
Smarter Sampling in Model-Based Bayesian Reinforcement Learning. ECML/PKDD (1) : 200-214 [Link]
, :
Using bisimulation for policy transfer in MDPs. AAMAS : 1399-1400 [Link]
, , :
Variable resolution decomposition for robotic navigation under a POMDP framework. ICRA : 369-376 [Link]
, :
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS : 82-95 [Link]
, :
PAC-Bayesian Model Selection for Reinforcement Learning. NIPS : 1624-1632 [Link]
, :
Multi-tasking SLAM. ICRA : 377-384 [Link]
, , , :
A Machine Learning Approach to the Detection of Fetal Hypoxia during Labor and Delivery. IAAI  [Link]
, :
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST : 128-141 [Link]
, , , :
Classification of Normal and Hypoxic Fetuses From Systems Modeling of Intrapartum Cardiotocography. IEEE Trans. Biomed. Engineering 57(4): 771-779 () [Link]
, :
Optimal policy switching algorithms for reinforcement learning. AAMAS : 709-714 [Link]
, , :
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, [contents] [Link]
, :
Using Bisimulation for Policy Transfer in MDPs. AAAI  [Link]
, :
Treating Epilepsy by Reinforcement Learning Via Manifold-Based Simulation. AAAI Fall Symposium: Manifold Learning and Its Applications  [Link]

2009

, , :
Completing wikipedia's hyperlink structure through dimensionality reduction. CIKM : 1097-1106 [Link]
, , :
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts. IJCAI : 1598-1603 [Link]
, , , :
Approximating Labelled Markov Processes Again! CALCO : 145-156 [Link]
:
Labelled Markov Processes. Imperial College Press , ISBN 978-1-84816-287-7, pp. I-XII, 1-199 [Link]
, , , , , :
Development and Validation of a Robust Speech Interface for Improved Human-Robot Interaction. I. J. Social Robotics 1(4): 345-356 () [Link]
, , , , , , :
Fast gradient-descent methods for temporal-difference learning with linear function approximation. ICML : 993-1000 [Link]
, , , , :
Treating Epilepsy via Adaptive Neurostimulation: a Reinforcement Learning Approach. Int. J. Neural Syst. 19(4): 227-240 () [Link]
, , , :
Approximating Markov Processes by Averaging. ICALP (2) : 127-138 [Link]
, , , , , :
Convergent Temporal-Difference Learning with Arbitrary Smooth Function Approximation. NIPS : 1204-1212 [Link]
, , , :
Identification of the Dynamic Relationship Between Intrapartum Uterine Pressure and Fetal Heart Rate for Normal and Hypoxic Fetuses. IEEE Trans. Biomed. Engineering 56(6): 1587-1597 () [Link]
, :
A bayesian reinforcement learning approach for customizing human-robot interfaces. IUI : 355-360 [Link]
, , , :
Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) : 664-677 [Link]
, :
Manifold Embeddings for Model-Based Reinforcement Learning under Partial Observability. NIPS : 189-197 [Link]
, , :
Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI : 1653-1658 [Link]
, , :
Epistemic Strategies and Games on Concurrent Processes. SOFSEM : 153-166 [Link]

2008

, :
Domain Theory and the Causal Structure of Space-Time. CiE : 428-430 [Link]
:
Knowledge and Information in Probabilistic Systems. CONCUR : 4 [Link]
, , :
Reinforcement Learning with Limited Reinforcement: Using Bayes Risk for Active Learning in POMDPs. ISAIM  [Link]
, , :
Reinforcement learning in the presence of rare events. ICML : 336-343 [Link]
, :
Model-Based Bayesian Reinforcement Learning in Large Structured Domains. UAI : 476-483<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1967&proceeding_id=24"> [Link]
, , :
Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS : 1649-1656 [Link]
, :
A Technique for Verifying Measurements. Electr. Notes Theor. Comput. Sci. 218: 261-273 () [Link]
, , :
Anytime similarity measures for faster alignment. Computer Vision and Image Understanding 110(3): 378-389 () [Link]
, :
Game Semantics for Quantum Stores. Electr. Notes Theor. Comput. Sci. 218: 153-170 () [Link]
, , :
Bayesian reinforcement learning in continuous POMDPs with application to robot navigation. ICRA : 2845-2851 [Link]
, , :
Reinforcement learning with limited reinforcement: using Bayes risk for active learning in POMDPs. ICML : 256-263 [Link]
, :
Point-Based Planning for Predictive State Representations. Canadian Conference on AI : 126-137 [Link]
, , , :
Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning. AAAI : 1671-1678 [Link]
, , :
On the Bayes risk in information-hiding protocols. Journal of Computer Security 16(5): 531-571 () [Link]
, , :
A Variance Analysis for POMDP Policy Evaluation. AAAI : 1056-1061 [Link]
, , :
Bayes-Adaptive POMDPs: A New Perspective on the Explore-Exploit Tradeoff in Partially Observable Domains. ISAIM  [Link]
, :
MDPs with Non-Deterministic Policies. NIPS : 1065-1072 [Link]

2007

, , :
A formal framework for robot learning and control under model uncertainty. ICRA : 2104-2110 [Link]
, , :
Apprentissage actif dans les processus décisionnels de Markov partiellement observables L'algorithme MEDUSA. Revue d'Intelligence Artificielle 21(1): 9-34 () [Link]
, , , :
Formal Approaches to Information-Hiding (Tutorial). TGC : 347-362 [Link]
, , :
Probability of Error in Information-Hiding Protocols. CSF : 341-354 [Link]
, , , :
Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 () [Link]
, , :
Conformal Field Theory as a Nuclear Functor. Electr. Notes Theor. Comput. Sci. 172: 101-132 () [Link]
, , :
Theoretical Analysis of Heuristic Search Methods for Online POMDPs. NIPS : 1233-1240 [Link]
, , , :
Recurrent Boosting for Classification of Natural and Synthetic Time-Series Data. Canadian Conference on AI : 192-203 [Link]
, , , :
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany [contents] [Link]
, , :
Fast Image Alignment Using Anytime Algorithms. IJCAI : 2078-2083 [Link]
, , :
Bayes-Adaptive POMDPs. NIPS : 1225-1232 [Link]
, :
Using Linear Programming for Bayesian Exploration in Markov Decision Processes. IJCAI : 2437-2442 [Link]
, :
SmartWheeler: A Robotic Wheelchair Test-Bed for Investigating New Models of Human-Robot Interaction. AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics : 59-64 [Link]
, :
Context-Driven Predictions. IJCAI : 250-255 [Link]

2006

, , :
Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1) () [Link]
, , , :
PAC-Learning of Markov Models with Hidden State. ECML : 150-161 [Link]
, , :
Anonymity Protocols as Noisy Channels. TGC : 281-300 [Link]
, , :
Anytime Point-Based Approximations for Large POMDPs. J. Artif. Intell. Res. (JAIR) 27: 335-380 () [Link]
, , :
Planning under uncertainty in robotics. Robotics and Autonomous Systems 54(11): 885-886 () [Link]
, , :
Automatic basis function construction for approximate dynamic programming and reinforcement learning. ICML : 449-456 [Link]
, , , :
Methods for Computing State Similarity in Markov Decision Processes. UAI <a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1296&proceeding_id=22"> [Link]
, , :
Belief Selection in Point-Based Planning Algorithms for POMDPs. Canadian Conference on AI : 383-394 [Link]
, , :
RRT-Plan: A Randomized Algorithm for STRIPS Planning. ICAPS : 362-365 [Link]
, :
The computational power of the W And GHZ States. Quantum Information & Computation 6(2): 173-183 () [Link]
, , , :
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. Computational Structures for Modelling Space, Time and Causality  [Link]
, , , :
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 () [Link]
, , , , :
Data Mining Using Relational Database Management Systems. PAKDD : 657-667 [Link]
, , , :
Representing Systems with Hidden State. AAAI : 368-374 [Link]
, , :
The One Way to Quantum Computation. ICALP (2) : 13-21 [Link]

2005

, :
Using Rewards for Belief State Updates in Partially Observable Markov Decision Processes. ECML : 593-600 [Link]
, , :
Active Learning in Partially Observable Markov Decision Processes. ECML : 601-608 [Link]
, , , :
An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST : 54-62 [Link]
, , , , :
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation  [Link]
, , :
Approximate reasoning for real-time probabilistic processes. CoRR abs/cs/0505063 () [Link]
, , :
Metrics for Markov Decision Processes with Infinite State Spaces. UAI : 201-208<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1175&proceeding_id=21"> [Link]
, , , , :
Off-policy Learning with Options and Recognizers. NIPS : 1097-1104 [Link]
, :
POMDP Planning for Robust Robot Control. ISRR : 69-82 [Link]
, :
Model minimization by linear PSR. IJCAI : 1749-1750 [Link]
, :
A domain of spacetime intervals in general relativity. Spatial Representation  [Link]
, , , , :
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation  [Link]
, , :
Using core beliefs for point-based value iteration. IJCAI : 1751-1753 [Link]
, :
Reasoning About Quantum Knowledge. FSTTCS : 553-564 [Link]

2004

, , :
RedAgent-2003: An Autonomous Market-Based Supply-Chain Management Agent. AAMAS : 1182-1189 [Link]
, , , :
Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 () [Link]
, , :
Redagent: winner of TAC SCM 2003. SIGecom Exchanges 4(3): 1-8 () [Link]
, , :
Approximate Reasoning for Real-Time Probabilistic Processes. QEST : 304-313 [Link]
, , :
Metrics for Finite Markov Decision Processes. UAI : 162-169<a href="https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1103&proceeding_id=20"> [Link]
, , :
Metrics for Finite Markov Decision Processes. AAAI : 950-951 [Link]
, :
Classification Using Phi-Machines and Constructive Function Approximation. Machine Learning 55(1): 31-52 () [Link]
, , :
Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 () [Link]
, :
Sparse Distributed Memories for On-Line Value-Based Reinforcement Learning. ECML : 347-358 [Link]
, , :
A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science 14(5): 613-649 () [Link]
, :
On the Expressive Power of First-Order Boolean Functions in PCF. CoRR cs.PL/0405085 () [Link]

2003

, :
Combining TD-learning with Cascade-correlation Networks. ICML : 632-639 [Link]
, :
A Planning Algorithm for Predictive State Representations. IJCAI : 1520-1521 [Link]
, , , :
Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 () [Link]
, :
Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 () [Link]
, :
Using MDP Characteristics to Guide Exploration in Reinforcement Learning. ECML : 313-324 [Link]
, :
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 () [Link]
, , :
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR : 468-482 [Link]

2002

, , :
Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 () [Link]
, :
Characterizing Markov Decision Processes. ECML : 391-404 [Link]
, , , :
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS : 413-422 [Link]
, :
Developing Collaborative Golog Agents by Reinforcement Learning. International Journal on Artificial Intelligence Tools 11(2): 233-246 () [Link]
, , , , :
Combining and Adapting Software Quality Predictive Models by Genetic Algorithms. ASE : 285-288 [Link]
, :
Learning Options in Reinforcement Learning. SARA : 212-223 [Link]
, , , :
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR : 355-370 [Link]
, :
Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 () [Link]
, :
A Convergent Form of Approximate Policy Iteration. NIPS : 1595-1602 [Link]

2001

:
Does Concurrency Theory Have Anything to Say About Parallel Programming? Current Trends in Theoretical Computer Science : 439-446 [Link]
, , :
Off-Policy Temporal Difference Learning with Function Approximation. ICML : 417-424 [Link]
:
Measure and probability for concurrency theorists. Theor. Comput. Sci. 253(2): 287-309 () [Link]
:
Does Combining Nondeterminism and Probability Make Sense? Bulletin of the EATCS 75: 182-189 () [Link]
, :
On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. 266(1-2): 543-567 () [Link]
, :
Developing Collaborative Golog Agents by Reinforcement Learning. ICTAI : 195-202 [Link]

2000

, , , :
Approximating Labeled Markov Processes. LICS : 95-106 [Link]
, :
Generating irregular partitionable data structures. Theor. Comput. Sci. 238(1-2): 31-80 () [Link]
:
From logic to stochastic processes (abstract only). PPDP : 1-2 [Link]

1999

:
The Category of Markov Kernels. Electr. Notes Theor. Comput. Sci. 22: 171-187 () [Link]
, , :
Stochastic Processes as Concurrent Constraint Programs. POPL : 189-202 [Link]
, , , :
Metrics for Labeled Markov Systems. CONCUR : 258-273 [Link]

1998

, , :
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS : 478-487 [Link]
, , :
A Relational Model of Non-deterministic Dataflow. CONCUR : 613-628 [Link]

1997

, , , :
Bisimulation for Labelled Markov Processes. LICS : 149-158 [Link]