• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Logic Programming and Nonmonotonic Reasoning :

پدید آورنده
edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.

موضوع
Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.

رده
QA76
.
63
.
L64
2019

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
3030205274
(Number (ISBN
3030205282
(Number (ISBN
9783030205270
(Number (ISBN
9783030205287
Erroneous ISBN
9783030205270

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Logic Programming and Nonmonotonic Reasoning :
General Material Designation
[Book]
Other Title Information
15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
First Statement of Responsibility
edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Cham :
Name of Publisher, Distributor, etc.
Springer International Publishing,
Date of Publication, Distribution, etc.
2019.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
1 online resource (xxi, 348 pages)

SERIES

Series Title
Lecture notes in artificial intelligence
Series Title
Lecture Notes in Artificial Intelligence ;
Series Title
LNCS Sublibrary: S L7, Artificial Intelligence
Volume Designation
11481

CONTENTS NOTE

Text of Note
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.
0

SUMMARY OR ABSTRACT

Text of Note
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.

ACQUISITION INFORMATION NOTE

Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030205287

TOPICAL NAME USED AS SUBJECT

Logic programming, Congresses.
Nonmonotonic reasoning, Congresses.
Logic programming.
Nonmonotonic reasoning.

DEWEY DECIMAL CLASSIFICATION

Number
005
.
1/15
Edition
23

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
63
Book number
.
L64
2019

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Balduccini, Marcello.
Lierler, Yuliya.
Woltran, Stefan.

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

International Conference on Logic Programming and Nonmonotonic Reasoning(15th :2019 :, Philadelphia, PA)

ORIGINATING SOURCE

Date of Transaction
20200823091532.0
Cataloguing Rules (Descriptive Conventions))
pn

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival