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 条

[21] Small bisimulations for reasoning about higher-order imperative programs
Koutavas, V
Wand, M
ACM SIGPLAN NOTICES, 2006, 41 (01) : 141 - 152
[22] Research of Semantic Web Model and Reasoning Based on F-Logic
Qin, Guorong
He, Tao
Li, Liping
INFORMATION COMPUTING AND APPLICATIONS, PT I, 2011, 243 : 466 - +
[23] Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic
Niederhauser, Johannes
Brown, Chad E.
Kaliszyk, Cezary
AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 86 - 104
[24] AUDITORY OBJECTS AS HIGHER-ORDER OBJECTS
Santarcangelo, Vincenzo
RIVISTA DI ESTETICA, 2017, (66) : 8 - 21
[25] SPECIFYING THEOREM PROVERS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
FELTY, A
MILLER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 61 - 80
[26] Implementing tactics and tacticals in a higher-order logic programming language
Felty, Amy
Journal of Automated Reasoning, 1993, 11 (01):
[27] IMPLEMENTING TACTICS AND TACTICALS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
FELTY, A
JOURNAL OF AUTOMATED REASONING, 1993, 11 (01) : 43 - 81
[28] ORAKEL: A natural language interface to an F-Logic knowledge base
Cimiano, P
NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, 2004, 3136 : 401 - 406
[29] Higher-order distributed objects
Cejtin, H
Jagannathan, S
Kelsey, R
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (05): : 704 - 739
[30] REASONING ABOUT SIMPLE AND EXHAUSTIVE DEMAND IN HIGHER-ORDER LAZY LANGUAGES
LEUNG, A
MISHRA, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 328 - 351

← 1 2 3 4 5 →