Dealing with non-termination in DCGs

The objective of this paper is to study a practical approach to deal with non-termination in de nite clause grammars. We focus on two problems, loop and cyclic structure detection and representation, maintaining a tight balance between practical e ciency and operational completeness. In order to gu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Vilares Ferro, M., Cabrero Souto, D., Alonso Pardo, M.A.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Control structures
Definite Clause Grammars
Cyclic Derivations
Cyclic Structures
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23508
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23508
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Control structures
Definite Clause Grammars
Cyclic Derivations
Cyclic Structures
spellingShingle Ciencias Informáticas
Control structures
Definite Clause Grammars
Cyclic Derivations
Cyclic Structures
Vilares Ferro, M.
Cabrero Souto, D.
Alonso Pardo, M.A.
Dealing with non-termination in DCGs
topic_facet Ciencias Informáticas
Control structures
Definite Clause Grammars
Cyclic Derivations
Cyclic Structures
description The objective of this paper is to study a practical approach to deal with non-termination in de nite clause grammars. We focus on two problems, loop and cyclic structure detection and representation, maintaining a tight balance between practical e ciency and operational completeness. In order to guarantee the validity of our conclusions, we rst map our study to a common situated framework, where the e ectiveness of each approach will be examined and, later, compared by running experiments.
format Objeto de conferencia
Objeto de conferencia
author Vilares Ferro, M.
Cabrero Souto, D.
Alonso Pardo, M.A.
author_facet Vilares Ferro, M.
Cabrero Souto, D.
Alonso Pardo, M.A.
author_sort Vilares Ferro, M.
title Dealing with non-termination in DCGs
title_short Dealing with non-termination in DCGs
title_full Dealing with non-termination in DCGs
title_fullStr Dealing with non-termination in DCGs
title_full_unstemmed Dealing with non-termination in DCGs
title_sort dealing with non-termination in dcgs
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23508
work_keys_str_mv AT vilaresferrom dealingwithnonterminationindcgs
AT cabrerosoutod dealingwithnonterminationindcgs
AT alonsopardoma dealingwithnonterminationindcgs
bdutipo_str Repositorios
_version_ 1764820465725997056

Ejemplares similares