ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann. ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. In Matthew W. Crocker, Jörg H. Siekmann, editors, Resource-Adaptive Cognitive Processes. Cognitive Technologies, pages 389-423, Springer, 2011. [doi]

@incollection{AutexierBDS11,
  title = {ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System},
  author = {Serge Autexier and Christoph Benzmüller and Dominik Dietrich and Jörg H. Siekmann},
  year = {2011},
  doi = {10.1007/978-3-540-89408-7_17},
  url = {http://dx.doi.org/10.1007/978-3-540-89408-7_17},
  researchr = {https://researchr.org/publication/AutexierBDS11},
  cites = {0},
  citedby = {0},
  pages = {389-423},
  booktitle = {Resource-Adaptive Cognitive Processes},
  editor = {Matthew W. Crocker and Jörg H. Siekmann},
  series = {Cognitive Technologies},
  publisher = {Springer},
  isbn = {978-3-540-89407-0},
}