Smallest Horn Clause Programs

Ph. Devienne; P Lebègue; Anne Parrain; J.-C. Routier; J Würtz

Journal Articles Jounal of Logic Programming Year : 1996

Smallest Horn Clause Programs

, , (1) , (2) ,

1
2

Ph. Devienne

Function : Author

P Lebègue

Function : Author

Anne Parrain

Function : Author
PersonId : 840353
ORCID : 0000-0001-7115-8022
IdRef : 121992020

Centre de Recherche en Informatique de Lens

J.-C. Routier

Function : Author

Laboratoire d'Informatique Fondamentale de Lille

J Würtz

Function : Author

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03301109

Submitted on : Tuesday, July 27, 2021-12:54:40 PM

Last modification on : Wednesday, February 8, 2023-5:11:18 PM

Dates and versions

hal-03301109 , version 1 (27-07-2021)

Identifiers

HAL Id : hal-03301109 , version 1

Cite

Ph. Devienne, P Lebègue, Anne Parrain, J.-C. Routier, J Würtz. Smallest Horn Clause Programs. Jounal of Logic Programming, 1996, 27 (3), pp.227-267. ⟨hal-03301109⟩

Smallest Horn Clause Programs

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share