{"id":"https://openalex.org/W1587611405","doi":"https://doi.org/10.1007/3-540-44886-1_28","title":"Situation Event Logic for Early Validation of Multi-Agent Systems","display_name":"Situation Event Logic for Early Validation of Multi-Agent Systems","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1587611405","doi":"https://doi.org/10.1007/3-540-44886-1_28","mag":"1587611405"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-44886-1_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44886-1_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5023022822","display_name":"Sehl Mellouli","orcid":"https://orcid.org/0000-0003-0977-4603"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sehl Mellouli","raw_affiliation_strings":["D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050446494","display_name":"Guy W. Mineau","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Guy Mineau","raw_affiliation_strings":["D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109250965","display_name":"Bernard Moulin","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bernard Moulin","raw_affiliation_strings":["D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d\u2019Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"D\u00e9partement d'Informatique et de G\u00e9nie Logiciel, Facult\u00e9 des Sciences et G\u00e9nie, Universit\u00e9 Laval, G1V 7P4, Qu\u00e9bec, Canada","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I43406934"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"370","last_page":"382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9962999820709229,"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.7366558313369751},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5650123357772827},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5348955988883972},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48477834463119507},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4683377742767334},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4332825541496277},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.43026047945022583},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.42427945137023926},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3451399803161621},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33979594707489014},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24142789840698242},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.21796110272407532},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1043335497379303}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7366558313369751},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5650123357772827},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5348955988883972},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48477834463119507},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4683377742767334},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4332825541496277},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.43026047945022583},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.42427945137023926},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3451399803161621},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33979594707489014},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24142789840698242},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.21796110272407532},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1043335497379303},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-44886-1_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44886-1_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W147776281","https://openalex.org/W1494696464","https://openalex.org/W1553819710","https://openalex.org/W1598515570","https://openalex.org/W1972616246","https://openalex.org/W2103245360","https://openalex.org/W2111877087","https://openalex.org/W2159365041","https://openalex.org/W2163751633","https://openalex.org/W2177768973","https://openalex.org/W2588677395"],"related_works":["https://openalex.org/W2028144918","https://openalex.org/W3016746667","https://openalex.org/W1587059467","https://openalex.org/W119381390","https://openalex.org/W4287814874","https://openalex.org/W2109160451","https://openalex.org/W4233254255","https://openalex.org/W1539871678","https://openalex.org/W75246058","https://openalex.org/W2962420748"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}