Sentence examples for context of logic from inspiring English sources

On the logical level, we investigate groundedness in the context of logic programming, autoepistemic logic, default logic and argumentation frameworks.

The notion of dislocated topologies has useful applications in the context of logic programming semantics (see [5, 17, 29]).

The notion of dislocated topologies has useful applications in the context of logic programming semantics (see [12]).

Hitzler and Seda [3] investigated the useful applications of dislocated topology in the context of logic programming semantics.

In this article, we investigate this issue in the context of logic modeling of signaling networks.

1. However see Da Costa and Carnielli 1986 which develops a deontic logic in the context of paraconsistent logic.

The notion of forgetting, also known as variable elimination, has been investigated extensively in the context of classical logic, but less so in (nonmonotonic) logic programming and nonmonotonic reasoning.

Using these ideas, we introduce a new definition of logical consequence in the context of active logic, as well as a new definition of soundness such that, when reasoning with consistent premises, all classically sound rules remain sound in our new sense.

The other approach is to highlight Peirce's achievements in logic and to locate Peirce's contributions within the context of modern logic.

Logic-based representation employs formal methods developed in the context of mathematical logic in order to encode knowledge about the world.

For a description of these principles in the context of intuitionistic logic, the reader may wish to consult sections 4.2 and 5.2 of the entry on intuitionistic logic or Troelstra and van Dalen's Constructivism in Mathematics (Troelstra and van Dalen 1988).