LEADER 00879cam0 2200265 450 001 E600200020664 005 20210430093223.0 100 $a20060925d1994 |||||ita|0103 ba 101 $aita 102 $aIT 200 1 $aPrepararsi agli esami$etecniche e strategie per superare gli esami universitari$fPaolo Legrenzi 210 $aBologna$cIl Mulino$d1994 215 $a148 p.$c21 cm 225 2 $aOrientamenti 410 1$1001LAEC00016395$12001 $a*Orientamenti 700 1$aLegrenzi$b, Paolo$3AF00016160$4070$051179 801 0$aIT$bUNISOB$c20210430$gRICA 850 $aUNISOB 852 $aUNISOB$j370$m89641 912 $aE600200020664 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a370$b001405$gSi$d89641$racquisto$1pregresso1$2UNISOB$3UNISOB$420060925074055.0$520190522094836.0$6bethb 996 $aPrepararsi agli esami$964226 997 $aUNISOB LEADER 05485nam 22006495 450 001 996466129703316 005 20200704230045.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(EXLCZ)991000000000283914 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $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 ;$v4160 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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. 410 0$aLecture Notes in Artificial Intelligence ;$v4160 606 $aArtificial intelligence 606 $aComputer programming 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 610 1 $aJELIA 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aFisher$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan der Hoek$b Wiebe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKonev$b Boris$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLisitsa$b Alexei$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466129703316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA