3333 search results - page 130 / 667 » Abstract Proof Search |
100
click to vote
AAAI
1990
15 years 4 months ago
1990
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
105
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper deals with a discret-time control approach, proposed for the control of a five-link, four-actuator planar biped walker. The approach is based on the choice ...
136
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
128
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-...
120
click to vote
COCOON
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We show that finding roots of Boolean matrices is an NPhard problem. This answers a twenty year old question from semigroup theory. Interpreting Boolean matrices as dire...