Alpinestars

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

Description: Logic Programming and Nonmonotonic Reasoning by Marcello Balduccini, Tomi Janhunen This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications. Table of Contents Invited Talks.- The Design of the Seventh Answer Set Programming Competition.- A Birds-Eye View of Forgetting in Answer-Set Programming.- Answer Set Programming and its Applications in Planning and Multi-Agent Systems.- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models.- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics.- Foundations For A Probabilistic Event Calculus.- Contextual Reasoning: Usually Birds can Abductively Fly.- Including Quantification in Defeasible Reasoning for the Description Logic EL bot.- A Monotonic View on Reflexive Autoepistemic Reasoning.- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity.- Answer Set Programming.- Gelfond-Zhang aggregates as propositional formulas.- Answer Set Solving with Bounded Treewidth Revisited.- Vicious Circle Principle and Formation of Sets in ASP Based Languages.- Answer Set Programs with Queries over Subprograms.- Explaining Inconsistency in Answer Set Programs and Extensions.- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving.- Answer Set Programming with Graded Modality.- LPNMR Systems.- The ASP System DLV2.- lp2normal - A Normalization Tool for Extended Logic Programs.- Harvey: A System for Random Testing in ASP.- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.- ArgueApply: A Mobile App for Argumentation.- LPNMR Applications.- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming.- plasp 3: Towards effective ASP Planning.- Nurse Scheduling via Answer Set Programming.- Hybrid Metabolic Network Completion.- Action Language Hybrid AL.- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.- Adjudication of Coreference Annotations via Answer Set Optimization. Feature Includes supplementary material: sn.pub/extras Details ISBN3319616595 Year 2017 ISBN-10 3319616595 ISBN-13 9783319616599 Format Paperback Language English Media Book Edition 1st Imprint Springer International Publishing AG Subtitle 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Place of Publication Cham Country of Publication Switzerland Edited by Tomi Janhunen Illustrations 41 Illustrations, black and white; XIII, 359 p. 41 illus. Pages 359 Publication Date 2017-06-29 Short Title Logic Programming and Nonmonotonic Reasoning DOI 10.1007/978-3-319-61660-5 Series Number 10377 UK Release Date 2017-06-29 Author Tomi Janhunen Birth 1946 Affiliation Royal Victoria Infirmary, Newcastle Upon Tyne, UK Position Illustrator Publisher Springer International Publishing AG Edition Description 1st ed. 2017 DEWEY 005.115 Audience Professional & Vocational Series Lecture Notes in Computer Science 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:116518694;

Price: 131.66 AUD

Location: Melbourne

End Time: 2024-12-15T02:01:25.000Z

Shipping Cost: 75.34 AUD

Product Images

Logic Programming and Nonmonotonic Reasoning: 14th 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: 9783319616599

Book Title: Logic Programming and Nonmonotonic Reasoning

Number of Pages: 359 Pages

Language: English

Publication Name: Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Publisher: Springer International Publishing Ag

Publication Year: 2017

Subject: Computer Science, Mathematics

Item Height: 235 mm

Item Weight: 5679 g

Type: Textbook

Author: Marcello Balduccini, Tomi Janhunen

Item Width: 155 mm

Format: Paperback

Recommended

Logic Programming and Soft Computing (Uncertainty Theory in Artificial Intellige
Logic Programming and Soft Computing (Uncertainty Theory in Artificial Intellige

$8.29

View Details
Programmable Logic Controllers 5th Edition Hardware and Programming
Programmable Logic Controllers 5th Edition Hardware and Programming

$90.00

View Details
Programming: Visual Logic & Design
Programming: Visual Logic & Design

$25.00

View Details
Programming Logic and Design: With Elements of Linux Shell Script Prog - GOOD
Programming Logic and Design: With Elements of Linux Shell Script Prog - GOOD

$4.86

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

$20.00

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

$35.15

View Details
Programmable Logic Controllers: Hardware and Programming by Max Rabiee: Used
Programmable Logic Controllers: Hardware and Programming by Max Rabiee: Used

$21.04

View Details
Programmable Logic Controllers: Programming Methods and Applications - Hardc...
Programmable Logic Controllers: Programming Methods and Applications - Hardc...

$13.63

View Details
The Logic Programming Paradigm by Apt, K.; Marek, V. W.
The Logic Programming Paradigm by Apt, K.; Marek, V. W.

$16.08

View Details
Logic Modeling Methods in Program Evaluation Perfect Joy A. Frech
Logic Modeling Methods in Program Evaluation Perfect Joy A. Frech

$7.33

View Details