Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings: Lecture Notes in Computer Science, cartea 8761
Editat de Eduardo Fermé, Joao Leiteen Limba Engleză Paperback – 8 sep 2014
Din seria Lecture Notes in Computer Science
- 15% Preț: 549.48 lei
- 20% Preț: 322.44 lei
- 20% Preț: 324.00 lei
- Preț: 361.23 lei
- 20% Preț: 238.01 lei
- 20% Preț: 1017.66 lei
- 20% Preț: 322.44 lei
- 20% Preț: 438.69 lei
- 20% Preț: 611.22 lei
- 20% Preț: 325.58 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 1339.86 lei
- 20% Preț: 548.35 lei
- 20% Preț: 554.59 lei
- 17% Preț: 360.19 lei
- 20% Preț: 620.45 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1120.51 lei
- 20% Preț: 560.32 lei
- 20% Preț: 552.64 lei
- 20% Preț: 319.10 lei
- 20% Preț: 722.40 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- 20% Preț: 315.78 lei
- 20% Preț: 172.69 lei
- 20% Preț: 315.19 lei
- 20% Preț: 315.78 lei
- 20% Preț: 969.58 lei
- 20% Preț: 256.27 lei
- 20% Preț: 1005.39 lei
- 20% Preț: 782.28 lei
- 20% Preț: 301.95 lei
- 20% Preț: 504.57 lei
- 20% Preț: 722.90 lei
- 20% Preț: 369.12 lei
- 20% Preț: 334.72 lei
- 20% Preț: 550.29 lei
- Preț: 389.06 lei
- 20% Preț: 564.99 lei
- 20% Preț: 552.25 lei
- 20% Preț: 552.25 lei
- 20% Preț: 331.59 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 334.78 lei
Preț vechi: 418.48 lei
-20% Nou
Puncte Express: 502
Preț estimativ în valută:
64.09€ • 69.59$ • 53.90£
64.09€ • 69.59$ • 53.90£
Carte tipărită la comandă
Livrare economică 16-30 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319115573
ISBN-10: 331911557X
Pagini: 704
Ilustrații: XVI, 704 p. 88 illus.
Dimensiuni: 155 x 235 x 40 mm
Greutate: 0.99 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Cham, Switzerland
ISBN-10: 331911557X
Pagini: 704
Ilustrații: XVI, 704 p. 88 illus.
Dimensiuni: 155 x 235 x 40 mm
Greutate: 0.99 kg
Ediția:2014
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Cham, Switzerland
Public țintă
ResearchCuprins
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 whileForgetting.- 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.