Sorted Multi-Adjoint Logic Programs: Termination Results and Applications

AuthID
 P-000-D5R
3
Author(s)
Medina, J
·
Ojeda Acego, M
2
Editor(s)
Alferes, JJ; Leite, J
Document Type
Article
Year published
2004
Published
in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 3229, Pages: 252-265 (14)
Conference
9Th European Conference on Logics in Artificial Intelligence (Jelia 04), Date: SEP 27-30, 2004, Location: Lisbon, PORTUGAL, Sponsors: Univ Nova Lisboa, Dept Informat, Fac Ciencias & Tecnol, Portuguese Assoc AI, APPIA, FBA, CoLogNET, FCT, Fundacao Calouste Gulbenkian, Opensoft, REWERSE
Indexing
Wos®
Scopus®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-22944441639
Wos: WOS:000224602200022
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service