LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners

被引：9

作者：

Wisniewski, Max ^{[1
]}

Steen, Alexander ^{[1
]}

Benzmueller, Christoph ^{[1
]}

机构：

[1] Free Univ Berlin, Dept Math & Comp Sci, Berlin, Germany

来源：

INTELLIGENT COMPUTER MATHEMATICS, CICM 2015 | 2015年 / 9150卷

关键词：

D O I：

10.1007/978-3-319-20615-8_22

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed.-calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause, and search level). Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means for the integration of external reasoners.

引用

页码：325 / 330

页数：6

共 50 条

[31] HIGHER-ORDER PARTIAL VELOCITIES IN HIGHER-ORDER NONLINEAR NONHOLONOMIC SYSTEMS
HE, YQ
INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1991, 26 (05) : 455 - 459
[32] HIGHER-ORDER CONSERVATION-LAWS AND A HIGHER-ORDER NOETHERS THEOREM
CHEUNG, WS
ADVANCES IN APPLIED MATHEMATICS, 1987, 8 (04) : 446 - 485
[33] Higher-Order Lagrangian Equations of Higher-Order Motive Mechanical System
ZHAO Hong-Xia MA Shan-Jun SHI Yong College of Physics and Communication Electronics
Communications in Theoretical Physics, 2008, 49 (02) : 479 - 481
[34] Calculation of higher-order moments by higher-order tensor renormalization group
Morita, Satoshi
Kawashima, Naoki
COMPUTER PHYSICS COMMUNICATIONS, 2019, 236 : 65 - 71
[35] Higher-order Lagrangian equations of higher-order motive mechanical system
Zhao Hong-Xia
Ma Shan-Jun
Shi Yong
COMMUNICATIONS IN THEORETICAL PHYSICS, 2008, 49 (02) : 479 - 481
[36] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
Kobayashi, Naoki
ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
[37] Higher-order lazy narrowing calculus: A solver for higher-order equations
Ida, T
Marin, M
Suzuki, T
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
[38] HIGHER-ORDER EFFICIENCY CONDITIONS VIA HIGHER-ORDER TANGENT CONES
Do Van Luu
NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 2014, 35 (01) : 68 - 84
[39] Higher-Order Components Dictate Higher-Order Contagion Dynamics in Hypergraphs
Kim, Jung -Ho
Goh, K. -, I
PHYSICAL REVIEW LETTERS, 2024, 132 (08)
[40] HIGHER-ORDER DIFFERENTIAL-EQUATIONS AND HIGHER-ORDER LAGRANGIAN MECHANICS
CRAMPIN, M
SARLET, W
CANTRIJN, F
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1986, 99 : 565 - 587

← 1 2 3 4 5 →