The temporal QCM modelling language
We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 272 |
|---|---|
| container_issue | |
| container_start_page | 261 |
| container_title | |
| container_volume | |
| creator | Waugh, Sam Hanlon, Brian Menzies, Tim |
| description | We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such explanatory translations is supported by the reported experimental results. |
| doi_str_mv | 10.1007/BFb0095058 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_1570321</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1570321</sourcerecordid><originalsourceid>FETCH-LOGICAL-p217t-e31c109f6f87f144e283dd13b35fd37c67b737f8f805b729eef61c0b6552e2f63</originalsourceid><addsrcrecordid>eNpFkMtKxEAURNsXOI7Z-AUBXbiJ3ts3_VpqcFQYEWFch07SHaN5kR4X_r0ZRrA2tahDURRjFwg3CKBu71cFgBEg9AGLjNIkUkiNkIiHbIGzJUSpOWJnu0AKJI3HbAEEPDEqpVMWhfAJs4iDlrRgl5sPF29dNw6TbeO37CXuhsq1bdPXcWv7-tvW7pydeNsGF_35kr2vHjbZU7J-fXzO7tbJyFFtE0dYIhgvvVYe09RxTVWFVJDwFalSqkKR8tprEIXixjkvsYRCCsEd95KW7GrfO9pQ2tZPti-bkI9T09npJ0eh5tk4Y9d7LMxJX7spL4bhK-QI-e6j_P8j-gV61lFp</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>The temporal QCM modelling language</title><source>Springer Books</source><creator>Waugh, Sam ; Hanlon, Brian ; Menzies, Tim</creator><contributor>Antoniou, Grigoris ; Slaney, John</contributor><creatorcontrib>Waugh, Sam ; Hanlon, Brian ; Menzies, Tim ; Antoniou, Grigoris ; Slaney, John</creatorcontrib><description>We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such explanatory translations is supported by the reported experimental results.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540651381</identifier><identifier>ISBN: 9783540651383</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540495611</identifier><identifier>EISBN: 3540495614</identifier><identifier>DOI: 10.1007/BFb0095058</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Artificial intelligence ; Computer science; control theory; systems ; Exact sciences and technology ; Fish Catch ; Fish Growth Rate ; Fishery Model ; Fishery System ; Information retrieval. Graph ; Language processing and microprogramming ; Learning and adaptive systems ; Qualitative Model ; Software ; Theoretical computing</subject><ispartof>Advanced Topics in Artificial Intelligence, 1998, p.261-272</ispartof><rights>Springer-Verlag Berlin Heidelberg 1998</rights><rights>1999 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0095058$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0095058$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1570321$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Antoniou, Grigoris</contributor><contributor>Slaney, John</contributor><creatorcontrib>Waugh, Sam</creatorcontrib><creatorcontrib>Hanlon, Brian</creatorcontrib><creatorcontrib>Menzies, Tim</creatorcontrib><title>The temporal QCM modelling language</title><title>Advanced Topics in Artificial Intelligence</title><description>We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such explanatory translations is supported by the reported experimental results.</description><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Fish Catch</subject><subject>Fish Growth Rate</subject><subject>Fishery Model</subject><subject>Fishery System</subject><subject>Information retrieval. Graph</subject><subject>Language processing and microprogramming</subject><subject>Learning and adaptive systems</subject><subject>Qualitative Model</subject><subject>Software</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540651381</isbn><isbn>9783540651383</isbn><isbn>9783540495611</isbn><isbn>3540495614</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1998</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNpFkMtKxEAURNsXOI7Z-AUBXbiJ3ts3_VpqcFQYEWFch07SHaN5kR4X_r0ZRrA2tahDURRjFwg3CKBu71cFgBEg9AGLjNIkUkiNkIiHbIGzJUSpOWJnu0AKJI3HbAEEPDEqpVMWhfAJs4iDlrRgl5sPF29dNw6TbeO37CXuhsq1bdPXcWv7-tvW7pydeNsGF_35kr2vHjbZU7J-fXzO7tbJyFFtE0dYIhgvvVYe09RxTVWFVJDwFalSqkKR8tprEIXixjkvsYRCCsEd95KW7GrfO9pQ2tZPti-bkI9T09npJ0eh5tk4Y9d7LMxJX7spL4bhK-QI-e6j_P8j-gV61lFp</recordid><startdate>19980101</startdate><enddate>19980101</enddate><creator>Waugh, Sam</creator><creator>Hanlon, Brian</creator><creator>Menzies, Tim</creator><general>Springer Berlin Heidelberg</general><general>Springer-Verlag</general><scope>IQODW</scope></search><sort><creationdate>19980101</creationdate><title>The temporal QCM modelling language</title><author>Waugh, Sam ; Hanlon, Brian ; Menzies, Tim</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p217t-e31c109f6f87f144e283dd13b35fd37c67b737f8f805b729eef61c0b6552e2f63</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1998</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Fish Catch</topic><topic>Fish Growth Rate</topic><topic>Fishery Model</topic><topic>Fishery System</topic><topic>Information retrieval. Graph</topic><topic>Language processing and microprogramming</topic><topic>Learning and adaptive systems</topic><topic>Qualitative Model</topic><topic>Software</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Waugh, Sam</creatorcontrib><creatorcontrib>Hanlon, Brian</creatorcontrib><creatorcontrib>Menzies, Tim</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Waugh, Sam</au><au>Hanlon, Brian</au><au>Menzies, Tim</au><au>Antoniou, Grigoris</au><au>Slaney, John</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>The temporal QCM modelling language</atitle><btitle>Advanced Topics in Artificial Intelligence</btitle><date>1998-01-01</date><risdate>1998</risdate><spage>261</spage><epage>272</epage><pages>261-272</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540651381</isbn><isbn>9783540651383</isbn><eisbn>9783540495611</eisbn><eisbn>3540495614</eisbn><abstract>We examine the QCM language for qualitative compartmental modelling, along with temporal extensions to that framework (TQCM). We identify translations of QCM and TQCM which are explanatory as well as descriptive, adding to our ability to correctly verify qualitative models. The reasoning about such explanatory translations is supported by the reported experimental results.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0095058</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Advanced Topics in Artificial Intelligence, 1998, p.261-272 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1570321 |
| source | Springer Books |
| subjects | Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Fish Catch Fish Growth Rate Fishery Model Fishery System Information retrieval. Graph Language processing and microprogramming Learning and adaptive systems Qualitative Model Software Theoretical computing |
| title | The temporal QCM modelling language |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-03T01%3A49%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=The%20temporal%20QCM%20modelling%20language&rft.btitle=Advanced%20Topics%20in%20Artificial%20Intelligence&rft.au=Waugh,%20Sam&rft.date=1998-01-01&rft.spage=261&rft.epage=272&rft.pages=261-272&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540651381&rft.isbn_list=9783540651383&rft_id=info:doi/10.1007/BFb0095058&rft_dat=%3Cpascalfrancis_sprin%3E1570321%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540495611&rft.eisbn_list=3540495614&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |