Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281205
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Disjunctive Semantics Based Upon Partial and Bottom-Up Evaluation

1995English

Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2005English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

The Disjunctive Datalog System DLV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Disjunctive Inequalities: Applications and Extensions

2011English

The Disjunctive Conception of Perceiving

Philosophical Explorations
Philosophy
2011English

Disjunctive Programs With Set Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Calculi for Disjunctive Logic Programming

1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy