Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMICAI 2006: Apizaco, Mexico - LoLaCOM
- Rogelio Dávila, Mauricio Osorio, Claudia Zepeda:
Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th - 14th November 2006. CEUR Workshop Proceedings 220, CEUR-WS.org 2006 - José Manuel Soto Corzo, David Díaz, José Antonio Cruz:
Sistema de Consultas en Lenguaje Natural para Bases de Datos. - Ismael Sandoval, Rogelio Dávila:
A Chart Parser Implementation in Answer-Set Programming. - Mauricio Osorio, Alejandra López:
Expressing the Stable Semantics in Terms of the Pstable Semantics. - Alejandra López:
Implementing Pstable. - Mauricio Osorio, Claudia Zepeda:
Minimal Generalized Answer-Sets and their Applications. - Pilar Pozos Parra, Verónica Borja Macías:
Belief Merging using Partial Satisfactibility: cases studies. - Guillermo De Ita Luna, Meliza Contreras González:
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. - Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada:
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. - Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada:
An Axiomatization of G'3.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-11 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
