Logics in Artificial Intelligence | 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings | Joao Leite (u. a.) | Taschenbuch | Paperback | XVI | Englisch - Taschenbuch

EAN (ISBN-13): 9783319115573
ISBN (ISBN-10): 331911557X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2014-10-10T07:00:36+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-11T13:45:01+01:00 (Vienna)
ISBN/EAN: 9783319115573

ISBN - alternative Schreibweisen:
3-319-11557-X, 978-3-319-11557-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: what logics mean, madeira, funchal, portugal, intelligence artificial, ferme, september

---

Daten vom Verlag:

Autor/in: Eduardo Fermé; Joao Leite
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
Verlag: Springer; Springer International Publishing
704 Seiten
Erscheinungsjahr: 2014-09-08
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVI, 704 p. 88 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; answer set programming; argumentation; automated reasoning; belief revision; data mining; databases; description logics; fuzzy logic programming; hypergraph; knowledge representation and reasoning; logic programming; logics for uncertain and probabilistic reasoning; non-classical logics; nonmonotonic reasoning; query processing; reasoning about actions and causality; similarity orders; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Information Storage and Retrieval; Database Management; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Informationsrückgewinnung, Information Retrieval; Data Warehousing; Datenbanken; EA

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.