Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 545p.
Cote : 00018473
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
[-] 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 # ...
[+] 68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx
Localisation : Colloque 1er étage (BONN)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 611 p.
Cote : 00024189
intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps
68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 508 p.
Cote : 00029331
logique # interpolation # logique modale # logiques intermédiaires # logique intuitive # définissabilité # théorème de Craig # théorème de Beth
03-02 ; 03C40 ; 03B45 ; 03B55
Localisation : Ouvrage RdC (GABB)
English