KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: Logics in Artificial Intelligence
Band 12678

Logics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings

Aus der Reihe Lecture Notes in Computer Science

88,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.05.2021

Abbildungen

XIII, 459 p. 60 illus., 36 illus. in color.

Herausgeber

Wolfgang Faber + weitere

Verlag

Springer

Seitenzahl

459

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-75774-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.05.2021

Abbildungen

XIII, 459 p. 60 illus., 36 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

459

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-75774-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logics in Artificial Intelligence
  • Produktbild: Logics in Artificial Intelligence

  • Graph-Classes of Argumentation Frameworks with Collective Attacks.- Introducing a Tool for Concurrent Argumentation.- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report.- Conditional Descriptor Revision and its Implementation by a CSP.- Trust is All You Need: From Belief Revision to Information Revision.- Computing Defeasible Meta-Logic.- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies.- An Epistemic Logic for Multi-Agent Systems with Budget and Costs.- Epistemic Reasoning About Rationality and Bids in Auction.- Tractable Combinations of Theories via Sampling.- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems.- Residuation for Lexicographic Orders.- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment.- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics.- ReAD: AD-Based Modular Ontology Classification.- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model.- A Computationally Grounded Logic of Graded Belief.- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals.- An Epistemic Probabilistic Logic With Conditional Probabilities.- On Syntactic Forgetting under Uniform Equivalence.- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP.- Tractable Reasoning Using Logic Programs with Intensional Concepts.- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor.- Testing in ASP: Revisited Language and Programming Environment.- An Abstract View on Optimizations in SAT and ASP.- Model Reconciliation in Logic Programs.- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt.- Transforming Gringo Rules Into Formulas in a Natural Way.- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework.- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem.