Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Description
. . . . . . . . . . 190 PascalFontaine,E. PascalGribomont XII TableofContents OnExpressiveDescriptionLogicswithCompositionofRolesin NumberRestrictions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 FabioGrandi QueryOptimizationofDisjunctiveDatabaseswithConstraints throughBindingPropagation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 GianluigiGreco,SergioGreco,IrinaTrubtsyna,EsterZumpano ANon-commutativeExtensionofMELL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 AlessioGuglielmi,LutzStraßburger ProceduralSemanticsforFuzzyDisjunctivePrograms. . . . . . . . . . . . . . . . . . 247 Du?sanGuller PushdownSpeci?cations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262 OrnaKupferman,NirPiterman,MosheY. Vardi TheoremProvingwithSequenceVariablesandFlexible AritySymbols. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Keywords
ComputersComputer ScienceSoftware Development & EngineeringIntelligence (AI) & SemanticsProgrammingInformation Technology
2002Book
Author(s)Andrei Voronkov, Matthias Baaz
PublisherSpringer Science & Business Media
ISBN9783540000105
LanguageEnglish
