eBook
View in EDS

Coinductive Logic Programming with Negation

Bibliographic Details
Title: Coinductive Logic Programming with Negation
Authors: Min, RichardAff17, Gupta, GopalAff17
Contributors: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, De Schreye, Danny, editorAff16
Source: Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. 6037:97-112
Database: Springer Nature eBooks
FullText Text:
  Availability: 0
Header DbId: edssjb
DbLabel: Springer Nature eBooks
An: edssjb.978.3.642.12592.8.8
RelevancyScore: 886
AccessLevel: 2
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 886.324340820313
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Coinductive Logic Programming with Negation
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Min%2C+Richard%22">Min, Richard</searchLink><relatesTo>Aff17</relatesTo><br /><searchLink fieldCode="AR" term="%22Gupta%2C+Gopal%22">Gupta, Gopal</searchLink><relatesTo>Aff17</relatesTo>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Hutchison, David, editor<relatesTo>Aff1</relatesTo><br />Kanade, Takeo, editor<relatesTo>Aff2</relatesTo><br />Kittler, Josef, editor<relatesTo>Aff3</relatesTo><br />Kleinberg, Jon M., editor<relatesTo>Aff4</relatesTo><br />Mattern, Friedemann, editor<relatesTo>Aff5</relatesTo><br />Mitchell, John C., editor<relatesTo>Aff6</relatesTo><br />Naor, Moni, editor<relatesTo>Aff7</relatesTo><br />Nierstrasz, Oscar, editor<relatesTo>Aff8</relatesTo><br />Pandu Rangan, C., editor<relatesTo>Aff9</relatesTo><br />Steffen, Bernhard, editor<relatesTo>Aff10</relatesTo><br />Sudan, Madhu, editor<relatesTo>Aff11</relatesTo><br />Terzopoulos, Demetri, editor<relatesTo>Aff12</relatesTo><br />Tygar, Doug, editor<relatesTo>Aff13</relatesTo><br />Vardi, Moshe Y., editor<relatesTo>Aff14</relatesTo><br />Weikum, Gerhard, editor<relatesTo>Aff15</relatesTo><br />De Schreye, Danny, editor<relatesTo>Aff16</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers</i>. 6037:97-112
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.3.642.12592.8.8
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-642-12592-8_8
    PhysicalDescription:
      Pagination:
        PageCount: 16
        StartPage: 97
    Titles:
      – TitleFull: Coinductive Logic Programming with Negation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Min, Richard
      – PersonEntity:
          Name:
            NameFull: Gupta, Gopal
      – PersonEntity:
          Name:
            NameFull: Hutchison, David, editor
      – PersonEntity:
          Name:
            NameFull: Kanade, Takeo, editor
      – PersonEntity:
          Name:
            NameFull: Kittler, Josef, editor
      – PersonEntity:
          Name:
            NameFull: Kleinberg, Jon M., editor
      – PersonEntity:
          Name:
            NameFull: Mattern, Friedemann, editor
      – PersonEntity:
          Name:
            NameFull: Mitchell, John C., editor
      – PersonEntity:
          Name:
            NameFull: Naor, Moni, editor
      – PersonEntity:
          Name:
            NameFull: Nierstrasz, Oscar, editor
      – PersonEntity:
          Name:
            NameFull: Pandu Rangan, C., editor
      – PersonEntity:
          Name:
            NameFull: Steffen, Bernhard, editor
      – PersonEntity:
          Name:
            NameFull: Sudan, Madhu, editor
      – PersonEntity:
          Name:
            NameFull: Terzopoulos, Demetri, editor
      – PersonEntity:
          Name:
            NameFull: Tygar, Doug, editor
      – PersonEntity:
          Name:
            NameFull: Vardi, Moshe Y., editor
      – PersonEntity:
          Name:
            NameFull: Weikum, Gerhard, editor
      – PersonEntity:
          Name:
            NameFull: De Schreye, Danny, editor
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2010
          Identifiers:
            – Type: isbn-print
              Value: 9783642125911
            – Type: isbn-print
              Value: 9783642125928
          Numbering:
            – Type: volume
              Value: 6037
          Titles:
            – TitleFull: Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
              Type: main
ResultId 1