X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Tractable reasoning in artificial intelligence (1995)
    Berlin u.a. : Springer
    Details
    UID:
    b3kat_BV035306814
    Format: 1 Online-Ressource (XIV, 247 S.)
    ISBN: 3540600582 , 0387600582
    Series Statement: Lecture notes in computer science 941 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 285
    RVK:
    ST 300
    Keywords: Wissensrepräsentation ; Approximatives Schließen
    DOI: 10.1007/3-540-60058-2
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
    EUV Frankfurt
    HTW Berlin
    TH Wildau
    BTU Cottbus
  • 2
    Book
    Book
    Tractable reasoning in artificial intelligence / (1995)
    Berlin u.a. :Springer,
    Details
    UID:
    almafu_BV010211181
    Format: XIV, 247 S.
    ISBN: 3-540-60058-2 , 0-387-60058-2
    Series Statement: Lecture notes in computer science 941 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 285
    RVK:
    ST 300
    Keywords: Wissensrepräsentation ; Approximatives Schließen
    URL: Inhaltsverzeichnis
    URL: Inhaltsverzeichnis
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    FU Berlin get availability status
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 3
    Online Resource
    Online Resource
    Tractable Reasoning in Aritificial Intelligence (1995)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649316488
    Format: Online-Ressource
    ISBN: 9783540494225
    Series Statement: Lecture Notes in Computer Science 941
    Additional Edition: ISBN 9783540600589
    Additional Edition: Buchausg. u.d.T. Cadoli, Marco Tractable reasoning in artificial intelligence Berlin : Springer, 1995 ISBN 3540600582
    Additional Edition: ISBN 0387600582
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 300
    RVK:
    ST 285
    Keywords: Wissensrepräsentation ; Approximatives Schließen
    DOI: 10.1007/3-540-60058-2
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 4
    Book
    Book
    Tractable reasoning in artificial intelligence (1995)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB12349322
    Format: XIV, 247 Seiten
    Edition: 1
    ISBN: 3540600582
    Series Statement: Lecture notes in computer science 941
    Note: Literaturverz. S. 227-239 , engl.
    Language: English
    Keywords: Wissensrepräsentation ; Wissensrepräsentation ; Approximatives Schließen
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
  • 5
    Online Resource
    Online Resource
    Tractable Reasoning in Aritificial Intelligence (1995)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186471902883
    Format: 1 online resource (X, 286 p.)
    Edition: 1st ed. 1995.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-49422-7
    Series Statement: Lecture Notes in Artificial Intelligence ; 941
    Content: Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for.
    Note: Bibliographic Level Mode of Issuance: Monograph , Language restriction: Complexity of minimal reasoning -- Approximation of a logical theory -- Using complexity results for evaluating approximation techniques -- Conclusion. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-60058-2
    Language: English
    DOI: 10.1007/3-540-60058-2
    URL: http://dx.doi.org/10.1007/3-540-60058-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 6
    Online Resource
    Online Resource
    Tractable Reasoning in Aritificial Intelligence (1995)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186471902883
    Format: 1 online resource (X, 286 p.)
    Edition: 1st ed. 1995.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-49422-7
    Series Statement: Lecture Notes in Artificial Intelligence ; 941
    Content: Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for.
    Note: Bibliographic Level Mode of Issuance: Monograph , Language restriction: Complexity of minimal reasoning -- Approximation of a logical theory -- Using complexity results for evaluating approximation techniques -- Conclusion. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-60058-2
    Language: English
    DOI: 10.1007/3-540-60058-2
    URL: http://dx.doi.org/10.1007/3-540-60058-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 7
    Book
    Book
    Tractable reasoning in artificial intelligence (1995)
    Berlin : Springer
    Details
    UID:
    gbv_184780535
    Format: XIV, 247 S , graph. Darst
    ISBN: 3540600582 , 0387600582
    Series Statement: Lecture notes in computer science 941
    Note: Literaturverz. S. [227] - 239
    Additional Edition: Online-Ausg. Cadoli, Marco Tractable reasoning in artificial intelligence Berlin [u.a.] : Springer, 1995 ISBN 9783540494225
    Additional Edition: Erscheint auch als Online-Ausgabe Cadoli, Marco Tractable Reasoning in Aritificial Intelligence Berlin, Heidelberg : Springer Berlin Heidelberg, 1995 ISBN 9783540494225
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    RVK:
    ST 300
    RVK:
    ST 285
    Keywords: Wissensrepräsentation ; Approximatives Schließen
    URL: Cover
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0815/95023193-d.html
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 8
    Online Resource
    Online Resource
    Tractable Reasoning in Artificial Intelligence (1995)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920727602882
    Format: X, 286 p. , online resource.
    ISBN: 9783540494225
    Series Statement: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 941
    Content: Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for.
    Note: Language restriction: Complexity of minimal reasoning -- Approximation of a logical theory -- Using complexity results for evaluating approximation techniques -- Conclusion.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540600589
    Language: English
    DOI: 10.1007/3-540-60058-2
    URL: http://dx.doi.org/10.1007/3-540-60058-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 9
    Online Resource
    Online Resource
    Tractable Reasoning in Aritificial Intelligence (1995)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621652102882
    Format: X, 286 p. , online resource.
    Edition: 1st ed. 1995.
    ISBN: 9783540494225
    Series Statement: Lecture Notes in Artificial Intelligence ; 941
    Content: Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for.
    Note: Language restriction: Complexity of minimal reasoning -- Approximation of a logical theory -- Using complexity results for evaluating approximation techniques -- Conclusion.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662171363
    Additional Edition: Printed edition: ISBN 9783540600589
    Language: English
    DOI: 10.1007/3-540-60058-2
    URL: https://doi.org/10.1007/3-540-60058-2
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 3540060502?
Did you mean 354010058x?
Did you mean 3527600582?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages