scientific article; zbMATH DE number 1158759

zbMath0900.68137MaRDI QIDQ4391450

No author found.

Publication date: 3 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (10)

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

This page was built for publication: