Optimizing Selective Search in Chess

Optiplan: Unifying IP-based and Graph-based Planning

Order of Magnitude Comparisons of Distance

Order to Disorder Transitions in Hybrid Intelligent Systems: a Hatch to the Interactions of Nations -Governments

Order-of-Magnitude Influence Diagrams

Ordered Landmarks in Planning

Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects

Origins of Answer-Set Programming - Some Background And Two Personal Accounts

Outlier Detection by Logic Programming

Overcoming Misleads In Logic Programs by Redefining Negation

Paired Comparisons-based Interactive Differential Evolution

PAL: Pertinence Action Language

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)

Parameter Learning in PRISM Programs with Continuous Random Variables

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

Parameterized Complexity of Problems in Coalitional Resource Games

Parameterized Complexity Results in Symmetry Breaking

Parametric Connectives in Disjunctive Logic Programming

Parametric external predicates for the DLV System

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report