Combining Logic and Probability: Languages, Algorithms and Applications
Light, charges and brains
Overview of Automated Reasoning
Analyzing Meaning: An Introduction to Semantics and Pragmatics
Knowledge-Based Applications Systems
Detecting and Correcting Conservativity Principle Violations in Ontology-to-Ontology Mappings
Mathematics for Computer Science
Materiale didattico Modulo 2
Mathematics for Computer Science
The "yacaree" approach to association rules