We use $A_\infty$ algebras to define open Gromov-Witten invariants with both
boundary and interior constraints, associated to a Lagrangian submanifold
$L\subset X$ of arbitrary dimension. The boundary constraints are bounding
chains, which are shown to behave like points. The interior constraints are
classes in the cohomology of $X$ relative to $L.$ We show the invariants
satisfy analogs of the axioms of closed Gromov-Witten theory.
Our open Gromov-Witten invariants extend Fukaya's invariants for Maslov zero
Lagrangians in Calabi-Yau threefolds as well as both Welschinger's and
Georgieva's real enumerative invariants. The definition depends on the
vanishing of a series of obstruction classes. One way to show vanishing is to
impose certain cohomological conditions on $L.$ Alternatively, if there exists
an anti-symplectic involution fixing $L$, then part of the obstructions vanish
a priori, and weaker cohomological conditions suffice to guarantee vanishing of
the remaining obstructions. In the cases considered by Welschinger and
Georgieva, all obstructions vanish a priori.