Formal Features of Compositionality
Journal of Logic, Language and Information
A DPLL-Based Calculus for Ground Satisfiability Modulo Theories
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
First order LUB approximations: characterization and algorithms
Artificial Intelligence - Special volume on reformulation
Fundamental study: The multiple facets of the canonical direct unit implicational basis
Theoretical Computer Science
Approximate knowledge compilation: the first order case
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
An Axiomatisation of a Pure Calculus of Names
Studia Logica
Hi-index | 0.00 |