Amazon cover image
Image from Amazon.com

Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter (eds.).

By: PDK '91 (1991 : Kaiserslautern, Germany)Contributor(s): Boley, H. (Harold) | Richter, Michael M, 1938-Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 567. | Lecture notes in computer science. Lecture notes in artificial intelligence.Publication details: Berlin ; New York : Springer-Verlag, ©1991. Description: 1 online resource (xii, 427 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 354055033X; 9783540550334; 038755033X; 9780387550336; 9783540466673; 3540466673Subject(s): Expert systems (Computer science) -- Congresses | Artificial intelligence -- Congresses | Artificial intelligence | Expert systems (Computer science) | Kunstmatige intelligentie | Logisch programmerenGenre/Form: Electronic books. | Conference papers and proceedings. | Congressen (vorm) Additional physical formats: Print version:: Processing declarative knowledge.DDC classification: 006.3/3 LOC classification: QA76.76.E95 | P36 1991Other classification: 54.51 Online resources: Click here to access online Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references.

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.

Print version record.

Powered by Koha