MARC details
000 -LEADER |
fixed length control field |
06561nam a22005415i 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20231104114312.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
150914s2015 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783319232645 |
Canceled/invalid ISBN |
978-3-319-23264-5 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-319-23264-5 |
Source of number or code |
doi |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
TR-AnTOB |
Language of cataloging |
eng |
Transcribing agency |
TR-AnTOB |
Description conventions |
rda |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q334-342 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UYQ |
Source |
bicssc |
|
Subject category code |
COM004000 |
Source |
bisacsh |
|
Subject category code |
UYQ |
Source |
thema006.3 |
-- |
23 |
041 ## - LANGUAGE CODE |
Language code of text/sound track or separate title |
İngilizce |
245 10 - TITLE STATEMENT |
Title |
Logic Programming and Nonmonotonic Reasoning : |
Remainder of title |
13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / |
Statement of responsibility, etc. |
edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. |
250 ## - EDITION STATEMENT |
Edition statement |
1st ed. 2015. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Cham : |
Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
-- |
Imprint: Springer, |
Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 0# - SERIES STATEMENT |
Series statement |
Lecture Notes in Artificial Intelligence ; |
Volume/sequential designation |
9345 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Invited Talk: Stable Models for Temporal Theories -- Invited Talk: Algorithmic Decision Theory meets Logic -- Invited Talk: Relational and Semantic Data Mining -- Shift-design with Answer Set Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics -- Integrating ASP into ROS for Reasoning in Robots -- Automated inference of rules with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions for Intelligent Agents (Extended Abstract) -- Answer Set Programming modulo Acyclicity -- A Framework for Goal-Directed Query Evaluation with Negation -- Implementing preferences with aspirin -- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP -- Performance Tuning in Answer Set Programming -- Enablers and Inhibitors in Causal Justifications of Logic Programs -- Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams -- Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments -- Digital Forensics Evidence Analysis: An Answer Set Programming -- Approach for Generating Investigation Hypotheses -- A Formal Theory of Justifications -- A New Computational Logic Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open-world Knowledge Bases using Nonmonotonic Rules -- ASP, Amalgamation, and the Conceptual Blending Workflow -- Diagnostic Reasoning for Robotics using Action Languages -- OOASP: Connecting Object-oriented and Logic Programming -- Reasoning with Forest Logic Programs Using Fully Enriched Automata -- ASP Solving for Expanding Universes -- Progress in clasp series 3 -- Combining Heuristics for Configuration Problems Using Answer Set Programming -- Infinitary Equilibrium Logic and Strong Equivalence -- On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM -- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy answer set programs -- Characterizing and Explaining Inconsistency in Logic Programs -- An Implementation of Consistency-Based Multi-Agent Belief Change using ASP -- ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy -- Logic Programming with Graded Modality.-The Design of the Sixth Answer Set Programming Competition -- Doctoral Consortium Extended Abstract: Planning With Concurrent Transaction Logic -- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences -- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access -- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 29 long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Artificial intelligence. |
|
Topical term or geographic name entry element |
Computational complexity. |
|
Topical term or geographic name entry element |
Logic design. |
|
Topical term or geographic name entry element |
Computer science. |
|
Topical term or geographic name entry element |
Software engineering. |
|
Topical term or geographic name entry element |
Artificial Intelligence. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I21000 |
|
Topical term or geographic name entry element |
Discrete Mathematics in Computer Science. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I17028 |
|
Topical term or geographic name entry element |
Logics and Meanings of Programs. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I1603X |
|
Topical term or geographic name entry element |
Mathematical Logic and Formal Languages. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16048 |
|
Topical term or geographic name entry element |
Software Engineering. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14029 |
|
Topical term or geographic name entry element |
Programming Techniques. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14010 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Calimeri, Francesco. |
Relator term |
editor. |
Relator code |
edt |
-- |
http://id.loc.gov/vocabulary/relators/edt |
|
Personal name |
Ianni, Giovambattista. |
Relator term |
editor. |
Relator code |
edt |
-- |
http://id.loc.gov/vocabulary/relators/edt |
|
Personal name |
Truszczynski, Miroslaw. |
Relator term |
editor. |
Relator code |
edt |
-- |
http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a> |
Materials specified |
Springer eBooks |
Public note |
Online access link to the resource |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Library of Congress Classification |
Koha item type |
E-Book |