Conditional reasoning in logic programming

DOI10.1016/S0743-1066(99)00072-2zbMath0957.68014WikidataQ58207629 ScholiaQ58207629MaRDI QIDQ4484723

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

Publication date: 25 May 2000

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK

This page was built for publication: Conditional reasoning in logic programming