Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, ElPaso, Texas, USA, December 2 - 4, 1999 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1730 : Lecture notes in artificial iintelligence |
| Schlagworte: |
Inteligencia artificial (computacao)
> Kunstmatige intelligentie
> Logica matematica
> Logisch programmeren
> Programmation logique - Congrès
> Raisonnement - Congrès
> Raisonnement non-monotone - Congrès
> Redeneren
> deduction automatique
> logique non classique
> programmation en logique
> programmation sous contrainte
> raisonnement non monotone
> representation connaissance
> semantique
> Logic programming
> Nonmonotonic reasoning
> Logische Programmierung
> Nichtmonotones Schließen
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!