Programming by combining general logic programs

DOI10.1093/LOGCOM/9.1.7zbMath0915.68020OpenAlexW2319980797MaRDI QIDQ4238481

Antonio Brogi, Franco Turini, S. Contiero

Publication date: 30 March 1999

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

Full work available at URL: https://semanticscholar.org/paper/539b1072d2a87ae5a94910286fd0b8a28517ed1a

zbMATH Keywords

program composition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Knowledge representation with multiple logical theories and time

This page was built for publication: Programming by combining general logic programs