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