Lisitsa alexei (30 risultati)

paperback. Condizione: Good. Crease on cover and a few pages*.

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 516.

Paperback. Condizione: Brand New. 534 pages. 9.25x6.10x1.08 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference onApplied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held inRamadi, Iraq, in September 2019.The 38 revised full papers and 1 short paper were carefully reviewed andselected from 159 submissions. The papers of this volume are organized in topical sections on theory, methods and tools to support computer science; computer security and cryptography; computer network and communication; real world application in information science and technology.…

Taschenbuch. Condizione: Neu. Logics in Artificial Intelligence | 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings | Michael Fisher (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540396253 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Applied Computing to Support Industry: Innovation and Technology | First International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019, Revised Selected Papers | Mohammed I. Khalaf (u. a.) | Taschenbuch | Communications in Computer and Information Science | xvi | Englisch | 2020 | Springer | EAN 9783030387518 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: new. Questo è un articolo print on demand.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International Conference onApplied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held inRamadi, Iraq, in September 2019.The 38 revised full papers and 1 short paper were carefully reviewed andselected from 159 submissions. The papers of this volume are organized in topical sections on theory, methods and tools to support computer science; computer security and cryptography; computer network and communication; real world application in information science and technology. 532 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning. 536 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006Presents 34 revised full papers and 12 revised tool description papers together with 3 invited talksCovers logic programming, description logics, no.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the First International Conference on&nbspApplied Computing to Support Industry: Innovation and Technology, ACRIT 2019, held in&nbspRamadi, Iraq, in September 2019.&nbspThe 38 revised .…

Condizione: New. Print on Demand pp. 516.

Condizione: New. PRINT ON DEMAND pp. 516.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Theory, Methods and Tools to support Computer Science.- Computer Security and Cryptography.- Computer Network and Communication.- Real World Application in Information Science and Technology.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 532 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- From Inductive Logic Programming to Relational Data Mining.- Answer Set Programming: A Declarative Approach to Solving Search Problems.- Inconsistencies in Ontologies.- Technical Papers.- On Arbitrary Selection Strategies for Basic Superposition.- An Event-Condition-Action Logic Programming Language.- Distance-Based Repairs of Databases.- Natural Deduction Calculus for Linear-Time Temporal Logic.- A STIT-Extension of ATL.- On the Logic and Computation of Partial Equilibrium Models.- Decidable Fragments of Logic Programming with Value Invention.- On the Issue of Reinstatement in Argumentation.- Comparing Action Descriptions Based on Semantic Preferences.- Modal Logics of Negotiation and Preference.- Representing Action Domains with Numeric-Valued Fluents.- Model Representation over Finite and Infinite Signatures.- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.- Analytic Tableau Calculi for KLM Rational Logic R.- On the Semantics of Logic Programs with Preferences.- A Modularity Approach for a Fragment of .- Whatever You Say.- Automatic Deductive Synthesis of Lisp Programs in the System ALISA.- A Fault-Tolerant Default Logic.- Reasoning About Actions Using Description Logics with General TBoxes.- Introducing Attempt in a Modal Logic of Intentional Action.- On Herbrand's Theorem for Intuitionistic Logic.- Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics.- Hierarchical Argumentation.- Anti-prenexing and Prenexing for Modal Logics.- A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic .- Fuzzy Answer Set Programming.- Reasoning About an Agent Based on Its Revision History with Missing Inputs.- Knowledge Base Revision in Description Logics.-Incomplete Knowledge in Hybrid Probabilistic Logic Programs.- A Formal Analysis of KGP Agents.- Irrelevant Updates and Nonmonotonic Assumptions.- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite.- Representing Causal Information About a Probabilistic Process.- Tool Descriptions.- A Tool to Facilitate Agent Deliberation.- An Implementation of a Lightweight Argumentation Engine for Agent Applications.- A Tool for Answering Queries on Action Descriptions.- An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.- April - An Inductive Logic Programming System.- optsat: A Tool for Solving SAT Related Optimization Problems.- Automated Reasoning About Metric and Topology.- The QBFEVAL Web Portal.- A Slicing Tool for Lazy Functional Logic Programs.- cc : A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.- A Logic-Based Tool for Semantic Information Extraction.- tarfa: Tableaux and Resolution for Finite Abduction.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 536 pp. Englisch. …