01994nam0 2200397 i 450 SUN004949320171010124953.37105-343-3892-50.00978-05-343-3892-320060810d1996 |0engc50 baengUS|||| |||||Numerical analysismathematics of scientific computingDavid Kincaid, Ward Cheney2. edPacific GroveBrooksCole1996XII, 804 p.24 cm.68W30Symbolic computation and algebraic computation [MSC 2020]MFSUNC01977165-XXNumerical analysis [MSC 2020]MFSUNC01977265LxxNumerical methods for ordinary differential equations [MSC 2020]MFSUNC02005265KxxNumerical methods for mathematical programming, optimization and variational techniques [MSC 2020]MFSUNC02271965DxxNumerical approximation and computational geometry (primarily algorithms) [MSC 2020]MFSUNC02298065HxxNonlinear algebraic or transcendental equations [MSC 2020]MFSUNC02305565FxxNumerical linear algebra [MSC 2020]MFSUNC023723Pacific GroveSUNL000467Kincaid, David R.SUNV039118726550Cheney, Elliott W.SUNV01462442554BrooksSUNV001899650Cheney, WardCheney, Elliott W.SUNV014625Cheney, Elliott WardCheney, Elliott W.SUNV039119ITSOL20201026RICASUN0049493UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 65-XX 2197 08 3824 I a 20060810 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 65-XX 2197 08 4594 I b 20061109 Numerical analysis1426338UNICAMPANIA05485nam 22006495 450 99646612970331620200704230045.03-540-39627-610.1007/11853886(CKB)1000000000283914(SSID)ssj0000318720(PQKBManifestationID)11241999(PQKBTitleCode)TC0000318720(PQKBWorkID)10310833(PQKB)11300302(DE-He213)978-3-540-39627-7(MiAaPQ)EBC3068099(PPN)123138078(EXLCZ)99100000000028391420100301d2006 u| 0engurnn|008mamaatxtccrLogics in Artificial Intelligence[electronic resource] 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XII, 520 p.) Lecture Notes in Artificial Intelligence ;4160Bibliographic Level Mode of Issuance: Monograph3-540-39625-X Includes bibliographical references and index.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.Lecture Notes in Artificial Intelligence ;4160Artificial intelligenceComputer programmingMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048JELIAArtificial intelligence.Computer programming.Mathematical logic.Artificial Intelligence.Programming Techniques.Mathematical Logic and Formal Languages.006.3Fisher Michaeledthttp://id.loc.gov/vocabulary/relators/edtvan der Hoek Wiebeedthttp://id.loc.gov/vocabulary/relators/edtKonev Borisedthttp://id.loc.gov/vocabulary/relators/edtLisitsa Alexeiedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466129703316Logics in Artificial Intelligence772596UNISA02221nam1 2200373 i 450 VAN002929220100920120000.020041202g1974 |0itac50 baitaIT|||| |||||Dizionario degli istituti di perfezionediretto da Guerrino Pelliccia e da Giancarlo RoccaRomaEdizioni paolinev.29 cm.001VAN00292972001 ˆ1: ‰A-Cam210 RomaEdizioni paoline1974215 XXXIV p., 1727 col.ill.29 cm.1001VAN00292992001 ˆ2: ‰Cambiagio-Conventualesimo210 RomaEdizioni Paoline1975215 XXVI p., 1726 col.ill.30 cm.2001VAN00293002001 ˆ3: ‰Conventuali-Figlie di Santa Rita210 RomaEdizioni Paoline1976215 XXVI p., 1734 col.ill.30 cm.3001VAN00292932001 ˆ4: ‰Figlie di Santa Teresa-Intreccialagli210 RomaEdizioni paoline1977215 XXVI, 1734 col.ill., tav.28 cm.4001VAN00293022001 ˆ5: ‰Iona-Monachesimo210 RomaEdizioni Paoline1978215 XXVI p., 1742 col.ill.30 cm.5001VAN00293032001 ˆ6: ‰Monachesimo urbano-Pinzoni210 RomaEdizioni paoline1980215 XXVI p., 1750 col.ill.30 cm.6001VAN00293042001 ˆ7: ‰Pio 2.-Rzadka210 RomaEdizioni paoline1983215 XXVI p., 2078 col.ill.30 cm.7001VAN00293062001 ˆ8: ‰Saba-Spirituali210 RomaEdizioni paoline1988215 XXXII p., 2040 col.ill.29 cm.8001VAN00293082001 ˆ9: ‰Spiritualita-Vezelay210 RomaEdizioni paoline1997215 XXVI, 1960 col.ill.29 cm.9Congregazioni religioseEnciclopedie e dizionariVANC013075FIOrdini religiosiEnciclopedie e dizionariVANC013076FIRomaVANL000360271.0035121PellicciaGuerrinoVANV024207RoccaGiancarloVANV024206PaolineVANV109969650ITSOL20230616RICAVAN0029292Dizionario degli istituti di perfezione161726UNICAMPANIA