A Top-down Approach to Combining Logics

Dr. C. Benzmüller— 2013

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.

TitelA Top-down Approach to Combining Logics
VerfasserDr. C. Benzmüller
OrtBarcelona, Spain
ThemaCombinations of Logics; Context, Expressive Ontologies, Multi-Agent Systems, Higher-order Logic, Semantic Embedding, Proof Automation
Erschienen inProceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART)