Smallest Horn clause program

Philippe Devienne; Patrick Lebã¨gue; Anne Parrain; Jean-Christophe Routier; Jã¶rg Wã¼rtz

Article Dans Une Revue Journal of Logic Programming Année : 1996

Smallest Horn clause program

(1) , , , (1, 2) ,

1
2

Philippe Devienne

Fonction : Auteur
PersonId : 10117
IdHAL : philippe-devienne
ORCID : 0000-0002-7023-1088
IdRef : 032321538

Laboratoire d'Informatique Fondamentale de Lille

Patrick Lebã¨gue

Fonction : Auteur

Anne Parrain

Fonction : Auteur
PersonId : 1234097
IdHAL : anneparrain
ORCID : 0000-0001-7115-8022
IdRef : 121992020

Jean-Christophe Routier

Fonction : Auteur
PersonId : 18480
IdHAL : jean-christophe-routier
ORCID : 0000-0001-8032-6323
IdRef : 05905381X

Laboratoire d'Informatique Fondamentale de Lille

Systèmes Multi-Agents et Comportements

Jã¶rg Wã¼rtz

Fonction : Auteur

Résumé

No abstract

Domaines

Système multi-agents [cs.MA] Informatique et théorie des jeux [cs.GT] Ingénierie, finance et science [cs.CE] Intelligence artificielle [cs.AI] Logique en informatique [cs.LO] Finance [q-fin.GN]

Hal Lifl : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00825539

Soumis le : vendredi 24 mai 2013-03:26:44

Dernière modification le : mercredi 24 janvier 2024-09:54:21

Dates et versions

hal-00825539 , version 1 (24-05-2013)

Identifiants

HAL Id : hal-00825539 , version 1

Citer

Philippe Devienne, Patrick Lebã¨gue, Anne Parrain, Jean-Christophe Routier, Jã¶rg Wã¼rtz. Smallest Horn clause program. Journal of Logic Programming, 1996, pp.227-267. ⟨hal-00825539⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL CRISTAL CRISTAL-SMAC UNIV-LILLE

178 Consultations

0 Téléchargements

Smallest Horn clause program

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager