MiG

A Top-down Approach to Combining Logics

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
VerfasserC. Benzmüller
VerlagSciTePress
OrtBarcelona, Spain
ThemaCombinations of Logics; Context, Expressive Ontologies, Multi-Agent Systems, Higher-order Logic, Semantic Embedding, Proof Automation
Datum2013
Quelle/n
Erschienen inProceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART)
Spracheeng
ArtText