Login / Signup
Seemran Mishra
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 6
Top Topics
Logic Programs
Stable Models
Resource Selection
Answer Set Programming
Top Venues
CoRR
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
CITS
ICLP Technical Communications
</>
Publications
</>
Jorge Fandinno
,
Seemran Mishra
,
Javier Romero
,
Torsten Schaub
Answer Set Programming Made Easy.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
(2023)
Jorge Fandinno
,
Seemran Mishra
,
Javier Romero
,
Torsten Schaub
Answer Set Programming Made Easy.
CoRR
(2021)
Seemran Mishra
Product Configuration in Answer Set Programming.
ICLP Technical Communications
(2021)
Seemran Mishra
,
Sambit Kumar Mishra
,
Bibhudatta Sahoo
,
Mohammad S. Obaidat
,
Deepak Puthal
First Score Auction for Pricing-Based Resource Selection in Vehicular Cloud.
CITS
(2018)
Seemran Mishra
,
Abhaya C. Nayak
Causal Basis for Probabilistic Belief Change: Distance vs. Closeness.
MIWAI
(2016)
Seemran Mishra
,
Young Choon Lee
,
Abhaya C. Nayak
Distributed Genetic Algorithm on GraphX.
Australasian Conference on Artificial Intelligence
(2016)