HIGHER-ORDER LOGIC PROGRAMMING

被引：0

作者：

MILLER, DA

NADATHUR, G

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

下载

页码：851 / 851

页数：1

共 50 条

[31] Superposition for Higher-Order Logic
Alexander Bentkamp
Jasmin Blanchette
Sophie Tourret
Petar Vukmirović
Journal of Automated Reasoning, 2023, 67
[32] Higher-order computational logic
Lloyd, JW
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
[33] CONNECTIONS AND HIGHER-ORDER LOGIC
ANDREWS, PB
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
[34] Superposition for Higher-Order Logic
Bentkamp, Alexander
Blanchette, Jasmin
Tourret, Sophie
Vukmirovic, Petar
JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
[35] Higher-Order Coalition Logic
Boella, Guido
Gabbay, Dov M.
Genovese, Valerio
van der Torre, Leendert
ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
[36] A logic of higher-order preferences
Jiang, Junli
Naumov, Pavel
SYNTHESE, 2024, 203 (06)
[37] HILOG - A 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMMING CONSTRUCTS
CHEN, WD
KIFER, M
WARREN, DS
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1090 - 1114
[38] GENERAL-MODEL THEORETIC SEMANTICS FOR HIGHER-ORDER HORN LOGIC PROGRAMMING
BAI, M
BLAIR, HA
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 320 - 331
[39] 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
[40] HAUPTSATZ FOR HIGHER-ORDER MODAL LOGIC
NISHIMURA, H
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 744 - 751