Login / Signup

Adam Jalal

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Knowledge Representation Formalisms
Description Logics
Dl Programs
Theorem Prover

Top Venues

AI*IA
Publications