Publication:4287474
From MaRDI portal
zbMath0801.68018MaRDI QIDQ4287474
Andreas Podelski, Hassan Aït-Kaci
Publication date: 12 April 1994
Related Items
On subsumption and semiunification in feature algebras, C-expressions: A variable-free calculus for equational logic programming, Combining Horn rules and description logics in CARIN, A feature constraint system for logic programming with entailment, Constraint satisfaction with an object-oriented knowledge representation language, Situated simplification, A rational reconstruction of the domain of feature structures