{"id":"https://openalex.org/W2398455936","doi":"https://doi.org/10.3233/978-1-61499-105-2-118","title":"LMT: A Lightweight Logical Framework for Multi-agent Systems","display_name":"LMT: A Lightweight Logical Framework for Multi-agent Systems","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2398455936","doi":"https://doi.org/10.3233/978-1-61499-105-2-118","mag":"2398455936"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-105-2-118","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-105-2-118","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029223204","display_name":"John N. Crossley","orcid":"https://orcid.org/0000-0002-2185-0835"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Crossley John N.","raw_affiliation_strings":["Monash University, Melbourne, Australia"],"affiliations":[{"raw_affiliation_string":"Monash University, Melbourne, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":null,"display_name":"Cruz Lito Perez","orcid":null},"institutions":[{"id":"https://openalex.org/I153230381","display_name":"Charles Sturt University","ror":"https://ror.org/00wfvh315","country_code":"AU","type":"education","lineage":["https://openalex.org/I153230381"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Cruz Lito Perez","raw_affiliation_strings":["Charles Sturt University, Bathurst, Australia"],"affiliations":[{"raw_affiliation_string":"Charles Sturt University, Bathurst, Australia","institution_ids":["https://openalex.org/I153230381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029223204"],"corresponding_institution_ids":["https://openalex.org/I56590836"],"apc_list":null,"apc_paid":null,"fwci":0.3168,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62483829,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"118","last_page":"127"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6092263460159302}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6092263460159302}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-105-2-118","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-105-2-118","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:2398455936","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/kes/kes2012.html#CrossleyC12","pdf_url":null,"source":{"id":"https://openalex.org/S4306419629","display_name":"International Conference on Knowledge-Based and Intelligent Information and Engineering Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"International Conference on Knowledge-Based and Intelligent Information and Engineering Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1485990531","https://openalex.org/W1561988463","https://openalex.org/W1679534293","https://openalex.org/W1984820433","https://openalex.org/W2029176884","https://openalex.org/W2100595695","https://openalex.org/W2145814916","https://openalex.org/W2319216046","https://openalex.org/W2724355227"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Logics":[0],"Modulo":[1,46],"Theories,":[2],"LMT,":[3],"is":[4,18,157],"a":[5,19,28,54,79,149],"logical":[6,154],"framework":[7],"specially":[8],"designed":[9],"to":[10,25,59,93,144,176],"support":[11,112],"the":[12,69,74,102,116,119,124,130,163,177,181],"work":[13],"of":[14,56,118,132,166],"multi-agent":[15,94,114,160],"systems.":[16],"It":[17],"system":[20,30,155],"that":[21,84],"allows":[22],"local":[23,70],"logics":[24,57,71],"communicate":[26],"through":[27],"global":[29,75,125],"which":[31,156],"has":[32,38],"its":[33,167],"own":[34],"logic.":[35,81,104],"(The":[36],"method":[37],"similarities":[39],"with,":[40],"but":[41],"goes":[42],"beyond,":[43],"SMT,":[44],"Satisfiability":[45],"Theories.)":[47],"In":[48,105],"two":[49],"earlier":[50],"papers":[51],"we":[52,77,86,97,108],"considered":[53],"variety":[55],"used":[58,78,138],"represent":[60],"ontologies":[61],"(e.g.":[62],"first":[63],"order":[64],"logic,":[65,179],"description":[66],"logic)":[67],"as":[68],"and":[72,96,152,173],"at":[73,83,123],"level":[76],"propositional":[80],"However,":[82],"time,":[85],"only":[87],"gently":[88],"hinted":[89],"how":[90],"this":[91,106,133],"applies":[92],"systems":[95],"lacked":[98],"quantification":[99],"capabilities":[100],"in":[101,142],"upper":[103],"paper":[107,134],"present":[109],"full":[110],"blown":[111],"for":[113,139,159,183],"system,":[115],"use":[117],"modal":[120],"logic":[121],"S5":[122],"level.":[126],"The":[127],"following":[128],"are":[129,185],"theses":[131],":":[135],"a)":[136],"when":[137],"combining":[140],"logics,":[141,169],"comparison":[143],"other":[145],"methods,":[146],"LMT":[147,189],"produces":[148],"more":[150],"elegant":[151],"simpler":[153],"appropriate":[158],"work,":[161],"b)":[162],"ideal":[164],"properties":[165],"component":[168],"namely":[170],"–":[171],"soundness":[172],"completeness":[174],"transfer":[175],"resulting":[178],"c)":[180],"proofs":[182],"these":[184],"very":[186],"straightforward":[187],"because":[188],"uses":[190],"well-established":[191],"technology.":[192]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2016-06-24T00:00:00"}