LEADER 02670oam 2200625I 450 001 9910451042803321 005 20200520144314.0 010 $a1-134-56067-2 010 $a1-280-40411-6 010 $a0-585-45326-8 010 $a0-203-46925-9 024 7 $a10.4324/9780203469255 035 $a(CKB)1000000000256269 035 $a(EBL)178476 035 $a(OCoLC)252825648 035 $a(SSID)ssj0000313623 035 $a(PQKBManifestationID)11214429 035 $a(PQKBTitleCode)TC0000313623 035 $a(PQKBWorkID)10358335 035 $a(PQKB)10774510 035 $a(MiAaPQ)EBC178476 035 $a(Au-PeEL)EBL178476 035 $a(CaPaEBR)ebr10100255 035 $a(CaONFJC)MIL40411 035 $a(OCoLC)52730722 035 $a(EXLCZ)991000000000256269 100 $a20180331d2002 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWorking with specialized language $ea practical guide to using corpora /$fLynne Bowker and Jennifer Pearson 210 1$aLondon ;$aNew York :$cRoutledge,$d2002. 215 $a1 online resource (257 p.) 300 $aDescription based upon print version of record. 311 $a0-415-23699-1 311 $a0-415-23698-3 320 $aIncludes bibliographical references (p. [234]-237) and index. 327 $aBook Cover; Title; Contents; List of figures; Acknowledgements; Introduction; Setting the scene; Introducing corpora and corpus analysis tools; Introducing LSP; Corpus design, compilation and processing; Designing a special purpose corpus; Compiling a special purpose corpus; Markup and annotation; Bilingual and multilingual corpora: pre-processing, alignment and exploitation; Introduction to basic corpus processing tools; Corpus-based applications in LSP; Building useful glossaries; Term extraction; Using LSP corpora as a writing guide; Using LSP corpora as a translation resource 327 $aOther applications and future directionsAppendix; Glossary; Bibliography; Index 330 $aThis book is ideal for translators, technical writers and subject specialists who are interested in exploring the potential of a corpus-based approach to teaching and learning LSP. 606 $aSublanguage$xData processing 608 $aElectronic books. 615 0$aSublanguage$xData processing. 676 $a418/.00285 700 $aBowker$b Lynne.$0481451 701 $aPearson$b Jennifer$0496085 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910451042803321 996 $aWorking with specialized language$9748171 997 $aUNINA LEADER 01627oam 2200409 a 450 001 9910698670703321 005 20090610132752.0 035 $a(CKB)4950000000103454 035 $a(OCoLC)300284350 035 $a(EXLCZ)994950000000103454 100 $a20090129d2008 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSecurity clearance reform$b[electronic resource] $eupgrading the gateway to the national security community /$fsubmitted by Mr. Reyes, Chariman, Permanent Select Committee on Intelligence 210 1$aWashington, D.C. :$cU.S. G.P.O.,$d2008. 215 $a1 electronic text (iii, 22 pages) $cHTML, digital, PDF file 225 1 $aReport / 110th Congress, 2d session, House of Representatives ;$v110-916 300 $aTitle from title screen (viewed on Jan. 29, 2009). 300 $a"November 20, 2008." 320 $aIncludes bibliographical references. 517 $aSecurity clearance reform 517 $aSECURITY CLEARANCE REFORM--UPGRADING THE GATEWAY TO THE NATIONAL SECURITY COMMUNITY SUBMITTED BY MR. REYES, CHAIRMAN, PERMANENT SELECT COMMITTEE ON INTELLIGENCE 606 $aSecurity clearances$zUnited States 606 $aNational security$zUnited States 607 $aUnited States$xOfficials and employees$xPersonnel management 615 0$aSecurity clearances 615 0$aNational security 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910698670703321 996 $aSecurity clearance reform$93442703 997 $aUNINA LEADER 06832nam 22007455 450 001 9910768186203321 005 20251116233942.0 010 $a9786610307975 010 $a3-540-24609-6 024 7 $a10.1007/b94792 035 $a(CKB)1000000000210122 035 $a(SSID)ssj0000193885 035 $a(PQKBManifestationID)11167652 035 $a(PQKBTitleCode)TC0000193885 035 $a(PQKBWorkID)10226699 035 $a(PQKB)11788250 035 $a(DE-He213)978-3-540-24609-1 035 $a(MiAaPQ)EBC3087636 035 $a(PPN)155197975 035 $a(BIP)9445651 035 $a(EXLCZ)991000000000210122 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning $e7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings /$fedited by Vladimir Lifschitz, Ilkka Niemelä 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 370 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2923 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-20721-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- Constraints and Probabilistic Networks: A Look At The Interface -- Toward A Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach -- Probabilistic Reasoning With Answer Sets -- Answer Sets: From Constraint Programming Towards Qualitative Optimization -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties -- Reasoning About Actions and Change in Answer Set Programming -- Almost Definite Causal Theories -- Simplifying Logic Programs Under Uniform and Strong Equivalence -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Graphs and Colorings for Answer Set Programming: Abridged Report -- Nondefinite vs. Definite Causal Theories -- Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying the Equivalence of Logic Programs in the Disjunctive Case -- Uniform Equivalence for Equilibrium Logic and Logic Programs -- Partial Stable Models for Logic Programs with Aggregates -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs -- Using Criticalities as a Heuristic for Answer Set Programming -- Planning with Preferences Using Logic Programming -- Planning with Sensing Actions and Incomplete Information Using Logic Programming -- Deduction in Ontologies via ASP -- Strong Equivalence for Causal Theories -- Answer Set Programming with Clause Learning -- Properties of Iterated Multiple Belief Revision -- System Descriptions -- System Description: DLV with Aggregates -- GNT ? A Solver for Disjunctive Logic Programs -- LPEQ and DLPEQ ? Translators for Automated Equivalence Testing of Logic Programs -- DLV DB : Bridging the Gap between ASP Systems and DBMSs -- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs -- WSAT(CC) ? A Fast Local-Search ASP Solver -- Smodels with CLP?A Treatment of Aggregates in ASP -- nlp: A Compiler for Nested Logic Programming. 330 $aThe papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6-8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscoveredthat their formalisms could be used to describe the behavior of negation as failure in Prolog,andthe'rstLPNMRmeetingwasconvenedforthepurposeofdiscussing thisrelationship.Thisworkhasledtothecreationoflogicprogrammingsystems of a new kind, answer set solvers, and to the emergence of a new approach to solving combinatorial search problems, called answer set programming. The highlights of LPNMR-7 were three invited talks, given by Rina Dechter (University of California, Irvine), Henry Kautz (University of Washington) and Torsten Schaub (University of Potsdam). The program also included 24 regular papers selected after a rigorous review process, 8 system descriptions, and 2 panels. We would like to thank the Program Committee members and additional reviewers for careful, unbiased evaluation of the submitted papers. We are also grateful to Paolo Ferraris for help with publicizing the Call for Papers, to Fred Ho'man for help with local organizational matters, and to Matti J¨ arvisalo for help with the organization of the electronic Program Committee meeting. 410 0$aLecture Notes in Artificial Intelligence ;$v2923 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer programming 606 $aLogic, Symbolic and mathematical 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 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 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aLogic, Symbolic and mathematical. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/15 702 $aLifschitz$b Vladimir$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNiemelä$b Ilkka$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPNMR 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768186203321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA