• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 112
Next 10 →

Towards Soft Typing for CLP

by P. Deransart, J. Maluszynski - JICSLP'98 Post-Conference Workshop on Types for Constraint Logic Programming. Ecole Normale Superieure , 1998
"... The paper links the goals to be achieved by a type system to the problem of partial correctness of CLP programs. Several concepts of type correctness of programs are identified by referring to various known concepts of partial correctness of programs. The type specifications considered in this pape ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
in this paper attach a mode and a type to every predicate of CLP programs. The paper outlines a soft typing approach where optional type specifications given by the user are completed by type inference. Order-sorted languages of types are considered. This gives a natural framework for comparing prescriptive

Towards Testing Concurrent Objects in CLP

by Elvira Albert, Puri Arenas, Miguel Gómez-zamalloa , 2012
"... Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easily undetected. This paper studies the extension of the CL ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
of the CLP-based framework for glass-box test data generation of sequential programs to the context of concurrent objects, a concurrency model which constitutes a promising solution to concurrency in OO languages. Our framework combines standard termination and coverage criteria used for testing sequential

Intelligent Backtracking in CLP(!)

by Jennifer J. Burg Wake Forest, Sheau-dong Lang, Charles E. Hughes
"... Keywords constraint logic programming constraint satisfaction intelligent backtracking CLP(!) 1 Introduction Early in the development of logic programming languages, SLD-resolution and the left-right-depth-first (LRDF) search and computation rule were adopted as a practical approach to implementatio ..."
Abstract - Add to MetaCart
Keywords constraint logic programming constraint satisfaction intelligent backtracking CLP(!) 1 Introduction Early in the development of logic programming languages, SLD-resolution and the left-right-depth-first (LRDF) search and computation rule were adopted as a practical approach

Towards a declarative and efficient glass-box CLP language

by Robert Kowalski, Francesca Toni, Gerhard Wetzel - Workshop Logische Programmierung , 1994
"... this paper to improve its efficiency. [CaLa94] describes an efficient program to solve a JSSP, whose performance is comparable with those of OR algorithms. For example, it solves the 10\Theta10 JSS benchmark in about 20 minutes. This program is implemented in a hybrid (procedural and declarative) gl ..."
Abstract - Cited by 8 (4 self) - Add to MetaCart
) glass-box CLP language. In this paper we have illustrated how it might be possible to encode the techniques suggested in [CaLa94] in a purely declarative glass-box CLP language. FPRs are similar both in syntax and semantics to the CHRs defined in [Fr92], but FPRs are used in the context of if

Towards Compositional CLP-based Test Data Generation for Imperative Languages

by Elvira Albert, Miguel Gómez-zamalloa, José Miguel Rojas, Germán Puebla
"... Test data generation (TDG) is the process of automatically generating test-cases for interesting test coverage criteria. The coverage criteria measure how well the program is exercised by a test suite. Examples of coverage criteria are: statement coverage which requires that each line of the code is ..."
Abstract - Cited by 3 (1 self) - Add to MetaCart
Test data generation (TDG) is the process of automatically generating test-cases for interesting test coverage criteria. The coverage criteria measure how well the program is exercised by a test suite. Examples of coverage criteria are: statement coverage which requires that each line of the code

Toward a Declarative Language for Negotiating Executable Contracts

by Daniel M. Reeves, Benjamin N. Grosof, Michael P. Wellman, Hoi Y. Chan , 1999
"... : We give an approach to automating the negotiation of business contracts. Our goal is to develop a language for both (1.) fully-specified, executable contracts and (2.) partially-specified contracts that are in the midst of being negotiated, including via automated auctions. Our starting point for ..."
Abstract - Cited by 41 (8 self) - Add to MetaCart
for this language is Courteous Logic Programs (CLP's), a form of logic-based knowledge representation (KR) that is semantically declarative, intuitively natural, computationally tractable, and practically executable. A CLP is suitable in particular to represent a fully-specified executable contract. The basic

Extending A Parallel Clp Language To Support The Development Of Multi-Agent Systems

by Panagiotis Stamatopoulos Dimitris, Dimitris Margaritis, Constantin Halatsis - In Proceedings of the 1994 ACM Symposium on Applied Computing , 1994
"... An extension of the parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that are distributed in nature. Problems of this kind, after being decomposed into s ..."
Abstract - Add to MetaCart
An extension of the parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that are distributed in nature. Problems of this kind, after being decomposed

COMMON LANGUAGE for PSYCHOTHERAPY (clp) PROCEDURES www.commonlanguagepsychotherapy.org

by unknown authors
"... Definition: The therapist repairs a rupture in the therapeutic alliance with the patient by using one or more different procedures. In confrontation ruptures the patient shows problems in the alliance by expressing hostility or criticism toward the therapist. In withdrawal ruptures the patient manif ..."
Abstract - Add to MetaCart
Definition: The therapist repairs a rupture in the therapeutic alliance with the patient by using one or more different procedures. In confrontation ruptures the patient shows problems in the alliance by expressing hostility or criticism toward the therapist. In withdrawal ruptures the patient

Interactive Querying and Visualisation in Temporal Databases

by Babis Theodoulidis, Panos Papapanagiotou, Vangelis Pappas-Katsiafas - Knowledge Discovery and Temporal Reasoning in Deductive and Object-Oriented Databases, Proceedings of the DOOD’95 , 1995
"... Introduction Nowadays it is widely accepted within the database community that the incorporation of temporal capabilities into information systems is a highly desirable feature. Temporal database systems provide efficient and adequate mechanisms for manipulating temporal information. In order for t ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
requests and concentrate on techniques which better exploit the human senses and raise the communication level between humans and machines [1]. Towards this direction we are currently in the process of designing and implementing a Visual Query Language with an interactive Visualiser, as integrated

Abstract EXTENDING A PARALLEL CLP LANGUAGE TO SUPPORT THE DEVELOPMENT OF MULTI-AGENT SYSTEMS

by Panagiotis Stamatopoulos, Dimitris Margaritis, Constantin Halatsis
"... An extension of Me parallel constraint logic programming lan-guage ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that are distributed in nature. Prob-lems of this kind, after being decomposed into ..."
Abstract - Add to MetaCart
An extension of Me parallel constraint logic programming lan-guage ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to deal with large combinatorial problems that are distributed in nature. Prob-lems of this kind, after being decomposed
Next 10 →
Results 1 - 10 of 112
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University