Finite domain and symbolic inference methods for extensions of first-order logic

被引：0

作者：

Wittocx, Johan ^{[1
]}

机构：

[1] Katholieke Univ Leuven, Dept Comp Sci, B-3001 Louvain, Belgium

来源：

AI COMMUNICATIONS | 2011年 / 24卷 / 01期

关键词：

First-order logic; constraint propagation; grounding; finite model generation;

D O I：

10.3233/AIC-2010-0474

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this dissertation, we investigate various sorts of reasoning on finite structures and theories in the logic FO(.), a rich extension of classical logic with, amongst others, inductive definitions and aggregates. In particular, we study the tasks of constraint propagation, grounding, model revision, and debugging for FO(.).

引用

页码：91 / 93

页数：3

共 50 条

[1] Partial instantiation methods for inference in first-order logic
Hooker, JN
Rago, G
Chandru, V
Shrivastava, A
[J]. JOURNAL OF AUTOMATED REASONING, 2002, 28 (04) : 371 - 396
[2] Partial Instantiation Methods for Inference in First-Order Logic
J. N. Hooker
G. Rago
V. Chandru
A. Shrivastava
[J]. Journal of Automated Reasoning, 2002, 28 : 371 - 396
[3] Partial instantiation methods for inference in first-order logic
[J]. Hooker, J.N., 1600, Kluwer Academic Publishers (28):
[4] Interpolation in Extensions of First-Order Logic
Guido Gherardi
Paolo Maffezioli
Eugenio Orlandelli
[J]. Studia Logica, 2020, 108 : 619 - 648
[5] Interpolation in Extensions of First-Order Logic
Gherardi, Guido
Maffezioli, Paolo
Orlandelli, Eugenio
[J]. STUDIA LOGICA, 2020, 108 (03) : 619 - 648
[6] Type inference for first-order logic
Schubert, A
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 297 - 313
[7] Extensions of First-Order Logic, Maria Manzano
Hans Jürgen Ohlbach
[J]. Journal of Logic, Language and Information, 1998, 7 (3) : 389 - 391
[8] First-order logic on finite trees
Potthoff, A
[J]. TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 125 - 139
[9] First-order modular logic programs and their conservative extensions
Harrison, Amelia
Lierler, Yuliya
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 755 - 770
[10] ON THE COMPACTNESS PROPERTY OF EXTENSIONS OF FIRST-ORDER GODEL LOGIC
Khatami, S. M. A.
Pourmahdian, M.
[J]. IRANIAN JOURNAL OF FUZZY SYSTEMS, 2015, 12 (04): : 101 - 121

← 1 2 3 4 5 →