Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic- Netherlands

doi 10.1016/j.jal.2008.10.004

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Confluence Modulo Equivalence in Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules

2010English

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

English

Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG

International Journal of Applied Mathematics
Computational TheoryMathematics
2019English

Implementing Constraint Solvers in B-Prolog

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

Constraint-Base Optimizations of Executable UML Models

2009English

A Reasoning Method for Timed CSP Based on Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy