Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    b3kat_BV041964160
    Format: 1 Online-Ressource
    ISBN: 9783540550334
    Series Statement: Lecture notes in computer science 567
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-540-46667-3
    Language: English
    Keywords: Wissensrepräsentationssprache ; Deklaratives Wissen ; Wissensverarbeitung ; Wissensbasiertes System ; Programmiersprache ; Wissensbasiertes System ; Aufsatzsammlung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_595127665
    Format: Online-Ressource (XII, 427 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540466673
    Series Statement: Lecture notes in computer science 567
    Content: Efficient processing of declarative rule-based languages for Databases -- Has dedicated hardware for Prolog a future ? -- Commercial applications of large Prolog knowledge bases -- Compiling conceptual graphs -- Subsumption in knowledge graphs -- A terminological knowledge representation system with complete inference algorithms -- An introduction to dynamic concept systems -- Querying concept-based knowledge bases -- Subsumption computation in an object-oriented data model -- A concise presentation of ITL -- Distributed disjunctions for LIFE -- Reasoning with maximal time intervals -- Nonclassical models for logic programs -- Logical operational semantics of Parlog part I: And-Parallelism -- A tool for building connectionist-like networks based on term unification -- Providing declarative access to a processing system for satellite image data -- Declarative functionality descriptions of interactive reasoning modules -- Rule-aided constraint resolution in Laure -- Flang: A functional-logic language -- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation of meta-interpreters: A sketch -- Improving the efficiency of constraint logic programming languages by deriving specialized versions -- Parallelizing Prolog on shared-memory multiprocessors -- Processing abductive reasoning via Contextual Logic Programming -- Efficient implementation of narrowing and rewriting -- Tim: The toulouse inference machine for non-classical logic programming -- Declarative and procedural paradigms-do they really compete? -- The GCLA II programming language -- A brief description of the PROTOS-L system -- PCPL — PROLOG constraint processing library version 2.0 -- A mini-description of the ITL system -- Taxon: A concept language with concrete domains -- The ALF system: An efficient implementation of a functional logic language -- Transforming horn clauses for forward reasoning -- Implementation of the functional-logic language flang -- SEPIA 3.0 — An extensible prolog system -- FIDO: Exploring finite domain consistency techniques in logic programming.
    Content: This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
    Note: Literaturangaben
    Additional Edition: ISBN 354055033X
    Additional Edition: ISBN 9783540550334
    Additional Edition: Erscheint auch als Druck-Ausgabe Processing declarative knowledge Berlin : Springer, 1991 ISBN 354055033X
    Additional Edition: ISBN 038755033X
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    Keywords: Wissensbasiertes System ; Konferenzschrift ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almahu_BV004667620
    Format: XII, 427 S.
    ISBN: 3-540-55033-X , 0-387-55033-X
    Series Statement: Lecture notes in computer science 567 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    Keywords: Wissensrepräsentationssprache ; Deklaratives Wissen ; Wissensverarbeitung ; Wissensbasiertes System ; Programmiersprache ; Wissensbasiertes System ; Aufsatzsammlung ; Konferenzschrift ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947920903602882
    Format: XII, 440 p. , online resource.
    ISBN: 9783540466673
    Series Statement: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 567
    Content: This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
    Note: Efficient processing of declarative rule-based languages for Databases -- Has dedicated hardware for Prolog a future ? -- Commercial applications of large Prolog knowledge bases -- Compiling conceptual graphs -- Subsumption in knowledge graphs -- A terminological knowledge representation system with complete inference algorithms -- An introduction to dynamic concept systems -- Querying concept-based knowledge bases -- Subsumption computation in an object-oriented data model -- A concise presentation of ITL -- Distributed disjunctions for LIFE -- Reasoning with maximal time intervals -- Nonclassical models for logic programs -- Logical operational semantics of Parlog part I: And-Parallelism -- A tool for building connectionist-like networks based on term unification -- Providing declarative access to a processing system for satellite image data -- Declarative functionality descriptions of interactive reasoning modules -- Rule-aided constraint resolution in Laure -- Flang: A functional-logic language -- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation of meta-interpreters: A sketch -- Improving the efficiency of constraint logic programming languages by deriving specialized versions -- Parallelizing Prolog on shared-memory multiprocessors -- Processing abductive reasoning via Contextual Logic Programming -- Efficient implementation of narrowing and rewriting -- Tim: The toulouse inference machine for non-classical logic programming -- Declarative and procedural paradigms-do they really compete? -- The GCLA II programming language -- A brief description of the PROTOS-L system -- PCPL — PROLOG constraint processing library version 2.0 -- A mini-description of the ITL system -- Taxon: A concept language with concrete domains -- The ALF system: An efficient implementation of a functional logic language -- Transforming horn clauses for forward reasoning -- Implementation of the functional-logic language flang -- SEPIA 3.0 — An extensible prolog system -- FIDO: Exploring finite domain consistency techniques in logic programming.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540550334
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9948621505002882
    Format: XII, 440 p. , online resource.
    Edition: 1st ed. 1991.
    ISBN: 9783540466673
    Series Statement: Lecture Notes in Artificial Intelligence ; 567
    Content: This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
    Note: Efficient processing of declarative rule-based languages for Databases -- Has dedicated hardware for Prolog a future ? -- Commercial applications of large Prolog knowledge bases -- Compiling conceptual graphs -- Subsumption in knowledge graphs -- A terminological knowledge representation system with complete inference algorithms -- An introduction to dynamic concept systems -- Querying concept-based knowledge bases -- Subsumption computation in an object-oriented data model -- A concise presentation of ITL -- Distributed disjunctions for LIFE -- Reasoning with maximal time intervals -- Nonclassical models for logic programs -- Logical operational semantics of Parlog part I: And-Parallelism -- A tool for building connectionist-like networks based on term unification -- Providing declarative access to a processing system for satellite image data -- Declarative functionality descriptions of interactive reasoning modules -- Rule-aided constraint resolution in Laure -- Flang: A functional-logic language -- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation of meta-interpreters: A sketch -- Improving the efficiency of constraint logic programming languages by deriving specialized versions -- Parallelizing Prolog on shared-memory multiprocessors -- Processing abductive reasoning via Contextual Logic Programming -- Efficient implementation of narrowing and rewriting -- Tim: The toulouse inference machine for non-classical logic programming -- Declarative and procedural paradigms-do they really compete? -- The GCLA II programming language -- A brief description of the PROTOS-L system -- PCPL - PROLOG constraint processing library version 2.0 -- A mini-description of the ITL system -- Taxon: A concept language with concrete domains -- The ALF system: An efficient implementation of a functional logic language -- Transforming horn clauses for forward reasoning -- Implementation of the functional-logic language flang -- SEPIA 3.0 - An extensible prolog system -- FIDO: Exploring finite domain consistency techniques in logic programming.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662185599
    Additional Edition: Printed edition: ISBN 9783540550334
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1649290705
    Format: Online-Ressource
    ISBN: 9783540466673
    Series Statement: Lecture Notes in Computer Science 567
    Additional Edition: ISBN 9783540550334
    Additional Edition: Buchausg. u.d.T. Processing declarative knowledge Berlin : Springer, 1991 ISBN 354055033X
    Additional Edition: ISBN 038755033X
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    Keywords: Deklaratives Wissen ; Wissensverarbeitung ; Konferenzschrift
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    b3kat_BV004667620
    Format: XII, 427 S.
    ISBN: 354055033X , 038755033X
    Series Statement: Lecture notes in computer science 567 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    Keywords: Wissensrepräsentationssprache ; Deklaratives Wissen ; Wissensverarbeitung ; Wissensbasiertes System ; Programmiersprache ; Wissensbasiertes System ; Aufsatzsammlung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    edocfu_9959186115002883
    Format: 1 online resource (XII, 440 p.)
    Edition: 1st ed. 1991.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-46667-3
    Series Statement: Lecture Notes in Artificial Intelligence ; 567
    Content: This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
    Note: Bibliographic Level Mode of Issuance: Monograph , Efficient processing of declarative rule-based languages for Databases -- Has dedicated hardware for Prolog a future ? -- Commercial applications of large Prolog knowledge bases -- Compiling conceptual graphs -- Subsumption in knowledge graphs -- A terminological knowledge representation system with complete inference algorithms -- An introduction to dynamic concept systems -- Querying concept-based knowledge bases -- Subsumption computation in an object-oriented data model -- A concise presentation of ITL -- Distributed disjunctions for LIFE -- Reasoning with maximal time intervals -- Nonclassical models for logic programs -- Logical operational semantics of Parlog part I: And-Parallelism -- A tool for building connectionist-like networks based on term unification -- Providing declarative access to a processing system for satellite image data -- Declarative functionality descriptions of interactive reasoning modules -- Rule-aided constraint resolution in Laure -- Flang: A functional-logic language -- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation of meta-interpreters: A sketch -- Improving the efficiency of constraint logic programming languages by deriving specialized versions -- Parallelizing Prolog on shared-memory multiprocessors -- Processing abductive reasoning via Contextual Logic Programming -- Efficient implementation of narrowing and rewriting -- Tim: The toulouse inference machine for non-classical logic programming -- Declarative and procedural paradigms-do they really compete? -- The GCLA II programming language -- A brief description of the PROTOS-L system -- PCPL — PROLOG constraint processing library version 2.0 -- A mini-description of the ITL system -- Taxon: A concept language with concrete domains -- The ALF system: An efficient implementation of a functional logic language -- Transforming horn clauses for forward reasoning -- Implementation of the functional-logic language flang -- SEPIA 3.0 — An extensible prolog system -- FIDO: Exploring finite domain consistency techniques in logic programming. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-55033-X
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    edoccha_9959186115002883
    Format: 1 online resource (XII, 440 p.)
    Edition: 1st ed. 1991.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-46667-3
    Series Statement: Lecture Notes in Artificial Intelligence ; 567
    Content: This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.
    Note: Bibliographic Level Mode of Issuance: Monograph , Efficient processing of declarative rule-based languages for Databases -- Has dedicated hardware for Prolog a future ? -- Commercial applications of large Prolog knowledge bases -- Compiling conceptual graphs -- Subsumption in knowledge graphs -- A terminological knowledge representation system with complete inference algorithms -- An introduction to dynamic concept systems -- Querying concept-based knowledge bases -- Subsumption computation in an object-oriented data model -- A concise presentation of ITL -- Distributed disjunctions for LIFE -- Reasoning with maximal time intervals -- Nonclassical models for logic programs -- Logical operational semantics of Parlog part I: And-Parallelism -- A tool for building connectionist-like networks based on term unification -- Providing declarative access to a processing system for satellite image data -- Declarative functionality descriptions of interactive reasoning modules -- Rule-aided constraint resolution in Laure -- Flang: A functional-logic language -- Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads for concurrent logic programs -- A general framework for knowledge compilation -- Data-driven transformation of meta-interpreters: A sketch -- Improving the efficiency of constraint logic programming languages by deriving specialized versions -- Parallelizing Prolog on shared-memory multiprocessors -- Processing abductive reasoning via Contextual Logic Programming -- Efficient implementation of narrowing and rewriting -- Tim: The toulouse inference machine for non-classical logic programming -- Declarative and procedural paradigms-do they really compete? -- The GCLA II programming language -- A brief description of the PROTOS-L system -- PCPL — PROLOG constraint processing library version 2.0 -- A mini-description of the ITL system -- Taxon: A concept language with concrete domains -- The ALF system: An efficient implementation of a functional logic language -- Transforming horn clauses for forward reasoning -- Implementation of the functional-logic language flang -- SEPIA 3.0 — An extensible prolog system -- FIDO: Exploring finite domain consistency techniques in logic programming. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-55033-X
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almafu_BV004667620
    Format: XII, 427 S.
    ISBN: 3-540-55033-X , 0-387-55033-X
    Series Statement: Lecture notes in computer science 567 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    Keywords: Wissensrepräsentationssprache ; Deklaratives Wissen ; Wissensverarbeitung ; Wissensbasiertes System ; Programmiersprache ; Wissensbasiertes System ; Aufsatzsammlung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 9783540350330?
Did you mean 9783540310334?
Did you mean 9783540150336?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages