loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Christoph Benzmüller

Affiliation: Freie Universität Berlin, Germany

ISBN: 978-989-8565-39-6

Keyword(s): Combination of Logics, Context, Expressive Ontologies, Multi-agent Systems, Higher-order Logic, Semantic Embedding, Proof Automation.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Enterprise Ontologies ; Formal Methods ; Knowledge Engineering and Ontology Development ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Multi-Agent Systems ; Ontologies ; Simulation and Modeling ; Software Engineering ; Symbolic Systems

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.212.222.217

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.