Publication:4391450
From MaRDI portal
zbMath0900.68137MaRDI QIDQ4391450
No author found.
Publication date: 3 June 1998
68N17: Logic programming
Related Items
Unnamed Item, Towards Contingent World Descriptions in Description Logics, Adding Metalogic Features to Knowledge Representation Languages*, Completing causal networks by meta-level abduction, Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, On proving confluence modulo equivalence for Constraint Handling Rules, On the algebraic structure of declarative programming languages, Beyond graph neural networks with lifted relational neural networks, Efficient and flexible access control via Jones-optimal logic program specialisation, Meta-logic programming for a synonymy logic