Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
On the social dynamics of ontological commitments
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Hi-index | 0.00 |