Maurizio Lenzerini

Latest

• textscLocal++: A C++ Framework for Local Search Algorithms
• textscLocal++: A C++ Framework for Combinatorial Search Problems
• textscLocal++: A C++ Framework for Local Search Algorithms
• $mathcalAL$-log: integrating datalog and description logics
• Adding epistemic operators to description logics
• Esercizi di progettazione di programmi in C++
• Fondamenti della progettazione dei programmi. Princìpi, tecniche e loro applicazioni in C++
• Reasoning in Description Logics
• Deduction in concept languages: From subsumption to instance checking