Static Knowledge Representation of Multi-Agent System s Specification by Description Logic

Haiyan Che, Jigui Sun. Static Knowledge Representation of Multi-Agent System s Specification by Description Logic. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

@inproceedings{CheS06,
  title = {Static Knowledge Representation of Multi-Agent System s Specification by Description Logic},
  author = {Haiyan Che and Jigui Sun},
  year = {2006},
  url = {http://www.ceur-ws.org/Vol-189/submission_19.pdf},
  tags = {logic},
  researchr = {https://researchr.org/publication/CheS06},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  editor = {Bijan Parsia and Ulrike Sattler and David Toman},
  volume = {189},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}