Disjunctive Logic Programming as Constrained Inferences

doi 10.7551/mitpress/4299.003.0031
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Calculi for Disjunctive Logic Programming

1997English

Disjunctive Signed Logic Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Logic Programming as Hypergraph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Exclusivity and Kinds of Models in Modulated Disjunctive Inferences

Nóesis. Revista de Ciencias Sociales y Humanidades
2019English

Abstract Categorial Parsing as Linear Logic Programming

2015English

Logic Programming

1995English

FPGA Logic Element for Implementation of Disjunctive Normal Form

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

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

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

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

Privacy PolicyRefund Policy