F-LOGIC - A HIGHER-ORDER LANGUAGE FOR REASONING ABOUT OBJECTS, INHERITANCE, AND SCHEME

被引：0

作者：

KIFER, M

LAUSEN, G

机构：

来源：

PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA | 1989年 / 18卷

关键词：

D O I：

10.1145/67544.66939

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：134 / 146

页数：13

共 50 条

[41] A BOTTOM-UP INTERPRETER FOR A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
HOA, AHB
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 326 - 340
[42] On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
Cimini, Matteo
FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2020, 2020, 12073 : 106 - 123
[43] THF0 -: The core of the TPTP language for higher-order logic
Benzmueller, Christoph
Rabe, Florian
Sutcliffe, Geoff
AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 491 - +
[44] Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences
Charalambidis, Angelos
Rondogiannis, Panos
Troumpoukis, Antonis
PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 24 - 37
[45] Verifying termination and reduction properties about higher-order logic programs
Pientka, B
JOURNAL OF AUTOMATED REASONING, 2005, 34 (02) : 179 - 207
[46] Higher-order logic programming: An expressive language for representing qualitative preferences
Charalambidis, Angelos
Rondogiannis, Panos
Troumpoukis, Antonis
SCIENCE OF COMPUTER PROGRAMMING, 2018, 155 : 173 - 197
[47] Extending the TPTP language to higher-order logic with automated parser generation
Van Gelder, Allen
Sutcliffe, Geoff
AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 156 - 161
[48] THE DEVELOPMENT OF HIGHER-ORDER REASONING IN ADOLESCENCE
STERNBERG, RJ
DOWNING, CJ
CHILD DEVELOPMENT, 1982, 53 (01) : 209 - 221
[49] Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Brigitte Pientka
Journal of Automated Reasoning, 2005, 34 : 179 - 207
[50] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
Kobayashi, Naoki
Lozes, Etienne
Bruse, Florian
ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259

← 1 2 3 4 5 →