Isotypeness of Models and Knowledge Bases Equivalence

Elena Aladova; Eugene Plotkin; Tatjana Plotkin

doi:10.1007/s11786-013-0166-5

Isotypeness of Models and Knowledge Bases Equivalence

Elena Aladova, Eugene Plotkin, Tatjana Plotkin

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Abstract

The aim of this work is to study the notions of elementarily equivalent and isotypic knowledge bases. We prove that isotypic knowledge bases are informationally equivalent.

Original language	English
Pages (from-to)	421-438
Number of pages	18
Journal	Mathematics in Computer Science
Volume	7
Issue number	4
DOIs	https://doi.org/10.1007/s11786-013-0166-5
State	Published - Dec 2013

Keywords

Algebra
Elementary equivalence
Isotypic knowledge bases
Knowledge base
Model

Access to Document

10.1007/s11786-013-0166-5

Cite this

@article{e8c553cd0dd84c56bf87488527fc4f3d,

title = "Isotypeness of Models and Knowledge Bases Equivalence",

abstract = "The aim of this work is to study the notions of elementarily equivalent and isotypic knowledge bases. We prove that isotypic knowledge bases are informationally equivalent.",

keywords = "Algebra, Elementary equivalence, Isotypic knowledge bases, Knowledge base, Model",

author = "Elena Aladova and Eugene Plotkin and Tatjana Plotkin",

year = "2013",

month = dec,

doi = "10.1007/s11786-013-0166-5",

language = "אנגלית",

volume = "7",

pages = "421--438",

journal = "Mathematics in Computer Science",

issn = "1661-8270",

publisher = "Birkhauser Verlag Basel",

number = "4",

}

TY - JOUR

T1 - Isotypeness of Models and Knowledge Bases Equivalence

AU - Aladova, Elena

AU - Plotkin, Eugene

AU - Plotkin, Tatjana

PY - 2013/12

Y1 - 2013/12

N2 - The aim of this work is to study the notions of elementarily equivalent and isotypic knowledge bases. We prove that isotypic knowledge bases are informationally equivalent.

AB - The aim of this work is to study the notions of elementarily equivalent and isotypic knowledge bases. We prove that isotypic knowledge bases are informationally equivalent.

KW - Algebra

KW - Elementary equivalence

KW - Isotypic knowledge bases

KW - Knowledge base

KW - Model

UR - http://www.scopus.com/inward/record.url?scp=84895900835&partnerID=8YFLogxK

U2 - 10.1007/s11786-013-0166-5

DO - 10.1007/s11786-013-0166-5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84895900835

SN - 1661-8270

VL - 7

SP - 421

EP - 438

JO - Mathematics in Computer Science

JF - Mathematics in Computer Science

IS - 4

ER -

Isotypeness of Models and Knowledge Bases Equivalence

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this