Sentence examples for extended logic from inspiring English sources

Some of the subsets we discuss are subclasses of the so-called "extended logic programs".

We describe an expanded set of axioms and properties of the extended logic.

In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs.

Finally, it is shown that the extended logic can be used as a high-level specification language for connectionist networks, into which several recent symbolic systems may be mapped.

We focus on a class of probabilistic logic based on Sato's distribution semantics, which extends logic programming with probability distributions on binary random variables and guarantees a unique probability distribution.

This paper defines the notion of outlier in two related formalisms for specifying defaults: Reiter's default logic and extended disjunctive logic programs.

Unfortunately, in the two related formalisms for specifying defaults — Reiter's default logic and extended disjunctive logic programs — the most general outlier detection problems turn out to lie at the third level of the polynomial hierarchy.

First, that a corrected version of the propositional part of Delgrande's conditional logic corresponds to Adams' extended probability logic and has both an infinitesimal and a noninfinitesimal probability semantics.

Due to the recycling of initiator and performance in a cascade manner, this system is versatilely extended to logic operations, including the construction of concatenated logic circuits with a feedback function and a biocomputing keypad-lock security system.

The ban on abortion funding extended the logic of the pro-choice case for abortion rights.

The United States Court of Appeals for the Ninth Circuit extended this logic to a housing discrimination case in Idaho.