Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Reiji Nakajima

Modularization and Abstraction in Logic Programming

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
1983English

Related publications

Logic Programming

1995English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Network Automation and Abstraction Using Python Programming Methods

MACRo 2015
2017English

Global Variables in Logic Programming

1997English

Abduction and Abductive Logic Programming

1994English

Minimum and Maximum Predicates in Logic Programming

1991English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Service-Oriented Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy