ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540582410

ISBN : 3-540-58241-X

Collation : fig.#tables#24 cm#broch. ; Index

Collection : Lecture notes in artificial intelligence

N° de collection : 0827

Localisation : Colloque 1er étage (BONN)

Nom de la rencontre : first international conference, ICTL '94

Numéro de congrès : 1

Année de la rencontre : 1994

Ville du congrès : Bonn

Pays du congrès : Allemagne RDA

Code ACM : F.3.1 ; F.4.1 ; H.2 ; I.2.3 ; I.2.8

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires