An Extension of BDICTL with Functions and Components

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'02)
Publisher	Springer
Pages	115-129
Number of pages	15
Publication status	Published - 2002

Cite this

@inproceedings{a568a35368cb4e15b2be1e2f3f051d31,

title = "An Extension of BDICTL with Functions and Components",

author = "M.M. Dastani and \{van der Torre\}, L.",

year = "2002",

language = "Undefined/Unknown",

pages = "115--129",

booktitle = "Proceedings of the 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'02)",

publisher = "Springer",

}