A Monte-Carlo AIXI Approximation.
Second-Order Consistencies.
Decidability and Undecidability Results for Propositional Schemata.
Evaluating Temporal Graphs Built from Texts via Transitive Reduction.
A Probabilistic Approach for Maintaining Trust Based on Evidence.
Iterated Belief Change Due to Actions and Observations.
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
On-line Planning and Scheduling: An Application to Controlling Modular Printers.
Regression Conformal Prediction with Nearest Neighbours.
False-Name Manipulations in Weighted Voting Games.
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference.
Narrowing the Modeling Gap: A Cluster-Ranking Approach to Coreference Resolution.
The Complexity of Integer Bound Propagation.
Multiagent Learning in Large Anonymous Games.
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.
Multimode Control Attacks on Elections.
A Logical Study of Partial Entailment.
Efficient Planning under Uncertainty with Macro-actions.
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
Non-Deterministic Policies in Markovian Decision Processes.
Scaling up Heuristic Planning with Relational Decision Trees.
Identifying Aspects for Web-Search Queries.