Sentence examples for default theory from inspiring English sources

My default theory on the John F. Kennedy assassination still owes more to "Libra" than to anything else I've ever read or seen.

An ordered default theory is then a triple where is a default theory.

In an elaboration of the approach, we allow an ordered default theory where preference information is specified within a default theory.

The mapping from an RDR tree to a default theory makes these priorities explicit.

While this eases maintenance, it decreases the inference power of the corresponding default theory.

A default theory consists of a set of formulas (the facts), together with a set of default rules.

There are many default theories that have multiple extensions.

We give a modular and polynomial transformation of default theories with specificity into semantically equivalent Reiter default theories.

We then discuss the relationship between default theories and NRDR.

The general transformation is exponential but tractable for a subset which we call 2-DT a superset of network default theories and disjunction-free default theories.

This, in turn, leads to a natural translation of logic programs into open default theories.