Inductive Logic Programming in Answer Set Programming View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2012

AUTHORS

Domenico Corapi , Alessandra Russo , Emil Lupu

ABSTRACT

In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses. More... »

PAGES

91-97

Book

TITLE

Inductive Logic Programming

ISBN

978-3-642-31950-1
978-3-642-31951-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-31951-8_12

DOI

http://dx.doi.org/10.1007/978-3-642-31951-8_12

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Corapi", 
        "givenName": "Domenico", 
        "id": "sg:person.016226323127.74", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016226323127.74"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Russo", 
        "givenName": "Alessandra", 
        "id": "sg:person.016530745554.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016530745554.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom", 
          "id": "http://www.grid.ac/institutes/grid.7445.2", 
          "name": [
            "Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lupu", 
        "givenName": "Emil", 
        "id": "sg:person.013404167044.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2012", 
    "datePublishedReg": "2012-01-01", 
    "description": "In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.", 
    "editor": [
      {
        "familyName": "Muggleton", 
        "givenName": "Stephen H.", 
        "type": "Person"
      }, 
      {
        "familyName": "Tamaddoni-Nezhad", 
        "givenName": "Alireza", 
        "type": "Person"
      }, 
      {
        "familyName": "Lisi", 
        "givenName": "Francesca A.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-31951-8_12", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-31950-1", 
        "978-3-642-31951-8"
      ], 
      "name": "Inductive Logic Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "Answer Set Programming", 
      "Set Programming", 
      "inductive logic programming system", 
      "logic programming system", 
      "Inductive Logic Programming", 
      "programming system", 
      "logic programming", 
      "ASP programs", 
      "learning problem", 
      "modern solvers", 
      "optimization features", 
      "programming", 
      "solver", 
      "features", 
      "system", 
      "design", 
      "detail", 
      "program", 
      "hypothesis", 
      "preferred hypothesis", 
      "problem", 
      "paper"
    ], 
    "name": "Inductive Logic Programming in Answer Set Programming", 
    "pagination": "91-97", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1012157239"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-31951-8_12"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-31951-8_12", 
      "https://app.dimensions.ai/details/publication/pub.1012157239"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-11-24T21:13", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20221124/entities/gbq_results/chapter/chapter_213.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-31951-8_12"
  }
]
 

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.1007/978-3-642-31951-8_12'

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.1007/978-3-642-31951-8_12'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-31951-8_12'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-31951-8_12'


 

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

105 TRIPLES      22 PREDICATES      47 URIs      40 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-31951-8_12 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Na3d0eaa32e054b7aae49436dcdf03f4a
4 schema:datePublished 2012
5 schema:datePublishedReg 2012-01-01
6 schema:description In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.
7 schema:editor N193842625fb74ed49bd5ae974991c906
8 schema:genre chapter
9 schema:isAccessibleForFree true
10 schema:isPartOf Nc0e380770b1249659b87cb390d86c6de
11 schema:keywords ASP programs
12 Answer Set Programming
13 Inductive Logic Programming
14 Set Programming
15 design
16 detail
17 features
18 hypothesis
19 inductive logic programming system
20 learning problem
21 logic programming
22 logic programming system
23 modern solvers
24 optimization features
25 paper
26 preferred hypothesis
27 problem
28 program
29 programming
30 programming system
31 solver
32 system
33 schema:name Inductive Logic Programming in Answer Set Programming
34 schema:pagination 91-97
35 schema:productId N2f80383f06ce44da91230154749c91fc
36 N79df92edf15d47a5abc9e36f44bf2f1f
37 schema:publisher N1d81ec010e434d71b7233d355ce2355e
38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012157239
39 https://doi.org/10.1007/978-3-642-31951-8_12
40 schema:sdDatePublished 2022-11-24T21:13
41 schema:sdLicense https://scigraph.springernature.com/explorer/license/
42 schema:sdPublisher N5cc2981135724d11b9d629e15e0a051a
43 schema:url https://doi.org/10.1007/978-3-642-31951-8_12
44 sgo:license sg:explorer/license/
45 sgo:sdDataset chapters
46 rdf:type schema:Chapter
47 N193842625fb74ed49bd5ae974991c906 rdf:first N51b3d04a03f4479599a8830db1a3c2a1
48 rdf:rest N78c8fc0eaa0e4f5f90995eea34e98cb0
49 N1d81ec010e434d71b7233d355ce2355e schema:name Springer Nature
50 rdf:type schema:Organisation
51 N235c343a722d4a5cafcd015d3e399c36 schema:familyName Lisi
52 schema:givenName Francesca A.
53 rdf:type schema:Person
54 N2402686a66df470ab8500e1b0b85bc27 schema:familyName Tamaddoni-Nezhad
55 schema:givenName Alireza
56 rdf:type schema:Person
57 N2f80383f06ce44da91230154749c91fc schema:name doi
58 schema:value 10.1007/978-3-642-31951-8_12
59 rdf:type schema:PropertyValue
60 N51b3d04a03f4479599a8830db1a3c2a1 schema:familyName Muggleton
61 schema:givenName Stephen H.
62 rdf:type schema:Person
63 N5cc2981135724d11b9d629e15e0a051a schema:name Springer Nature - SN SciGraph project
64 rdf:type schema:Organization
65 N78c8fc0eaa0e4f5f90995eea34e98cb0 rdf:first N2402686a66df470ab8500e1b0b85bc27
66 rdf:rest Naf1e2f71149f4dfc94eb8dcc742458ce
67 N79df92edf15d47a5abc9e36f44bf2f1f schema:name dimensions_id
68 schema:value pub.1012157239
69 rdf:type schema:PropertyValue
70 Na3d0eaa32e054b7aae49436dcdf03f4a rdf:first sg:person.016226323127.74
71 rdf:rest Nde425cf343ab436e91fea69c8fa81b2f
72 Naf1e2f71149f4dfc94eb8dcc742458ce rdf:first N235c343a722d4a5cafcd015d3e399c36
73 rdf:rest rdf:nil
74 Nc0e380770b1249659b87cb390d86c6de schema:isbn 978-3-642-31950-1
75 978-3-642-31951-8
76 schema:name Inductive Logic Programming
77 rdf:type schema:Book
78 Nc8d814b264524b64adc0e39c9c8c3a07 rdf:first sg:person.013404167044.28
79 rdf:rest rdf:nil
80 Nde425cf343ab436e91fea69c8fa81b2f rdf:first sg:person.016530745554.01
81 rdf:rest Nc8d814b264524b64adc0e39c9c8c3a07
82 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
83 schema:name Information and Computing Sciences
84 rdf:type schema:DefinedTerm
85 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
86 schema:name Computer Software
87 rdf:type schema:DefinedTerm
88 sg:person.013404167044.28 schema:affiliation grid-institutes:grid.7445.2
89 schema:familyName Lupu
90 schema:givenName Emil
91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013404167044.28
92 rdf:type schema:Person
93 sg:person.016226323127.74 schema:affiliation grid-institutes:grid.7445.2
94 schema:familyName Corapi
95 schema:givenName Domenico
96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016226323127.74
97 rdf:type schema:Person
98 sg:person.016530745554.01 schema:affiliation grid-institutes:grid.7445.2
99 schema:familyName Russo
100 schema:givenName Alessandra
101 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016530745554.01
102 rdf:type schema:Person
103 grid-institutes:grid.7445.2 schema:alternateName Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom
104 schema:name Department of Computing, Imperial College London, Exhibition Road, SW7 2AZ, London, United Kingdom
105 rdf:type schema:Organization
 




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


...