Mathematical aspects of logic programming semantics. (©2011)

• Record Type: Book
• Further Information: Note: Pascal Hitzler, Anthony Seda.
• Other Names: Hitzler, Pascal; Seda, Anthony
• Contents: 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts.
• Publisher Details: Boca Raton, FL : CRC Press
• Publication Date: 2011
• Copyright Date: 2011
• Extent: 1 online resource (xxx, 274 pages), illustrations
• Subjects: 005.115 H676; Logic programming; Programming languages (Electronic computers) -- Semantics; Logic programming; Programming languages (Electronic computers) -- Semantics; COMPUTERS -- Programming -- General; MATHEMATICS -- Logic; Logic programming; Programming languages (Electronic computers) -- Semantics; Electronic books
• Languages: English
• ISBNs: 9781439829622; 1439829624
• Related ISBNs: 9781439829615; 1439829616
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.