preprint · SPIRE - Sciences Po Institutional REpository · 2023

Logic program forms

Antic, Christian

Cited by 0Open access

Abstract

Logic program forms have been recently introduced by the author as proper generalizations of logic programs in the setting of (semi-)automatic logic programming via analogical reasoning. The purpose of this paper is to define a a semantics of forms in the same spirit as for programs.

Cite this paper

APA 7

Antic, C. (2023). Logic program forms. SPIRE - Sciences Po Institutional REpository.

MLA 9

Antic, Christian. “Logic program forms.” SPIRE - Sciences Po Institutional REpository, 2023.

Chicago

Antic, Christian. 2023. “Logic program forms.” SPIRE - Sciences Po Institutional REpository.

Harvard

Antic, C. (2023) ‘Logic program forms’, SPIRE - Sciences Po Institutional REpository.

BibTeX

@misc{antic2023logic,
  title = {{Logic program forms}},
  author = {Antic, Christian},
  journal = {SPIRE - Sciences Po Institutional REpository},
  year = {2023}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.