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
- 20% Preț: 741.34 lei
- 20% Preț: 340.22 lei
- 20% Preț: 343.43 lei
- 20% Preț: 315.18 lei
- 20% Preț: 327.41 lei
- 20% Preț: 1031.06 lei
- 20% Preț: 438.67 lei
- 20% Preț: 315.76 lei
- 20% Preț: 330.61 lei
- 20% Preț: 148.66 lei
- 20% Preț: 122.89 lei
- 20% Preț: 995.03 lei
- 20% Preț: 562.71 lei
- 20% Preț: 237.99 lei
- 20% Preț: 504.57 lei
- 20% Preț: 332.20 lei
- 15% Preț: 563.85 lei
- 20% Preț: 636.26 lei
- 5% Preț: 365.59 lei
- 20% Preț: 321.95 lei
- 20% Preț: 310.26 lei
- 20% Preț: 607.38 lei
- Preț: 370.38 lei
- 20% Preț: 172.68 lei
- 20% Preț: 315.76 lei
- 20% Preț: 662.78 lei
- 20% Preț: 256.26 lei
- 20% Preț: 440.36 lei
- 20% Preț: 626.79 lei
- 20% Preț: 566.70 lei
- 17% Preț: 360.19 lei
- 20% Preț: 309.90 lei
- 20% Preț: 579.38 lei
- 20% Preț: 301.94 lei
- 20% Preț: 307.71 lei
- 20% Preț: 369.12 lei
- 20% Preț: 330.61 lei
- 20% Preț: 1044.38 lei
- 20% Preț: 574.58 lei
- Preț: 399.17 lei
- 20% Preț: 802.24 lei
- 20% Preț: 569.11 lei
- 20% Preț: 1374.12 lei
- 20% Preț: 333.84 lei
- 20% Preț: 538.29 lei
- 20% Preț: 326.97 lei
Preț: 343.26 lei
Preț vechi: 429.07 lei
-20% Nou
Puncte Express: 515
Preț estimativ în valută:
65.70€ • 68.48$ • 54.69£
65.70€ • 68.48$ • 54.69£
Carte tipărită la comandă
Livrare economică 04-18 ianuarie 25
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.