LEADER 00956nam a2200253 i 4500 001 991001475249707536 008 111114s2007 it b 0 1 ita d 020 $a8875810176 035 $ab14020439-39ule_inst 040 $aDip.to Lingue$bita 100 1 $aKoesters Gensini, Sabine Elisabeth$0435028 245 10$aFonetica e fonologia del tedesco /$cSabine Elisabeth Koesters Gensini 260 $aBari :$bB.A. Graphis,$c2005 300 $av, 146 p. ;$c20 cm 440 4$aGli strumenti.$pSerie rossa ;$v3 504 $aContiene riferimenti bibliografici 650 04$aLingua tedesca$xFonologia 650 04$aLingua tedesca$xFonetica 907 $a.b14020439$b28-01-14$c14-11-11 912 $a991001475249707536 945 $aLE012 431.5 KOE$g1$i2012000448582$lle012$o-$pE0.00$q-$rl$s- $t0$u2$v0$w2$x0$y.i15345191$z14-11-11 996 $aFonetica e fonologia del tedesco$9242884 997 $aUNISALENTO 998 $ale012$b14-11-11$cm$da $e-$fita$git $h0$i0 LEADER 04338nam 22007095 450 001 9910349281103321 005 20250825210156.0 010 $a3-030-31095-7 024 7 $a10.1007/978-3-030-31095-0 035 $a(CKB)4100000009273700 035 $a(DE-He213)978-3-030-31095-0 035 $a(MiAaPQ)EBC5925535 035 $a(PPN)255469209 035 $a(EXLCZ)994100000009273700 100 $a20190913d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRules and Reasoning $eThird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16?19, 2019, Proceedings /$fedited by Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XVI, 207 p. 284 illus., 18 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11784 311 08$a3-030-31094-9 327 $aFull Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Lite? with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions?Introducing the ??ower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. 330 $aThis book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely ?RuleML? (International Web Rule Symposium) and ?RR? (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11784 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science 606 $aInformation technology$xManagement 606 $aSoftware engineering 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Application in Administrative Data Processing 606 $aSoftware Engineering 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aInformation technology$xManagement. 615 0$aSoftware engineering. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Application in Administrative Data Processing. 615 24$aSoftware Engineering. 676 $a005.1015113 676 $a005.1015113 702 $aFodor$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMontali$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCalvanese$b Diego$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoman$b Dumitru$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349281103321 996 $aRules and Reasoning$92585543 997 $aUNINA