Disjunctive Signed Logic Programs

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1997-323409
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

On the Equivalence Between Disjunctive and Abductive Logic Programs

1994English

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

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

Calculi for Disjunctive Logic Programming

1997English

Disjunctive Programs With Set Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Disjunctive Logic Programming as Constrained Inferences

1997English

FPGA Logic Element for Implementation of Disjunctive Normal Form

Izvestiâ vysših učebnyh zavedenij. Priborostroenie
2017English

Making Query Processing Goal-Directed in Disjunctive Logic Databases

1995English

Restructuring Logic Representations With Easily Detectable Simple Disjunctive Decompositions

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy