Publication Details

Formalism for the Systems With Roles

BURGER, T.; HRUŠKA, T. Formalism for the Systems With Roles. 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. p. 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., Ph.D.
Hruška Tomáš, prof. Ing., CSc. (DIFS)

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

ISBN

978-1-57735-254-9

Publisher

American Association for Artificial Intelligence

Place

Menlo Park, California

BibTeX

@inproceedings{BUT18287,
  author="Tomáš {Burger} and Tomáš {Hruška}",
  title="Formalism for the Systems With Roles",
  booktitle="papers from the AAAI Fall Symposium",
  year="2005",
  series="Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems",
  pages="26--30",
  publisher="American Association for Artificial Intelligence",
  address="Menlo Park, California",
  isbn="978-1-57735-254-9"
}