Automated reasoning about metric and topology

被引：7

作者：

Hustadt, Ullrich ^{[1
]}

Tishkovsky, Dmitry

Wolter, Frank

Zakharyaschev, Michael

机构：

[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England

[2] Univ London Birkbeck Coll, Sch Comp Sci & Informat Syst, London WC1E 7HX, England

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/11853886_44

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：490 / 493

页数：4

共 50 条

[1] Automated reasoning about elementary point-set topology
Wick, Cynthia A., 1600, (05):
[2] AUTOMATED REASONING ABOUT MACHINES
GELSEY, A
ARTIFICIAL INTELLIGENCE, 1995, 74 (01) : 1 - 53
[3] Metric Reasoning About λ-Terms: The General Case
Crubille, Raphaelle
Dal Lago, Ugo
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 341 - 367
[4] Metric Reasoning About λ-Terms: The Affine Case
Crubille, Raphaelle
Dal Lago, Ugo
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 633 - 644
[5] AUTOMATED REASONING ABOUT AN UNCERTAIN DOMAIN
DASILVA, FS
ROBERTSON, D
CHUNG, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 141 - 145
[6] AUTOMATED REASONING ABOUT CUBIC CURVES
PADMANABHAN, R
MCCUNE, W
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : 17 - 26
[7] Automated Reasoning About Key Sets
Hannula, Miika
Link, Sebastian
AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 47 - 63
[8] A hybrid logic for reasoning about knowledge and topology
Heinemann B.
Journal of Logic, Language and Information, 2008, 17 (1) : 19 - 41
[9] Automated Formal Reasoning About AWS Systems
Cook, Byron
PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 7 - 7
[10] AN ENVIRONMENT FOR AUTOMATED REASONING ABOUT PARTIAL FUNCTIONS
BASIN, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 101 - 110