LMT: A lightweight logical framework for multi-agent systems

John Newsome Crossley; Lito Cruz

doi:10.3233/978-1-61499-105-2-118

LMT: A lightweight logical framework for multi-agent systems

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

Original language	English
Title of host publication	Advances in Knowledge-Based and Intelligent Information and Engineering Systems
Editors	Manuel Grana, Carlos Toro, Jorge Posada, Robert J Howlett, Lakhmi C Jain
Place of Publication	Amsterdam Netherlands
Publisher	IOS Press
Pages	118 - 127
Number of pages	10
ISBN (Print)	9781614991045
DOIs	https://doi.org/10.3233/978-1-61499-105-2-118
Publication status	Published - 2012
Event	International Conference on Knowledge-Based and Intelligent Information and Engineering Systems 2012 - San Sebastian, Spain Duration: 10 Sept 2012 → 12 Sept 2012 Conference number: 16th http://kes2012.kesinternational.org/ https://link.springer.com/book/10.1007/978-3-642-37343-5 (Proceedings)

Conference

Conference	International Conference on Knowledge-Based and Intelligent Information and Engineering Systems 2012
Abbreviated title	KES 2012
Country/Territory	Spain
City	San Sebastian
Period	10/09/12 → 12/09/12
Internet address	http://kes2012.kesinternational.org/ https://link.springer.com/book/10.1007/978-3-642-37343-5 (Proceedings)

Access to Document

10.3233/978-1-61499-105-2-118

1 Citations
1 Article

Logics Modulo Theories: A logical framework for multi-agent systems
Cruz, R. & Crossley, J. N., 2015, In: Logic Journal of the IGPL. 23, 4, p. 553 - 583 31 p.
Research output: Contribution to journal › Article › Research › peer-review

1 Citation (Scopus)

Cite this

@inproceedings{eafd0329e645490cbb78640f89ed052c,

title = "LMT: A lightweight logical framework for multi-agent systems",

author = "Crossley, \{John Newsome\} and Lito Cruz",

year = "2012",

doi = "10.3233/978-1-61499-105-2-118",

language = "English",

isbn = "9781614991045",

pages = "118 -- 127",

editor = "Manuel Grana and Carlos Toro and Jorge Posada and Howlett, \{Robert J\} and Jain, \{Lakhmi C\}",

booktitle = "Advances in Knowledge-Based and Intelligent Information and Engineering Systems",

publisher = "IOS Press",

address = "Netherlands",

note = "International Conference on Knowledge-Based and Intelligent Information and Engineering Systems 2012, KES 2012 ; Conference date: 10-09-2012 Through 12-09-2012",

url = "http://kes2012.kesinternational.org/, https://link.springer.com/book/10.1007/978-3-642-37343-5",

}

Crossley, JN & Cruz, L 2012, LMT: A lightweight logical framework for multi-agent systems. in M Grana, C Toro, J Posada, RJ Howlett & LC Jain (eds), Advances in Knowledge-Based and Intelligent Information and Engineering Systems. IOS Press, Amsterdam Netherlands, pp. 118 - 127, International Conference on Knowledge-Based and Intelligent Information and Engineering Systems 2012, San Sebastian, Spain, 10/09/12. https://doi.org/10.3233/978-1-61499-105-2-118

LMT: A lightweight logical framework for multi-agent systems. / Crossley, John Newsome; Cruz, Lito.
Advances in Knowledge-Based and Intelligent Information and Engineering Systems. ed. / Manuel Grana; Carlos Toro; Jorge Posada; Robert J Howlett; Lakhmi C Jain. Amsterdam Netherlands: IOS Press, 2012. p. 118 - 127.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

TY - GEN

T1 - LMT: A lightweight logical framework for multi-agent systems

AU - Crossley, John Newsome

AU - Cruz, Lito

N1 - Conference code: 16th

PY - 2012

Y1 - 2012

U2 - 10.3233/978-1-61499-105-2-118

DO - 10.3233/978-1-61499-105-2-118

M3 - Conference Paper

SN - 9781614991045

SP - 118

EP - 127

BT - Advances in Knowledge-Based and Intelligent Information and Engineering Systems

A2 - Grana, Manuel

A2 - Toro, Carlos

A2 - Posada, Jorge

A2 - Howlett, Robert J

A2 - Jain, Lakhmi C

PB - IOS Press

CY - Amsterdam Netherlands

T2 - International Conference on Knowledge-Based and Intelligent Information and Engineering Systems 2012

Y2 - 10 September 2012 through 12 September 2012

ER -

LMT: A lightweight logical framework for multi-agent systems

Conference

Access to Document

Research output

Logics Modulo Theories: A logical framework for multi-agent systems

Cite this