loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Max Wisniewski and Christoph Benzmüller

Affiliation: Freie Universität Berlin, Germany

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.

CC BY-NC-ND 4.0

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 3.131.13.194

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; ISSN 2184-433X, SciTePress, 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},
issn={2184-433X},
}

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
IS - 2184-433X
AU - Wisniewski, M.
AU - Benzmüller, C.
PY - 2016
SP - 281
EP - 286
DO - 10.5220/0005824702810286
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic