loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Max Wisniewski and Christoph Benzmüller

Affiliation: Freie Universität Berlin, Germany

ISBN: 978-989-758-172-4

Keyword(s): ATP, Multi-Agent Systems, Blackboard Architecture, Concurrent Reasoning.

Related Ontology Subjects/Areas/Topics: Agent Models and Architectures ; Agent Platforms and Interoperability ; Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Cooperation and Coordination ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Multi-Agent Systems ; Software Engineering ; Symbolic Systems

Abstract: Agent architectures and parallelization are, with a few exceptions, rarely to encounter in traditional automated theorem proving systems. This situation is motivating our ongoing work in the higher-order theorem prover Leo-III . In contrast to its predecessor – the well established prover LEO-II – and most other modern provers, Leo-III is designed from the very beginning for concurrent proof search. The prover features a multiagent blackboard architecture for reasoning agents to cooperate and to parallelize proof construction on the term, clause and search level.

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.206.175.155

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:
Wisniewski M. and Benzmüller C. (2016). Is It Reasonable to Employ Agents in Automated Theorem Proving?.In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-172-4, pages 281-286. DOI: 10.5220/0005824702810286

@conference{icaart16,
author={Max Wisniewski and Christoph Benzmüller},
title={Is It Reasonable to Employ Agents in Automated Theorem Proving?},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2016},
pages={281-286},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005824702810286},
isbn={978-989-758-172-4},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Is It Reasonable to Employ Agents in Automated Theorem Proving?
SN - 978-989-758-172-4
AU - Wisniewski M.
AU - Benzmüller C.
PY - 2016
SP - 281
EP - 286
DO - 10.5220/0005824702810286

Login or register to post comments.

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