A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-20551-4_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

National Approach to the Evaluation of Community Mental Health Programs

American Journal of Public Health and the Nations Health
1961English

A Hybrid Approach for Air Conditioning Control System With Fuzzy Logic Controller

International Journal of Engineering and Applied Sciences (IJEAS)
2018English

A Logic Approach to Modelling Nomenclatural Change

Cladistics
EvolutionEcologySystematicsBehavior
2017English

An Alternative Approach to Firms' Evaluation: Expert Systems and Fuzzy Logic

International Journal of Information Technology and Decision Making
Computer Science
2006English

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
1994English

A Rewriting Logic Approach to Operational Semantics

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

Learnability of Constrained Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy