scientific article; zbMATH DE number 928020

zbMath0853.68074MaRDI QIDQ4893673

Alberto Martelli, Nicola Olivetti, Laura Giordano, Dov M. Gabbay

Publication date: 2 January 1997

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

zbMATH Keywords

integrity constraintslogic programming language

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Hypothetical updates, priority and inconsistency in a logic programming language ⋮ An abductive proof procedure for conditional logic programming ⋮ Computing defeasible meta-logic