1 citations · 1 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014
An Intuitive Procedure for Converting PDA to CFG, by Construction of Single State PDA
Arjun Bhardwaj, N. S. Narayanaswamy
We present here the proof for an alternative procedure to convert a Push Down Automata (PDA) into a Context Free Grammar (CFG). The procedure involves intermediate conversion to a…
cs.AI2014★ 1 cited
GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ
Arjun Bhardwaj, Sangeetha
Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressive r…