Publikation: Determining Action Reversibility in STR...
Stammdaten
| Titel: | Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers |
| Untertitel: | |
| Kurzfassung: | |
| Schlagworte: | General Earth and Planetary Sciences, General Engineering, General Environmental Science |
| Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
| Erscheinungsdatum: | 04.08.2022 (Online) |
| Erschienen in: | Proceedings 38th International Conference on Logic Programming ( Open Publishing Association; Y. Lierler, J. Morales, C. Dodaro, V. Dahl, M. Gebser, T. Tekle ) |
| Titel der Serie: | EPTCS |
| Bandnummer: | 364 |
| Erstveröffentlichung: | Ja |
| Version: | 364 |
| Seite: | S. 156 - 158 |
Versionen
| Keine Version vorhanden |
| Erscheinungsdatum: | 04.08.2022 |
| ISBN (e-book): | - |
| eISSN: | 2075-2180 |
| DOI: | http://dx.doi.org/10.4204/eptcs.364.21 |
| Homepage: | - |
| Open Access |
|
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Peer Reviewed |
|
| Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen |
|
Kooperationen
| Organisation | Adresse | ||
|---|---|---|---|
Czech Technical University in Prague
|
CZ - 16636 Prague 6 |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte: | Keine verknüpften Projekte vorhanden |
| Publikationen: | Keine verknüpften Publikationen vorhanden |
| Veranstaltungen: |
|
| Vorträge: |
|