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
Ontology Alignment at the Instance and Schema Level
Ontology Temporal Evolution for Multi-Entity Bayesian Networks under Exogenous and Endogenous Semantic Updating
Ontology-based inference for causal explanation