Generating Minimal Herbrand Models Step by Step View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1999

AUTHORS

Heribert Schütz

ABSTRACT

This paper presents a way to improve minimal model generation for clausal theories. It works by breaking up the model generation process into several steps according to several parts of the given theory. It is shown that elimination of non-minimal or duplicate models can be performed after each step, which reduces the overall search space. An even stronger reduction of the search space is possible if we are interested only in certain parts of the models to be generated.The techniques are applicable to any method for the generation of minimal Herbrand models. The paper goes into some detail how they can be integrated tightly into the PUHR tableau method. More... »

PAGES

263-277

Book

TITLE

Automated Reasoning with Analytic Tableaux and Related Methods

ISBN

978-3-540-66086-6
978-3-540-48754-8

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-48754-9_23

DOI

http://dx.doi.org/10.1007/3-540-48754-9_23

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen, Germany", 
          "id": "http://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sch\u00fctz", 
        "givenName": "Heribert", 
        "id": "sg:person.07726356155.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07726356155.42"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1999", 
    "datePublishedReg": "1999-01-01", 
    "description": "This paper presents a way to improve minimal model generation for clausal theories. It works by breaking up the model generation process into several steps according to several parts of the given theory. It is shown that elimination of non-minimal or duplicate models can be performed after each step, which reduces the overall search space. An even stronger reduction of the search space is possible if we are interested only in certain parts of the models to be generated.The techniques are applicable to any method for the generation of minimal Herbrand models. The paper goes into some detail how they can be integrated tightly into the PUHR tableau method.", 
    "editor": [
      {
        "familyName": "Murray", 
        "givenName": "Neil V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-48754-9_23", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-66086-6", 
        "978-3-540-48754-8"
      ], 
      "name": "Automated Reasoning with Analytic Tableaux and Related Methods", 
      "type": "Book"
    }, 
    "keywords": [
      "model generation process", 
      "model generation", 
      "generation process", 
      "duplicate models", 
      "model step", 
      "generation", 
      "model", 
      "step", 
      "method", 
      "strong reduction", 
      "process", 
      "technique", 
      "detail", 
      "part", 
      "certain parts", 
      "theory", 
      "space", 
      "reduction", 
      "search space", 
      "way", 
      "elimination", 
      "overall search space", 
      "minimal model generation", 
      "clausal theories", 
      "tableau method", 
      "Herbrand models", 
      "paper", 
      "minimal Herbrand models", 
      "PUHR tableau method", 
      "Minimal Herbrand Models Step", 
      "Herbrand Models Step"
    ], 
    "name": "Generating Minimal Herbrand Models Step by Step", 
    "pagination": "263-277", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1016953105"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-48754-9_23"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-48754-9_23", 
      "https://app.dimensions.ai/details/publication/pub.1016953105"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:00", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_43.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-48754-9_23"
  }
]
 

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/3-540-48754-9_23'

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/3-540-48754-9_23'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-48754-9_23'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-48754-9_23'


 

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

91 TRIPLES      23 PREDICATES      57 URIs      50 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-48754-9_23 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author N5cda7eb5420342858c23ac8199073463
4 schema:datePublished 1999
5 schema:datePublishedReg 1999-01-01
6 schema:description This paper presents a way to improve minimal model generation for clausal theories. It works by breaking up the model generation process into several steps according to several parts of the given theory. It is shown that elimination of non-minimal or duplicate models can be performed after each step, which reduces the overall search space. An even stronger reduction of the search space is possible if we are interested only in certain parts of the models to be generated.The techniques are applicable to any method for the generation of minimal Herbrand models. The paper goes into some detail how they can be integrated tightly into the PUHR tableau method.
7 schema:editor N5e83e873ce0845cd88b730297cded93e
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N9789ef93f72e4d0c8df05687d35c6562
12 schema:keywords Herbrand Models Step
13 Herbrand models
14 Minimal Herbrand Models Step
15 PUHR tableau method
16 certain parts
17 clausal theories
18 detail
19 duplicate models
20 elimination
21 generation
22 generation process
23 method
24 minimal Herbrand models
25 minimal model generation
26 model
27 model generation
28 model generation process
29 model step
30 overall search space
31 paper
32 part
33 process
34 reduction
35 search space
36 space
37 step
38 strong reduction
39 tableau method
40 technique
41 theory
42 way
43 schema:name Generating Minimal Herbrand Models Step by Step
44 schema:pagination 263-277
45 schema:productId Nbd36f77b201e4ebaa8374245814964cb
46 Nd988353ace394193821b36376f00b424
47 schema:publisher N9030c24237e14dd5845492994a4fa2b4
48 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016953105
49 https://doi.org/10.1007/3-540-48754-9_23
50 schema:sdDatePublished 2021-11-01T19:00
51 schema:sdLicense https://scigraph.springernature.com/explorer/license/
52 schema:sdPublisher Nb667652549774873b8433819787b0a27
53 schema:url https://doi.org/10.1007/3-540-48754-9_23
54 sgo:license sg:explorer/license/
55 sgo:sdDataset chapters
56 rdf:type schema:Chapter
57 N4b1308b1370f45249e084d475cacc279 schema:familyName Murray
58 schema:givenName Neil V.
59 rdf:type schema:Person
60 N5cda7eb5420342858c23ac8199073463 rdf:first sg:person.07726356155.42
61 rdf:rest rdf:nil
62 N5e83e873ce0845cd88b730297cded93e rdf:first N4b1308b1370f45249e084d475cacc279
63 rdf:rest rdf:nil
64 N9030c24237e14dd5845492994a4fa2b4 schema:name Springer Nature
65 rdf:type schema:Organisation
66 N9789ef93f72e4d0c8df05687d35c6562 schema:isbn 978-3-540-48754-8
67 978-3-540-66086-6
68 schema:name Automated Reasoning with Analytic Tableaux and Related Methods
69 rdf:type schema:Book
70 Nb667652549774873b8433819787b0a27 schema:name Springer Nature - SN SciGraph project
71 rdf:type schema:Organization
72 Nbd36f77b201e4ebaa8374245814964cb schema:name doi
73 schema:value 10.1007/3-540-48754-9_23
74 rdf:type schema:PropertyValue
75 Nd988353ace394193821b36376f00b424 schema:name dimensions_id
76 schema:value pub.1016953105
77 rdf:type schema:PropertyValue
78 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
79 schema:name Mathematical Sciences
80 rdf:type schema:DefinedTerm
81 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
82 schema:name Applied Mathematics
83 rdf:type schema:DefinedTerm
84 sg:person.07726356155.42 schema:affiliation grid-institutes:grid.5252.0
85 schema:familyName Schütz
86 schema:givenName Heribert
87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07726356155.42
88 rdf:type schema:Person
89 grid-institutes:grid.5252.0 schema:alternateName Institut für Informatik, Universität München, Germany
90 schema:name Institut für Informatik, Universität München, Germany
91 rdf:type schema:Organization
 




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


...