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 full text

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

A Reasoning Method for Timed CSP Based on Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Constraint-Base Optimizations of Executable UML Models

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy