Publication Details

Formalism for the Systems with Roles

BURGER Tomáš and HRUŠKA Tomáš. Formalism for the Systems With Roles. In: papers from the AAAI Fall Symposium. Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems. Menlo Park, California: American Association for Artificial Intelligence, 2005, pp. 26-30. ISBN 978-1-57735-254-9.

Czech title

Formalismus pro systémy s rolemi

Type

conference paper

Language

english

Authors

Burger Tomáš, Mgr. (DIFS FIT BUT)
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT)

Keywords

inheritance, roles

Abstract

In this paper we preset a mathematical formalism for the so called systmes with roles. We sketch the main problems and challenges for the research to be solved and we develop the generic alegebraic structure, called "lattice with inheritance" and use it to describe the system with roles and to deal with so called message dispatch problem.

Published

2005

Pages

26-30

Proceedings

papers from the AAAI Fall Symposium

Series

Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems

Conference

AAAI 2005 Fall Symposia, Arlington, Virginia, US

ISBN

978-1-57735-254-9

Publisher

American Association for Artificial Intelligence

Place

Menlo Park, California, US

BibTeX

@INPROCEEDINGS{FITPUB7967,
   author = "Tom\'{a}\v{s} Burger and Tom\'{a}\v{s} Hru\v{s}ka",
   title = "Formalism for the Systems with Roles",
   pages = "26--30",
   booktitle = "papers from the AAAI Fall Symposium",
   series = "Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems",
   year = 2005,
   location = "Menlo Park, California, US",
   publisher = "American Association for Artificial Intelligence",
   ISBN = "978-1-57735-254-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7967"
}