Skip to the text

Index

158 terms, 160 places in the text.

$C_1$ - $C_1$ case
106
$C_1$ - $C_1$ -IRc1c case
112
$C_1$ - $C_2$ case
102
$C_1$ - $C_2$ -localIR case
104
$C_1A_1$ - $A_1A_2$ case
109
$C_1A_1$ - $C_1A_2$ case
107
$C_1A_1$ - $C_1A_2$ -2nolocalIR
108
$C_1A_1$ - $C_1A_2$ -IRc1c case
112
$C_1A_1$ - $C_2A_1$ case
110
$C_1A_1$ - $C_2A_1$ -IRa1c case
113
$C_1A_1$ - $C_2A_2$ -localIR case
104
$C_1A_1$ - $C_2C_1$ case
109

a-atoms
33
a-segment
33
admissible ground atoms
44
admissible ground instance
5
admissible ground instances
6
antecedence
5
arity
5
atomic conditional
27
atomic counting function
39
atomic knowledge base
27
atomic vf-pair
39

balanced (conditional structure)
115
balanced knowledge base
9
balanced sharing (conditional contribution)
115
balanced use (conditional contribution)
115

d-atom
80
derive
11
derived
11
difference
36

equivalence class of possible world
16
equivalence classes of possible worlds
16

FOPCL
5
FOPCL conditionals
5
FOPCL knowledge base
5
full
102
full CA-block
102
full CA-table
102

generation (of a CS)
19
ground atom
5
ground instance
5
grounding
5
grounding sum
7
grounding table
87
groundings
6

Herbrand base
7

identical
36
imbalanced (conditional structure)
115
imbalanced knowledge base
9
imbalanced sharing
9
imbalanced sharing (conditional structure)
115
imbalanced sharing of combinations of ground atoms
8
imbalanced sharing of ground atoms
8
imbalanced use
9
imbalanced use (conditional structure)
115
imbalanced use of combinations of ground atoms
9
imbalanced use of ground atoms
9
independent
36
indexed vf-pair
91
instantiation restrictions
5

knowledge base
5
KReator
18

language
5
local instantiation restriction
44

maximum entropy model
8
maximum ordered sums
31
method of reduction of c-segments
63
mulitple of $[n]$
32

non-local instantiation restriction
44

op-conditional
6
overlap
36
overlapping
36

parametric uniformity
8
partial conditional structure
96
partial MOS
31
PCI
5
possible world
11
possible world segment
33
predicate
5
probability
5
probability distribution
8

reduced set of c-segments
73
reduced vf truth table
51
reduction of c-segments
63
representative
71

scalar multiplication
31
segment
33
self-consistent
6
semantical combination function
37
semantical combination of $\omega _1$ and $\omega _2$
36
set of a-atoms counting $c$
64
set of a-segments
33
set of all atomic conditionals
27
set of c-atoms counted by $a$
53
set of c-segments
33
set of common appearances
30
set of maximum ordered sums
31
set of possible world segments
33
set of redundant segment
69
set of representatives
71
signature
5
sort
5

traditional counting functions
13

variable
5
variable type instantiation restrictions
43
vf addition
30
vf skalar multiplication
31
vf-pair
13
vf-pair addition
30