MICAI 2004: Advances in Artificial Intelligence

DOI10.1007/B96521zbMath1198.68116DBLPconf/micai/2004OpenAlexW2484412492WikidataQ56581414 ScholiaQ56581414MaRDI QIDQ5901927

Mauricio Osorio, Veronica Borja, José Ramón Enrique Arrazola Ramírez

Publication date: 12 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96521

zbMATH Keywords

WFSmodal logicsstable semanticsFOUR

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: MICAI 2004: Advances in Artificial Intelligence