Confluence and Semantics of Constraint Simplification Rules View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1999-05

AUTHORS

Slim Abdennadher, Thom Frühwirth, Holger Meuss

ABSTRACT

Constraint Simplification Rules (CSR) is a subset of the Constraint Handling Rules (CHR) language. CHR is a powerful special-purpose declarative programming language for writing constraint solvers. The CSR subset of CHR forms essentially a committed-choice language consisting of guarded rules with multiple heads that replace constraints by simpler ones until they are solved. This paper gives declarative and operational semantics as well as soundness and completeness results for CSR programs. We also introduce a notion of confluence for CSR programs. Confluence is an essential syntactical property of any constraint solver. It ensures that the solver will always compute the same result for a given set of constraints independent of which rules are applied. It also means that it does not matter for the result in which order the constraints arrive at the constraint solver. We give a decidable, sufficient and necessary syntactic condition for confluence of terminating CSR programs. Moreover, as shown in this paper, confluence of a program implies consistency of its logical meaning (under a mild restriction). More... »

PAGES

133-165

References to SciGraph publications

  • 2005-06-10. Operational semantics and confluence of constraint propagation rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP97
  • 1996. On confluence of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP96
  • 1999-06-11. On Completion of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP98
  • 1992. Constraint Logic Programming in LOGIC PROGRAMMING IN ACTION
  • 1992. Residuation and Guarded Rules for Constraint Logic Programming in INFORMATIK
  • 1995. A confluent calculus for concurrent constraint programming with guarded choice in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP '95
  • 1995. Constraint handling rules in CONSTRAINT PROGRAMMING: BASICS AND TRENDS
  • 1995. Confluence in concurrent constraint programming in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 1988. Confluence of conditional rewrite systems in CONDITIONAL TERM REWRITING SYSTEMS
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1023/a:1009842826135

    DOI

    http://dx.doi.org/10.1023/a:1009842826135

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1017229802


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Computer Science Department, Ludwig-Maximilians-University, Oettingenstrasse 67, D-80538, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Abdennadher", 
            "givenName": "Slim", 
            "id": "sg:person.010445445574.13", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Computer Science Department, Ludwig-Maximilians-University, Oettingenstrasse 67, D-80538, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fr\u00fchwirth", 
            "givenName": "Thom", 
            "id": "sg:person.013750414271.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Center for Information and Language Processing, Ludwig-Maximilians-University, Oettingenstrasse 67, D-80538, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Meuss", 
            "givenName": "Holger", 
            "id": "sg:person.016641077043.80", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641077043.80"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/72551.72555", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003422792"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(94)90033-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004885944"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0017444", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010989701", 
              "https://doi.org/10.1007/bfb0017444"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0017444", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010989701", 
              "https://doi.org/10.1007/bfb0017444"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60043-4_76", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013495168", 
              "https://doi.org/10.1007/3-540-60043-4_76"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-19242-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016280037", 
              "https://doi.org/10.1007/3-540-19242-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-739x(92)90072-j", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017913573"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-739x(92)90072-j", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017913573"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0743-1066(96)00013-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018210912"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/183432.183526", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021185800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61551-2_62", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024772408", 
              "https://doi.org/10.1007/3-540-61551-2_62"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/41625.41635", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026286480"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-55930-2_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038067323", 
              "https://doi.org/10.1007/3-540-55930-2_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-59155-9_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039095944", 
              "https://doi.org/10.1007/3-540-59155-9_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0269888900005798", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041890195"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60299-2_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044688121", 
              "https://doi.org/10.1007/3-540-60299-2_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-322-95233-2_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053052050", 
              "https://doi.org/10.1007/978-3-322-95233-2_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49481-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053677545", 
              "https://doi.org/10.1007/3-540-49481-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49481-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053677545", 
              "https://doi.org/10.1007/3-540-49481-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/1968867", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069674273"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1999-05", 
        "datePublishedReg": "1999-05-01", 
        "description": "Constraint Simplification Rules (CSR) is a subset of the Constraint Handling Rules (CHR) language. CHR is a powerful special-purpose declarative programming language for writing constraint solvers. The CSR subset of CHR forms essentially a committed-choice language consisting of guarded rules with multiple heads that replace constraints by simpler ones until they are solved. This paper gives declarative and operational semantics as well as soundness and completeness results for CSR programs. We also introduce a notion of confluence for CSR programs. Confluence is an essential syntactical property of any constraint solver. It ensures that the solver will always compute the same result for a given set of constraints independent of which rules are applied. It also means that it does not matter for the result in which order the constraints arrive at the constraint solver. We give a decidable, sufficient and necessary syntactic condition for confluence of terminating CSR programs. Moreover, as shown in this paper, confluence of a program implies consistency of its logical meaning (under a mild restriction).", 
        "genre": "research_article", 
        "id": "sg:pub.10.1023/a:1009842826135", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1043977", 
            "issn": [
              "1383-7133", 
              "1572-9354"
            ], 
            "name": "Constraints", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "4"
          }
        ], 
        "name": "Confluence and Semantics of Constraint Simplification Rules", 
        "pagination": "133-165", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "521732c7b5c1eac2254197a81e5e82e953124324ef3a0a4511dcd3cd3b18a1ef"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1023/a:1009842826135"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1017229802"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1023/a:1009842826135", 
          "https://app.dimensions.ai/details/publication/pub.1017229802"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T21:34", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8687_00000499.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1023/A:1009842826135"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1023/a:1009842826135'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1023/a:1009842826135'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1009842826135'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1009842826135'


     

    This table displays all metadata directly associated to this object as RDF triples.

    136 TRIPLES      21 PREDICATES      44 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1023/a:1009842826135 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Nf36485c590c54b7881cdf16d5ddc6715
    4 schema:citation sg:pub.10.1007/3-540-19242-5_3
    5 sg:pub.10.1007/3-540-49481-2_4
    6 sg:pub.10.1007/3-540-55930-2_2
    7 sg:pub.10.1007/3-540-59155-9_6
    8 sg:pub.10.1007/3-540-60043-4_76
    9 sg:pub.10.1007/3-540-60299-2_19
    10 sg:pub.10.1007/3-540-61551-2_62
    11 sg:pub.10.1007/978-3-322-95233-2_24
    12 sg:pub.10.1007/bfb0017444
    13 https://doi.org/10.1016/0167-739x(92)90072-j
    14 https://doi.org/10.1016/0743-1066(94)90033-7
    15 https://doi.org/10.1016/s0743-1066(96)00013-1
    16 https://doi.org/10.1017/s0269888900005798
    17 https://doi.org/10.1145/183432.183526
    18 https://doi.org/10.1145/41625.41635
    19 https://doi.org/10.1145/72551.72555
    20 https://doi.org/10.2307/1968867
    21 schema:datePublished 1999-05
    22 schema:datePublishedReg 1999-05-01
    23 schema:description Constraint Simplification Rules (CSR) is a subset of the Constraint Handling Rules (CHR) language. CHR is a powerful special-purpose declarative programming language for writing constraint solvers. The CSR subset of CHR forms essentially a committed-choice language consisting of guarded rules with multiple heads that replace constraints by simpler ones until they are solved. This paper gives declarative and operational semantics as well as soundness and completeness results for CSR programs. We also introduce a notion of confluence for CSR programs. Confluence is an essential syntactical property of any constraint solver. It ensures that the solver will always compute the same result for a given set of constraints independent of which rules are applied. It also means that it does not matter for the result in which order the constraints arrive at the constraint solver. We give a decidable, sufficient and necessary syntactic condition for confluence of terminating CSR programs. Moreover, as shown in this paper, confluence of a program implies consistency of its logical meaning (under a mild restriction).
    24 schema:genre research_article
    25 schema:inLanguage en
    26 schema:isAccessibleForFree false
    27 schema:isPartOf N29c047a494194d23bb13ddc69612a5cc
    28 N99cb1dde82524c298924b6f031590b36
    29 sg:journal.1043977
    30 schema:name Confluence and Semantics of Constraint Simplification Rules
    31 schema:pagination 133-165
    32 schema:productId N0731dedb1c36425fba1d276485f003ca
    33 N34b8f33837e04e67b752562f8a04392c
    34 Nad2b800dfdd7417fba7314304eb4ac20
    35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017229802
    36 https://doi.org/10.1023/a:1009842826135
    37 schema:sdDatePublished 2019-04-10T21:34
    38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    39 schema:sdPublisher Nda48a642787b4f3e8e85051c7bc18c09
    40 schema:url http://link.springer.com/10.1023/A:1009842826135
    41 sgo:license sg:explorer/license/
    42 sgo:sdDataset articles
    43 rdf:type schema:ScholarlyArticle
    44 N0731dedb1c36425fba1d276485f003ca schema:name readcube_id
    45 schema:value 521732c7b5c1eac2254197a81e5e82e953124324ef3a0a4511dcd3cd3b18a1ef
    46 rdf:type schema:PropertyValue
    47 N29c047a494194d23bb13ddc69612a5cc schema:volumeNumber 4
    48 rdf:type schema:PublicationVolume
    49 N34b8f33837e04e67b752562f8a04392c schema:name doi
    50 schema:value 10.1023/a:1009842826135
    51 rdf:type schema:PropertyValue
    52 N3a995f0410e74514bf8c0784dedb2292 rdf:first sg:person.013750414271.15
    53 rdf:rest N956cebb7a98743b79753ae6265adbd04
    54 N956cebb7a98743b79753ae6265adbd04 rdf:first sg:person.016641077043.80
    55 rdf:rest rdf:nil
    56 N99cb1dde82524c298924b6f031590b36 schema:issueNumber 2
    57 rdf:type schema:PublicationIssue
    58 Nad2b800dfdd7417fba7314304eb4ac20 schema:name dimensions_id
    59 schema:value pub.1017229802
    60 rdf:type schema:PropertyValue
    61 Nda48a642787b4f3e8e85051c7bc18c09 schema:name Springer Nature - SN SciGraph project
    62 rdf:type schema:Organization
    63 Nf36485c590c54b7881cdf16d5ddc6715 rdf:first sg:person.010445445574.13
    64 rdf:rest N3a995f0410e74514bf8c0784dedb2292
    65 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    66 schema:name Information and Computing Sciences
    67 rdf:type schema:DefinedTerm
    68 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    69 schema:name Computer Software
    70 rdf:type schema:DefinedTerm
    71 sg:journal.1043977 schema:issn 1383-7133
    72 1572-9354
    73 schema:name Constraints
    74 rdf:type schema:Periodical
    75 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    76 schema:familyName Abdennadher
    77 schema:givenName Slim
    78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
    79 rdf:type schema:Person
    80 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    81 schema:familyName Frühwirth
    82 schema:givenName Thom
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    84 rdf:type schema:Person
    85 sg:person.016641077043.80 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    86 schema:familyName Meuss
    87 schema:givenName Holger
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016641077043.80
    89 rdf:type schema:Person
    90 sg:pub.10.1007/3-540-19242-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016280037
    91 https://doi.org/10.1007/3-540-19242-5_3
    92 rdf:type schema:CreativeWork
    93 sg:pub.10.1007/3-540-49481-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053677545
    94 https://doi.org/10.1007/3-540-49481-2_4
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/3-540-55930-2_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038067323
    97 https://doi.org/10.1007/3-540-55930-2_2
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/3-540-59155-9_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039095944
    100 https://doi.org/10.1007/3-540-59155-9_6
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-60043-4_76 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013495168
    103 https://doi.org/10.1007/3-540-60043-4_76
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/3-540-60299-2_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044688121
    106 https://doi.org/10.1007/3-540-60299-2_19
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/3-540-61551-2_62 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024772408
    109 https://doi.org/10.1007/3-540-61551-2_62
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-322-95233-2_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053052050
    112 https://doi.org/10.1007/978-3-322-95233-2_24
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/bfb0017444 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010989701
    115 https://doi.org/10.1007/bfb0017444
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1016/0167-739x(92)90072-j schema:sameAs https://app.dimensions.ai/details/publication/pub.1017913573
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/0743-1066(94)90033-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004885944
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1016/s0743-1066(96)00013-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018210912
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1017/s0269888900005798 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041890195
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1145/183432.183526 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021185800
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1145/41625.41635 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026286480
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1145/72551.72555 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003422792
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.2307/1968867 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069674273
    132 rdf:type schema:CreativeWork
    133 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    134 schema:name Center for Information and Language Processing, Ludwig-Maximilians-University, Oettingenstrasse 67, D-80538, Munich, Germany
    135 Computer Science Department, Ludwig-Maximilians-University, Oettingenstrasse 67, D-80538, Munich, Germany
    136 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...