Towards a meaning of life
From MaRDI portal
Publication:5289307
DOI10.1016/0743-1066(93)90043-GzbMath0782.68022OpenAlexW2029326070MaRDI QIDQ5289307
Andreas Podelski, Hassan Aït-Kaci
Publication date: 23 August 1993
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(93)90043-g
symbolic computationinheritancefunctionslogicconstraint logic programmingequationscalculus of order-sorted feature approximations
Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Artificial intelligence (68T99) Logic programming (68N17)
Related Items
Resolution for label-based formulas in hierarchical representation, Label-selective \(\lambda\)-calculus syntax and confluence, Constraint functional logic programming over finite domains, Sparse logical terms, Minimal model semantics for sorted constraint representation, Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach, A complete and recursive feature theory, A declarative framework for object-oriented programming with genetic inheritance, TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS, Ordering constraints over feature trees expressed in second-order monadic logic., Order-sorted logic programming with predicate hierarchy
