Title :

The emptiness problem of one binary Horn clause is undecidable

Author(s) :

Devienne, Philippe [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Lebègue, Patrick [Auteur]
no affiliation
Routier, Jean-Christophe [Auteur]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]

Scientific editor(s) :

Miller, Dale

Conference title :

Proceedings of 1993 International Symposium on Logic Programming (ILPS'93)

City :

undef

Country :

France

Start date of the conference :

1993

Book title :

Proceedings of 1993 International Symposium on Logic Programming (ILPS'93)

Publisher :

MIT Press

Publication date :

1993

HAL domain(s) :

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

Language :

Interlingue

Peer reviewed article :

Oui

Audience :

Non spécifiée

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL