Search results for: Sébastien Ferré
Lecture Notes in Computer Science > Conceptual Structures: Common Semantics for Sharing Knowledge > Theoretical Foundations > 166-180
Lecture Notes in Computer Science > Conceptual Structures for Discovering Knowledge > Accepted Papers > 77-90
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development > 191-215
Lecture Notes in Computer Science > Conceptual Structures: Leveraging Semantic Technologies > Accepted Papers > 159-172
Lecture Notes in Computer Science > Conceptual Structures: Knowledge Visualization and Reasoning > 217-230
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Database Systems (DOOD) > 1033-1047
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Contributed Papers > 782-791
Lecture Notes in Computer Science > Conceptual Structures: Broadening the Base > Conceptual Structures for Data and Knowledge Bases > 187-201
Lecture Notes in Computer Science > Conceptual Structures: Logical, Linguistic, and Computational Issues > Contextual Logic and Formal Concept Analysis > 371-384
Lecture Notes in Computer Science > Conceptual Structures: Integration and Interfaces > Logical and Mathematical Foundations > 299-313