Vol-2395⫷ Vol-2396 ⫸Vol-2397
urn:nbn:de:0074-2396-0


Vol-2396/paper21⫷Vol-2396/paper1⫸Vol-2396/paper23

Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features