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-09-02T16:12", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220902/entities/gbq_results/chapter/chapter_204.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 N7819954483914973a160b967fe06cede
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 Nec0dbc33710e4ad5ab0fd32e88cb1304
8 schema:genre chapter
9 schema:isAccessibleForFree true
10 schema:isPartOf Ne17a05e1fd8b4a62bf78b4f1ed795b54
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 N179bf272b5a74053a3fe861b4104004a
36 N60dcec1ac64746b3b951a1755daa6c91
37 schema:publisher N93b4a93d31a047148cc9d0e7396f1962
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-09-02T16:12
41 schema:sdLicense https://scigraph.springernature.com/explorer/license/
42 schema:sdPublisher N38db8d03c2a34e198ed07fbd0c61cd21
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 N179bf272b5a74053a3fe861b4104004a schema:name doi
48 schema:value 10.1007/978-3-642-31951-8_12
49 rdf:type schema:PropertyValue
50 N21276fdbd56440adb9d20c17b178c019 rdf:first Nc9b8f02a46a444bcbea8adb0a0abf944
51 rdf:rest N6118091f8f4446ba8291a7f3088ffbae
52 N38db8d03c2a34e198ed07fbd0c61cd21 schema:name Springer Nature - SN SciGraph project
53 rdf:type schema:Organization
54 N60dcec1ac64746b3b951a1755daa6c91 schema:name dimensions_id
55 schema:value pub.1012157239
56 rdf:type schema:PropertyValue
57 N6118091f8f4446ba8291a7f3088ffbae rdf:first Nbc93c4d3ea5d4c4e8af40a67af218563
58 rdf:rest rdf:nil
59 N7819954483914973a160b967fe06cede rdf:first sg:person.016226323127.74
60 rdf:rest N8eef6ad11a12455fabbd7bde4d3b8ab6
61 N8eef6ad11a12455fabbd7bde4d3b8ab6 rdf:first sg:person.016530745554.01
62 rdf:rest Nd610e13ac0044d648b84720d8cb4dd30
63 N93b4a93d31a047148cc9d0e7396f1962 schema:name Springer Nature
64 rdf:type schema:Organisation
65 Nbc93c4d3ea5d4c4e8af40a67af218563 schema:familyName Lisi
66 schema:givenName Francesca A.
67 rdf:type schema:Person
68 Nc0c1409101f9405eaa3edaed390249b4 schema:familyName Muggleton
69 schema:givenName Stephen H.
70 rdf:type schema:Person
71 Nc9b8f02a46a444bcbea8adb0a0abf944 schema:familyName Tamaddoni-Nezhad
72 schema:givenName Alireza
73 rdf:type schema:Person
74 Nd610e13ac0044d648b84720d8cb4dd30 rdf:first sg:person.013404167044.28
75 rdf:rest rdf:nil
76 Ne17a05e1fd8b4a62bf78b4f1ed795b54 schema:isbn 978-3-642-31950-1
77 978-3-642-31951-8
78 schema:name Inductive Logic Programming
79 rdf:type schema:Book
80 Nec0dbc33710e4ad5ab0fd32e88cb1304 rdf:first Nc0c1409101f9405eaa3edaed390249b4
81 rdf:rest N21276fdbd56440adb9d20c17b178c019
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)


...