On the tractable counting of theory models and its application to belief revision and truth maintenance
On the Use of Non-Stationary Policies for Infinite-Horizon Discounted Markov Decision Processes
On the use of reference points for the biobjective Inventory Routing Problem
On Ultrametric Algorithmic Information
On Understanding and Machine Understanding
On Using Unsatisfiability for Solving Maximum Satisfiability
On Validating Boolean Optimizers
On-Line Condition Monitoring using Computational Intelligence
On-the-fly Macros
One Decade of Universal Artificial Intelligence
Online Anomaly Detection Systems Using Incremental Commute Time
Online Cake Cutting
Online Cake Cutting (published version)
Online Estimation of SAT Solving Runtime
Online Least Squares Estimation with Self-Normalized Processes: An Application to Bandit Problems
Online prediction of ovarian cancer
Online Search Cost Estimation for SAT Solvers
Ontological Crises in Artificial Agents' Value Systems
Ontologies and Information Extraction
Ontologies for the Integration of Air Quality Models and 3D City Models