Experience: Palo Alto Networks · Education: Carnegie Mellon University · Location: San Francisco Bay Area · 500+ connections on LinkedIn. View Laleh ...
Assignee: Palo Alto Networks, Inc. Inventors: Seyed Amir Yahyavi Firouz Abadi, Saman Amirpour Amraii, Laleh Roosta Pour. prev 1 2 3 4 5 6 7 … next.
... Farsiniamarj (Thesis); Laleh Roosta Pour (Thesis); Mina Kazemi Zanjani (Thesis); Myriam Kharma (Thesis). Undergrad. Anna Gavrilova; Abdellatif Olama; Amineh ...
Laleh Roosta Pour · Volker Haarslev. We present a hybrid tableau calculus for the description logic SHIQ that decides ABox consistency and uses ...
Laleh Roosta Pour and Volker Haarslev. Concordia University, Montreal, Quebec, Canada. Abstract. We present a hybrid tableau calculus for the description ...
Oct 7, 2024 · Laleh Roosta Pour, Volker Haarslev: Algebraic Reasoning for SHIQ.
Algebraic tableau reasoning for the description logic SHOQ
www.researchgate.net › publication › 22...
Oct 22, 2024 · Laleh Roosta Pour · Volker Haarslev. We present a hybrid tableau calculus for the description logic SHIQ that decides ABox ...
Jun 1, 2013 · Laleh Roosta Pour. Myron Gutmann. Lina Sawalha. Joseph Halpern. Chris Dyer. Akhtarur Siddique. Kevin Skadron. Jean-Luc Gaudiot. Afroza Sultana.
Seyed Amir Yahyavi Firouz Abadi, Saman Amirpour Amraii, Laleh Roosta Pour. Filed: 29 Apr 21 · Utility. 65cjahjpz8o4rqczlgo 5xmu5n. 5 Sep 23. A URL ...