On the relation between vector annotated logic programs and defeasible theories

DOI10.12775/LLP.2000.010zbMath1003.68023OpenAlexW2072177055MaRDI QIDQ3149222

Kazumi Nakamatsu

Publication date: 30 January 2003

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2000.010

zbMATH Keywords

vector annotated logic program with strong negation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Programming with Annotated Logics

This page was built for publication: On the relation between vector annotated logic programs and defeasible theories