Adam Jalal

According to our database, Adam Jalal authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.

Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013