Amanote Research

Amanote Research

  • Register
  • Sign In

Records for Logic Programming

The Journal of Logic Programming

doi 10.1016/0743-1066(94)90044-2

Full Text

Abstract

Available in

Date

April 1, 1994

Authors

Gert SmolkaRalf Treinen

Publisher

Elsevier BV


Related search

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Logic Programming

1995English

Calculi for Disjunctive Logic Programming

1997Norwegian Bokmål

Logic and Lattices for Distributed Programming

2012English

Representing Biases for Inductive Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Continuation Compilation for Concurrent Logic Programming

1995English

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Amanote Research

Note-taking for researchers

Follow Amanote


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

Privacy PolicyRefund Policy