Publicações

Sorted Multi-Adjoint Logic Programs: Termination Results and Applications

AuthID
P-000-D5R

Author(s)

Damasio, CV

Medina, J

Ojeda Acego, M

Editor(es)

Alferes, JJ; Leite, J

Tipo de Documento

Article

Year published

2004

Publicado

in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 3229, Páginas: 252-265 (14)

Conference

9Th European Conference on Logics in Artificial Intelligence (Jelia 04), Date: SEP 27-30, 2004, Location: Lisbon, PORTUGAL, Patrocinadores: Univ Nova Lisboa, Dept Informat, Fac Ciencias & Tecnol, Portuguese Assoc AI, APPIA, FBA, CoLogNET, FCT, Fundacao Calouste Gulbenkian, Opensoft, REWERSE

Indexing