|
Conferences in DBLP
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. [Citation Graph (, )][DBLP]
Belief Merging using Partial Satisfactibility: cases studies. [Citation Graph (, )][DBLP]
A Chart Parser Implementation in Answer-Set Programming. [Citation Graph (, )][DBLP]
Sistema de Consultas en Lenguaje Natural para Bases de Datos. [Citation Graph (, )][DBLP]
Expressing the Stable Semantics in Terms of the Pstable Semantics. [Citation Graph (, )][DBLP]
Implementing Pstable. [Citation Graph (, )][DBLP]
Minimal Generalized Answer-Sets and their Applications. [Citation Graph (, )][DBLP]
An Axiomatization of G'3. [Citation Graph (, )][DBLP]
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. [Citation Graph (, )][DBLP]
|