Ordered Logic Programming with Sets

DOI10.1093/LOGCOM/3.6.621zbMath0802.68025OpenAlexW2072467620MaRDI QIDQ4286210

Pasquale Rullo, Nicola Leone

Publication date: 27 April 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/3.6.621

zbMATH Keywords

setsinheritancelogic programmingexceptionsobject-orienteddeclarative semanticsnon- monotonic reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) General topics in the theory of software (68N01)

Related Items (2)

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

This page was built for publication: Ordered Logic Programming with Sets