Citronic

Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPN

Description: Logic Programming and Nonmonotonic Reasoning by Marcello Balduccini, Yuliya Lierler, Stefan Woltran This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions. The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems. FORMAT Paperback LANGUAGE English CONDITION Brand New Table of Contents Applications.- Train scheduling with hybrid ASP.- Telco Network Inventory Validation with NoHR.- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots.- C-ASP: Continuous ASP-based Reasoning over RDF Streams.- Internet Routing and Non-Monotonic Reasoning.- Argumentation.- Assessing arguments with schemes and fallacies.- Simple Contrapositive Assumption-Based Frameworks.- Argumentation-based Explanations for Answer Sets using ADF.- Foundations and Complexity.- Treewidth and Counting Projected Answer Sets.- Splitting Epistemic Logic Programs.- Founded World Views with Autoepistemic Equilibrium Logic.- Towards Dynamic Answer Set Programming over finite traces.- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur.- Knowledge Representation and Reasoning.- Diagnosing Data Pipeline Failures Using Action Languages.- Repair-Based Degrees of Database Inconsistency.- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies.- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+.- Systems.- Evaluation of disjunctive programs in WASP.- telinge = ASP + Time.- Verifying Strong Equivalence of Programs in the Input Language of GRINGO.- The return of XORRO.- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving.- Enhancing DLV for Large-Scale Reasoning.- Pruning External Minimality Checking for ASP Using Semantic Dependencies.- Declarative local search for predicate logic. Details ISBN3030205274 Language English Year 2019 ISBN-10 3030205274 ISBN-13 9783030205270 Format Paperback Pages 348 Publication Date 2019-05-12 Short Title Logic Programming and Nonmonotonic Reasoning Subtitle 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings DOI 10.1007/978-3-030-20528-7 Series Number 11481 UK Release Date 2019-05-12 Edition 1st Imprint Springer Nature Switzerland AG Place of Publication Cham Country of Publication Switzerland Illustrations 21 Illustrations, color; 766 Illustrations, black and white; XXI, 348 p. 787 illus., 21 illus. in color. Author Stefan Woltran Publisher Springer Nature Switzerland AG Edition Description 1st ed. 2019 Edited by Stefan Woltran DEWEY 005.115 Audience Professional & Vocational Series Lecture Notes in Artificial Intelligence We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:133000838;

Price: 116.58 AUD

Location: Melbourne

End Time: 2025-01-05T21:30:37.000Z

Shipping Cost: 11.37 AUD

Product Images

Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPN

Item Specifics

Restocking fee: No

Return shipping will be paid by: Buyer

Returns Accepted: Returns Accepted

Item must be returned within: 30 Days

ISBN-13: 9783030205270

Book Title: Logic Programming and Nonmonotonic Reasoning

Number of Pages: 348 Pages

Language: English

Publication Name: Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

Publisher: Springer Nature Switzerland Ag

Publication Year: 2019

Subject: Engineering & Technology, Government, Computer Science

Item Height: 235 mm

Item Weight: 569 g

Type: Textbook

Author: Yuliya Lierler, Marcello Balduccini, Stefan Woltran

Item Width: 155 mm

Format: Paperback

Recommended

Programming Logic and Design, Introductory - Paperback By Farrell, Joyce - GOOD
Programming Logic and Design, Introductory - Paperback By Farrell, Joyce - GOOD

$5.80

View Details
Starting Out with Programming Logic and Design (5th Edition) Tony Gaddis,  New
Starting Out with Programming Logic and Design (5th Edition) Tony Gaddis, New

$70.00

View Details
Programming Logic and Design, Comprehensive - Paperback By Farrell, Joyce - GOOD
Programming Logic and Design, Comprehensive - Paperback By Farrell, Joyce - GOOD

$7.47

View Details
Inductive Logic Programming: 29Th International Conference, Ilp 2019, Plovd...
Inductive Logic Programming: 29Th International Conference, Ilp 2019, Plovd...

$35.15

View Details
Programming Logic and Design, Comprehensive, Loose-leaf Version - GOOD
Programming Logic and Design, Comprehensive, Loose-leaf Version - GOOD

$20.83

View Details
MindTap Course List Ser.: Programming Logic and Design, Comprehensive by...
MindTap Course List Ser.: Programming Logic and Design, Comprehensive by...

$29.99

View Details
Learn How To Program And Troubleshoot Ladder Logic - paperback Green, Curtis
Learn How To Program And Troubleshoot Ladder Logic - paperback Green, Curtis

$17.59

View Details
How to Prove It: A Structured Approach
How to Prove It: A Structured Approach

$26.99

View Details
Programming Logic and Design: Comprehensive by Farrell, Joyce
Programming Logic and Design: Comprehensive by Farrell, Joyce

$5.26

View Details
Logic Programming: Systematic Program Development Yves Deville TB7
Logic Programming: Systematic Program Development Yves Deville TB7

$17.88

View Details