A Top-down Approach to Combining Logics

Christoph Benzmüller

2013

Abstract

The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.

Paper Citation

in Harvard Style

Benzmüller C. (2013). A Top-down Approach to Combining Logics . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 346-351. DOI: 10.5220/0004324803460351

in Bibtex Style

@conference{icaart13,
author={Christoph Benzmüller},
title={A Top-down Approach to Combining Logics},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2013},
pages={346-351},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004324803460351},
isbn={978-989-8565-39-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Top-down Approach to Combining Logics
SN - 978-989-8565-39-6
AU - Benzmüller C.
PY - 2013
SP - 346
EP - 351
DO - 10.5220/0004324803460351