A First-Order Logical Formalization of Multi-Agent Models with Process Algebraic Formulation

Language	English
Type	Proceedings of International Conferences
Authors	N. Izumi, S. Takamatsu, K. Kise, K. Fukunaga
Title	A First-Order Logical Formalization of Multi-Agent Models with Process Algebraic Formulation
Journal	Proc. of the IASTED International Conference on Artificial Intelligence, Expert Systems and Neural Networks
Pages	pp.116-119
Reviewed	Reviewed
Date	August 1996
Key	`Izumi1996_IASTED` (id=933)

Files

Export this publication

Style Output language

Format definition

How to write the definition

Insert a field with braces like {authors}. A part enclosed in [ ... ] is omitted entirely when any field inside it is empty. Available fields:

{authors}{authors_and}{authors_ja}{authors_ja_tight}{authors_en}{authors_en_and}{authors_tight}{first_author}{title}{title_ja}{title_en}{journal}{journal_ja}{journal_en}{book_title}{volume}{number}{series}{presen_id}{pages}{pp}{num_pages}{year}{month}{month_en}{month_short}{ym}{date}{date_ja}{date_en}{publisher}{address}{location}{review}{review_ja}{review_en}{reviewed_mark}{presen_type}{type}{type_label}{doi}{url}{key}{awards}

Output

@inproceedings{Izumi1996_IASTED, author = {Izumi, N. and Takamatsu, S. and Kise, K. and Fukunaga, K.}, title = {A First-Order Logical Formalization of Multi-Agent Models with Process Algebraic Formulation}, booktitle = {Proc. of the IASTED International Conference on Artificial Intelligence, Expert Systems and Neural Networks}, year = 1996, month = aug, pages = {116--119} }

← Back to list