Temporal Logic Programs with Temporal Description Logic Axioms
- Cabalar, P.
- Schaub, T.
ISSN: 1611-3349, 0302-9743
Año de publicación: 2019
Volumen: 11560 LNCS
Páginas: 174-186
Tipo: Capítulo de Libro
ISSN: 1611-3349, 0302-9743
Año de publicación: 2019
Volumen: 11560 LNCS
Páginas: 174-186
Tipo: Capítulo de Libro