Saadat Anwar
- A contact binary satellite of the asteroid (152830) Dinkinesh
2024/05/29 by Harold F. Levison, S. Marchi, Simone Marchi +101 · 1 voice · 8 citations
Physics and Astronomy · #Astro and Planetary Science #Planetary Science and Exploration #Stellar, planetary, and galactic studies #astro-ph.EP
- Encoding Petri Nets in Answer Set Programming for Simulation Based\n Reasoning
2013/06/14 by Saadat Anwar, Anwar, Saadat, Chitta Baral +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies