Logic Programming

doi 10.7551/mitpress/4301.001.0001

Full Text

Abstract

Available in

Date

Authors

Unknown

Publisher

The MIT Press

Related search

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Records for Logic Programming

The Journal of Logic Programming
1994English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Logic Programming as Hypergraph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

Global Variables in Logic Programming

1997English

Calculi for Disjunctive Logic Programming

1997Norwegian Bokmål

Abduction and Abductive Logic Programming

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy