LEADER 01389nam2-22004211i-450- 001 990005414540203316 005 20050718120000.0 035 $a000541454 035 $aUSA01000541454 035 $a(ALEPH)000541454USA01 035 $a000541454 100 $a20050718d1972-------|0itac50------ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a<<2.: >> Problemi e prospettive del grande dettaglio$fIstituto Nazionale della Distribuzione$ga cura di Sergio Vacca 210 $aMilano$cAngeli$dc1972 215 $a185 p., [6] c. di tav. ripieg.$cpiante, tab.$d22 cm. 225 2$aINDIS$v16 410 1$12001$aINDIS$v16 461 1$1001000540326$12001$aRapporto sullo stato della distribuzione$v2 606 $aDistribuzione$2FI 620 $dMilano 676 $a380.1$cCommercio - magazzinaggio - marketing$v21 702 1$aVACCÀ,$bSergio 712 02$aIstituto nazionale della distribuzione$cRoma 801 $aIT$bSOL$c20120104 912 $a990005414540203316 950 $aDIP.TO SCIENZE ECONOMICHE - (SA)$dDS 300 380.1 VAC$e484 DISES 951 $a300 380.1 VAC$b484 DISES 959 $aBK 969 $aDISES 979 $c20121027$lUSA01$h1531 979 $c20121027$lUSA01$h1611 979 $aPATRY$b90$c20121114$lUSA01$h1447 996 $aProblemi e prospettive del grande dettaglio$91143089 997 $aUNISA NUM $aUSA15711 LEADER 05583nam 22006735 450 001 9910484273203321 005 20251226203714.0 010 $a3-540-39627-6 024 7 $a10.1007/11853886 035 $a(CKB)1000000000283914 035 $a(SSID)ssj0000318720 035 $a(PQKBManifestationID)11241999 035 $a(PQKBTitleCode)TC0000318720 035 $a(PQKBWorkID)10310833 035 $a(PQKB)11300302 035 $a(DE-He213)978-3-540-39627-7 035 $a(MiAaPQ)EBC3068099 035 $a(PPN)123138078 035 $a(BIP)34164258 035 $a(BIP)13618439 035 $a(EXLCZ)991000000000283914 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence $e10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /$fedited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 520 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4160 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-39625-X 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4160 606 $aArtificial intelligence 606 $aComputer programming 606 $aMachine theory 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aFormal Languages and Automata Theory 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aFormal Languages and Automata Theory. 676 $a006.3 701 $aFisher$b Michael$f1962-$01654860 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484273203321 996 $aLogics in artificial intelligence$94202597 997 $aUNINA