Atjaunināt sīkdatņu piekrišanu

E-grāmata: Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 5293
  • Izdošanas datums: 25-Sep-2008
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540878032
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 5293
  • Izdošanas datums: 25-Sep-2008
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540878032
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
Invited Talks.- Justification Logic.- Voting in Combinatorial Domains:
What Logic and AI Have to Say.- Regular Papers.- Strongly Equivalent Temporal
Logic Programs.- Consistency Preservation and Crazy Formulas in BMS.-
Propositional Clausal Defeasible Logic.- Complexity and Succinctness Issues
for Linear-Time Hybrid Logics.- Optimal Tableaux for Right Propositional
Neighborhood Logic over Linear Orders.- Normal Form Nested Programs.- A Logic
for Closed-World Interaction.- Declarative Semantics for Revision Programming
and Connections to Active Integrity Constraints.- Recovering Consistency by
Forgetting Inconsistency.- On the Credal Structure of Consistent
Probabilities.- A Fluent Calculus Semantics for ADL with Plan Constraints.-
Computational Complexity of Semi-stable Semantics in Abstract Argumentation
Frameworks.- Query Answering in the Description Logic Horn- .-
Accommodative Belief Revision.- Reasoning about Typicality in Preferential
Description Logics.- Counting Complexity of Minimal Cardinality and Minimal
Weight Abduction.- Uniform Interpolation by Resolution in Modal Logic.- GOAL
Agents Instantiate Intention Logic.- Linear Exponentials as Resource
Operators: A Decidable First-order Linear Logic with Bounded Exponentials.-
Fibrational Semantics for Many-Valued Logic Programs: Grounds for
Non-Groundness.- Confluence Operators.- A Game-Theoretic Measure of Argument
Strength for Abstract Argumentation.- A Tableau for RoBCTL.- A
Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common
Subsumer in w.r.t. Hybrid TBoxes.- Extending Carin to the Description
Logics of the Family.- How to Restore Compactness into Probabilistic
Logics?.- Combining Modes of Reasoning: An Application of Abstract
Argumentation.- Cheap Boolean Role Constructors for Description Logics.-
Improved Second-Order Quantifier Elimination in Modal Logic.- Literal
Projection for First-Order Logic.- Meta Level Reasoning and Default
Reasoning.- Rule Calculus: Semantics, Axioms and Applications.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97835408780322e.html
Keywords: