Liviu-Virgil Ciortuz  Home/Search
Context
Related
| users.aber.ac.uk/vvc/PA...nantes.new.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: users.aber.ac.uk/vvc/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a feature constraint system that, compared with the well-known systems OSF[1] and CFT[5], incorporates several interesting characteristics. The new system, called DF, is naturally extended through the CLP scheme (in combination with a dynamic completion technique) to a logic language equally called DF. (Update)
Active bibliography (related documents): More All
0.7: DF Constraint System - Ciortuz (1995) (Correct)
0.3: Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999) (Correct)
0.3: Learning attribute values in typed-unification grammars: On.. - Ciortuz (Correct)
Similar documents based on text: More All
0.5: Scaling up the machine for unification of OSF-terms to do.. - Ciortuz (Correct)
0.4: Towards English into Romanian Translation via Oz - Ciortuz (Correct)
0.4: Towards HPSG-based Concurrent Machine Translation via Oz - Ciortuz (1995) (Correct)
BibTeX entry: (Update)
@misc{ ciortuz-df,
author = "Liviu-Virgil Ciortuz",
title = "DF - a Feature Constraint System and its Extension to a Logic Concurrent
Language",
url = "citeseer.ist.psu.edu/574130.html" }
Citations (may not include all citations):413 A logical foundation of object-oriented and framebased langu.. - Kifer, Lausen et al. - 1995
271 The Oz programming model - Smolka - 1995 ACM DBLP
105 Records for logic programming - Smolka, Treinen - 1994 DBLP
20 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993 DBLP
16 Feature constraints with first-class features - Treinen - 1993 ACM DBLP
4 Order-sorted feature theory unification (context) - Ait-Kaci, Podelski et al. - 1993 ACM DBLP
3 Functions as passive constraints in LIFE (context) - Ait-Kaci, Podelski - 1994 ACM DBLP
Documents on the same site (http://users.aber.ac.uk/vvc/): More
Learning attribute values in typed-unification grammars: On.. - Ciortuz (Correct)
Object-Oriented Inferences in a Logical Framework . . . - Ciortuz (1994) (Correct)
Towards HPSG-based Concurrent Machine Translation via Oz - Ciortuz (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC