Answer set programming. ([2019])
- Record Type:
- Book
- Title:
- Answer set programming. ([2019])
- Main Title:
- Answer set programming
- Further Information:
- Note: By Vladimir Lifschitz.
- Authors:
- Lifschitz, Vladimir
- Contents:
- Introduction.- Input Language of CLINGO.- Combinatorial Search.- Propositional Programs and Minimal Models.- Programs with Negation.- Mathematics of Stable Models.- More about the Language of CLINGO.- Dynamic Systems.- Conclusion.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2019
- Extent:
- 1 online resource (xi, 190 pages), illustrations
- Subjects:
- 005.13
Logic programming
Artificial intelligence
Electronic books - Languages:
- English
- ISBNs:
- 9783030246587
3030246582 - Related ISBNs:
- 9783030246570
- Notes:
- Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed September 16, 2019). - 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.453411
- Ingest File:
- 02_589.xml