|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 8 gevonden artikelen
| Titel: |
Actions Over a Constructive Semantics for Description Logics |
| Auteur: |
Bozzato, Loris Ferrari, Mauro Villa, Paola |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 96 (2009) nr. 3 pagina's 253-269 |
| Jaar: |
2009-12-23 |
| Inhoud: |
Following the approaches given in recent works about action languages over description logics, we propose an action formalism based on a constructive information terms semantics for ALC. We discuss how a notion of state can be naturally encoded by this semantics. We address the problems of determining executability of an action, building the state obtained by an action application and checking its consistency: we present an algorithm to solve the latter two problems. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 8 gevonden artikelen
| volgende >> |