Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
ObservedAtom
A
GroundAtom with a fixed truth value. |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
ObservedAtom
A
GroundAtom with a fixed truth value. |
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
ObservedAtom
A
GroundAtom with a fixed truth value. |
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
Atom |
GroundAtom
An Atom with only
GroundTerms for arguments. |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
Atom |
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
Atom |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
QueryAtom
An Atom that can be used in a query, but does not have a truth value.
|
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
GroundAtom
An Atom with only
GroundTerms for arguments. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Class and Description |
---|
RandomVariableAtom
A
GroundAtom with a truth value which can be modified. |
Copyright © 2020 University of California, Santa Cruz. All rights reserved.