Empirical Study of Logic-Based Modules: Cheap Is Cheerful

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov

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

Name	Lecture Notes in Computer Science

Cite this

@inproceedings{22d9eea3a9964774b7efbdff22f8ff0d,

title = "Empirical Study of Logic-Based Modules: Cheap Is Cheerful",

author = "Vescovo, {Chiara Del} and Pavel Klinov and Bijan Parsia and Uli Sattler and Thomas Schneider and Dmitry Tsarkov",

year = "2013",

month = nov,

language = "English",

volume = "8218",

series = "Lecture Notes in Computer Science",

pages = "84--100",

booktitle = "Proc. of ISWC-2013",

}