A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Saved in:
| Published in | Lecture notes in computer science pp. 223 - 244 |
|---|---|
| Main Authors | , , |
| Format | Conference Proceeding |
| Language | English |
| Published |
Berlin
Springer
2006
|
| Subjects | |
| Online Access | Get full text |
| ISBN | 3540331069 9783540331063 |
| ISSN | 0302-9743 |
Cover
| Author | MEYER, John-Jules Ch BENTAHAR, Jamal MOULIN, Bernard |
|---|---|
| Author_xml | – sequence: 1 givenname: Jamal surname: BENTAHAR fullname: BENTAHAR, Jamal organization: Laval University, Department of Computer Science and Software Engineering, Sainte-Foy, QC, G1K 7P4, Canada – sequence: 2 givenname: Bernard surname: MOULIN fullname: MOULIN, Bernard organization: Laval University, Department of Computer Science and Software Engineering, Sainte-Foy, QC, G1K 7P4, Canada – sequence: 3 givenname: John-Jules Ch surname: MEYER fullname: MEYER, John-Jules Ch organization: University Utrecht, Department of Computer Science, Netherlands |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=20039912$$DView record in Pascal Francis |
| BookMark | eNotj81Kw0AYRQesYFv7DrNxGZjfpFmGqFWoP4vqtnyZfBNHkpkwkyz69gb1bg5cDhfuhqx88HhFNlIrJiVnebkiayaZyMpCyRuyS-mbLZG84JqtyWtFT9D0CDN9wekrtNSGSD8xOntxvqP3DvrQzUgPMCB9j2EKJvTp16o69BOtwzDM3hmYXPC35NpCn3D3zy35eHw41U_Z8e3wXFfHbORcT5ltQOWs5UwrCcitgpZbvtcCFcvzxkJumV4Ea5fKmL0RaIVsBDYgipK3ckvu_nZHSAZ6G8Ebl85jdAPEy1ksB8uSC_kDglpPGw |
| ContentType | Conference Proceeding |
| Copyright | 2008 INIST-CNRS |
| Copyright_xml | – notice: 2008 INIST-CNRS |
| DBID | IQODW |
| DatabaseName | Pascal-Francis |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Applied Sciences Engineering Computer Science |
| EndPage | 244 |
| ExternalDocumentID | 20039912 |
| GroupedDBID | -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ABMNI ACGFS ADCXD AEFIE ALMA_UNASSIGNED_HOLDINGS EJD F5P FEDTE HVGLF IQODW LAS LDH P2P RIG RNI RSU SVGTG VI1 ~02 |
| ID | FETCH-LOGICAL-p115t-fba460d10543ae1f4ad1f1852e4066bfa6f0560dff52ecc8c2ef23b2eba2791d3 |
| ISBN | 3540331069 9783540331063 |
| ISSN | 0302-9743 |
| IngestDate | Wed Apr 02 07:20:38 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | On the fly Declarative language Expert system Branching temporal logic CTL Transmission protocol Knowledge base Modeling Intelligent agent Tree automaton Program verification Multiagent system Array (mathematics) Static analysis Model checking Alternating automata Artificial intelligence Inference rule |
| Language | English |
| License | CC BY 4.0 |
| LinkModel | OpenURL |
| MeetingName | Declarative agent languages and technologies III (Third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005) |
| MergedId | FETCHMERGED-LOGICAL-p115t-fba460d10543ae1f4ad1f1852e4066bfa6f0560dff52ecc8c2ef23b2eba2791d3 |
| PageCount | 22 |
| ParticipantIDs | pascalfrancis_primary_20039912 |
| PublicationCentury | 2000 |
| PublicationDate | 2006 |
| PublicationDateYYYYMMDD | 2006-01-01 |
| PublicationDate_xml | – year: 2006 text: 2006 |
| PublicationDecade | 2000 |
| PublicationPlace | Berlin |
| PublicationPlace_xml | – name: Berlin |
| PublicationTitle | Lecture notes in computer science |
| PublicationYear | 2006 |
| Publisher | Springer |
| Publisher_xml | – name: Springer |
| SSID | ssj0000317150 ssj0002792 |
| Score | 1.8260108 |
| SourceID | pascalfrancis |
| SourceType | Index Database |
| StartPage | 223 |
| SubjectTerms | Applied sciences Artificial intelligence Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Programming languages Software Software engineering |
| Title | A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fT9swELYGExK8jPFDjAHyw96iTKmT5sdjxgpdVQqaWgRPyI5tgcRaBOnL_vrd2Y7bIARiL1HlRJGVz707n7_vjpBvHLty80KGhYxlmIhUh1wWPMxlHumoYl2VocD5bJT2J8ngqnu16OJo1CW1-F79fVFX8j-owhjgiirZdyDrXwoD8BvwhSsgDNdnwe-Lfmbo8v_TWW1oVYYfji0aAufXltdDGYxRJcXnwZlpGm34hZcwSyt0-nlnszjBKf-jUD5Qz2CJmGINQYnyq6AlJfG7-N5oXPbL345wyxcsw_PJ8JehEPzAjOOj9Dd615Z8gZydcDC_h6kf376afGiSj61NKWaSYoganeFy4iwwvLB1iZdtpRUaO7fLbBnIdkXsZ57K8weRUQeBLbjelSwHc_yx7A2Glz63BoYq6-BprfPIWCTRnibZSTiNj5lksebTX3bSyI7lT_AH0bazyVK4Md4kOwshJr3w0H8mH9R0i3xyOwfq7PITDDXNOZqxLbKxVGlym4xK6uCnFn4KwFIPP23gpwg_9fCbpwz8tAX_Dpmc9MbH_dC10ggfIOSvQy14kkYSgukk5qqjEy47GnXzCgK6VGieaoiEI6k1DFVVXjGlWSyYEhw-XkfGu2R1OpuqPUIV64ocD-QZy-A1ec55lkRaFqrLIlGxL-So9f1uHmzZlJsGtP23HvhK1hdr7YCs1o9zdQihXy2OHNL_ABVfWUE |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Lecture+notes+in+computer+science&rft.atitle=A+Tableau+Method+for+Verifying+Dialogue+Game+Protocols+for+Agent+Communication&rft.au=BENTAHAR%2C+Jamal&rft.au=MOULIN%2C+Bernard&rft.au=MEYER%2C+John-Jules+Ch&rft.date=2006-01-01&rft.pub=Springer&rft.isbn=9783540331063&rft.issn=0302-9743&rft.spage=223&rft.epage=244&rft.externalDBID=n%2Fa&rft.externalDocID=20039912 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon |