Harold boley (6 Ergebnisse)

Paperback. Zustand: Brand New. 1st edition. 169 pages. 9.00x6.00x0.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs.This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of a workshop on the processing of declarative knowledge. The workshop addressed the implementation of high-level knowledge representation using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Semantic Web Rules: Covering the Use Cases.- Combining Rule and Ontology Reasoners for the Semantic Web.- Regular Papers.- A System for Nonmonotonic Rules on the Web.- Rule Learning for Feature Values Extraction from HTML Product Information Sheets.- A Defeasible Logic Reasoner for the Semantic Web.- R-DEVICE: A Deductive RDF Rule Language.- Well-Founded Semantics for Description Logic Programs in the Semantic Web.- Defeasible Description Logics.- Semantic Web Reasoning with Conceptual Logic Programs.- Bossam: An Extended Rule Engine for OWL Inferencing.- Extending SWRL to Express Fully-Quantified Constraints.- An Extension to OWL with General Rules.- Combining Description Logic and Defeasible Logic for the Semantic Web.- Short Tool Presentations.- Rewrite Rules as Service Integrators.- SweetProlog: A System to Integrate Ontologies and Rules.- SWRLp: An XML-Based SWRL Presentation Syntax.- XET as a Rule Language for Consistency Maintenance in UML.- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report.…

Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, XII, 427 pp. About this book 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.…

Zustand: As New. Unread book in perfect condition.