Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Logics in Artificial Intelligence (Record no. 402133)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 06476nam a22005895i 4500
001 - Контрольный номер
Контрольное поле vtls000544094
005 - Дата корректировки
Контрольное поле 20210922083007.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319115580
-- 978-3-319-11558-0
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-11558-0
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000544094
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс Q334-342
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс TJ210.2-211.495
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории UYQ
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории TJFM1
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории COM004000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 006.3
Номер издания 23
245 10 - Заглавие
Заглавие Logics in Artificial Intelligence
Физический носитель electronic resource
Продолж. заглавия 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
Ответственность edited by Eduardo Fermé, João Leite.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем XVI, 704 p. 88 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Lecture Notes in Computer Science,
ISSN серии 0302-9743 ;
№ тома 8761
505 0# - Примечание о содержании
Содержание Query Answering over Description Logic Ontologies -- Tools for the Investigation of Substructural and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of Transformations -- Opportunities for Argument-Centric Persuasion in Behaviour Change -- The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics -- Tight Complexity Bounds for Reasoning in the Description Logic BEL -- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics -- Error-Tolerant Reasoning in the Description Logic EL -- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations -- SAT Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations of Possibilistic Keys -- Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information -- LEG Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC to PDL -- On the Expressiveness of the Interval Logic of Allen’s Relations over Finite and Discrete Linear Orders -- Only-Knowing a la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes -- Inductive Learning of Answer Set Programs -- Stable Models of Fuzzy Propositional Formulas -- A Free Logic for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive Plausibility Indifference -- Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination -- Revisiting Postulates for Inconsistency Measures -- A Translation-Based Approach for Revision of Argumentation Frameworks -- Dealing with Inconsistency in ASP and DL Preserving Strong Equivalence while Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases -- Modular Paracoherent Answer Sets -- Action Theories over Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints -- Similarity Orders from Causal Equations -- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing ASPMT Theories by SMT Solvers -- A Library of Anti-unification Algorithms -- The D-FLAT System for Dynamic Programming on Tree Decompositions -- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance -- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search -- Short Papers -- Probabilistic Abstract Dialectical Frameworks -- Argumentative Aggregation of Individual Opinions -- Measuring Dissimilarity between Judgment Sets -- Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario -- Reasoning about Dynamic Normative Systems -- A Modal Logic of Knowledge, Belief, and Estimation -- A Logic for Belief Contraction -- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm for Computing Temporal Invariants -- Answer Set Solver Backdoors -- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem -- Revisiting Reductants in the Multi-adjoint Logic Programming Framework.
520 ## - Аннотация
Аннотация This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.
650 #0 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 #0 - Тематические рубрики
Основная рубрика Logic design.
9 (RLIN) 306256
650 #0 - Тематические рубрики
Основная рубрика Database management.
9 (RLIN) 566224
650 #0 - Тематические рубрики
Основная рубрика Information storage and retrieval systems.
9 (RLIN) 137013
650 #0 - Тематические рубрики
Основная рубрика Artificial intelligence.
9 (RLIN) 274099
650 14 - Тематические рубрики
Основная рубрика Computer Science.
9 (RLIN) 155490
650 24 - Тематические рубрики
Основная рубрика Artificial Intelligence (incl. Robotics).
9 (RLIN) 274102
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Formal Languages.
9 (RLIN) 303363
650 24 - Тематические рубрики
Основная рубрика Logics and Meanings of Programs.
9 (RLIN) 306257
650 24 - Тематические рубрики
Основная рубрика Programming Techniques.
9 (RLIN) 566312
650 24 - Тематические рубрики
Основная рубрика Information Storage and Retrieval.
9 (RLIN) 303027
650 24 - Тематические рубрики
Основная рубрика Database Management.
9 (RLIN) 566226
700 1# - Другие авторы
Другие авторы Fermé, Eduardo.
Роль лиц editor.
9 (RLIN) 451930
700 1# - Другие авторы
Другие авторы Leite, João.
Роль лиц editor.
9 (RLIN) 319027
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Lecture Notes in Computer Science,
9 (RLIN) 279505
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SCS
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-LNC
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 402133

No items available.