- Tytuł:
- Extending Logic Programming with Labelled Variables : Model and Semantics
- Autorzy:
-
Calegari, R.
Denti, E.
Dovier, A.
Omicini, A. - Data publikacji:
- 2018
- Słowa kluczowe:
-
formal semantics
labelled systems
labelled variables
logic programming
metainterpretation
situated intelligence - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł