Springe direkt zu Inhalt

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.

Titel
A Top-down Approach to Combining Logics
Verfasser
Dr. C. Benzmüller
Verlag
SciTePress
Ort
Barcelona, Spain
Schlagwörter
Combinations of Logics; Context, Expressive Ontologies, Multi-Agent Systems, Higher-order Logic, Semantic Embedding, Proof Automation
Datum
2013
Quelle/n
Erschienen in
Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART)
Sprache
eng