Calculi for Disjunctive Logic Programming

doi 10.7551/mitpress/4299.003.0035
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Disjunctive Logic Programming as Constrained Inferences

1997English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

FPGA Logic Element for Implementation of Disjunctive Normal Form

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

Records for Logic Programming

The Journal of Logic Programming
1994English

Contraction-Free Sequent Calculi for Intuitionistic Logic: A Correction

Journal of Symbolic Logic
PhilosophyLogic
2018English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Logic Programming

1995English

Logic and Lattices for Distributed Programming

2012English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy