Mechanizing Proofs of Integrity Constraints in the Situation Calculus - Archive ouverte HAL
Communication Dans Un Congrès Année : 1999

Mechanizing Proofs of Integrity Constraints in the Situation Calculus

Domaines

Algorithme et structure de données [cs.DS]

Pascal Urso  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00463829

Soumis le : lundi 15 mars 2010-11:46:15

Dernière modification le : lundi 26 février 2024-11:22:07

Fichier non déposé

Dates et versions

hal-00463829 , version 1 (15-03-2010)

Identifiants

Citer

Pascal Urso, Emmanuel Kounalis. Mechanizing Proofs of Integrity Constraints in the Situation Calculus. 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Jun 1999, Cairo, Egypt. pp.372-382, ⟨10.1007/b72302⟩. ⟨hal-00463829⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S UNIV-COTEDAZUR
69 Consultations
0 Téléchargements

Altmetric

Partager

More