banner-tegeler-buecherstube-hdneu.jpg

banner-buchhandlung-menger-hdneu.jpg

banner-buchhandlung-haberland-hdneu.jpg

banner-buchhandlung-anagramm-hd_1.jpg

0

Logic Programming and Nonmonotonic Reasoning

5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4,1999 Proceedings, Lecture Notes in Computer Science 1730 - Lecture Notes in Artificial Intelligence

Erschienen am 11.11.1999
53,49 €
(inkl. MwSt.)

Vorbestellung vorauss. lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540667490
Sprache: Englisch
Umfang: xii, 396 S.
Einband: kartoniertes Buch

Beschreibung

JackMinker(UniversityofMaryland,USA) AnilNerode(CornellUniversity,USA) IlkkaNiemela(HelsinkiUniversityofTechnology,Finland) DinoPedreschi(UniversityofPisa,Italy) PasqualeRullo(UniversityofCalabria,Rende,Italy) ChiakiSakama(WakayamaUniversity,Japan) V. S. Subrahmanian(UniversityofMaryland,USA) FrancescaToni(ImperialCollege,London,U. K. ) MiroslawTruszczynski(UniversityofKentuckyatLexington,USA) HudsonTurner(UniversityofMinnesotaatDuluth,USA) MosheY. Vardi(RiceUniversity,USA) Jia-HuaiYou(UniversityofAlberta,Canada) PublicityChair GeraldPfeifer(ViennaUniversityofTechnology,Austria) AdditionalReviewers RobertoBarbuti StefanBrass KrysiaBroda FrancescoBuccafurri CarlosDamasio AlexanderDekhtyar PhanMinhDung UweEgly WolfgangFaber SergioGreco Je Horty KatsumiInoue ConferenceOrganization VII TomiJanhunen ChrisJohnson AntonisKakas HirofumiKatsuno VladimirLifschitz JorgeLobo ThomasLukasiewicz So anMaabout GiuseppeManco VictorMarek CristinelMateis YujiMatsumoto IaraMora MircoNanni LuigiPalopoli LuisMonizPereira GeraldPfeifer InnaPivkina SalvatoreRuggieri FaribaSadri FrancescoScarcello DietmarSeipel HirohisaSeki PatrikSimons TerrySwift HansTompits UlrichZukowski KewenWang TableofContents ContributedPapers FixedParameterComplexityinAIandNonmonotonicReasoning. 1 G. Gottlob,F. Scarcello,M. Sideri ClassifyingSemi-NormalDefaultLogicontheBasisofitsExpressivePower 19 T. Janhunen LocallyDeterminedLogicPrograms. 34 D. Cenzer,J. B. Remmel,A. Vanderbilt AnnotatedRevisionPrograms. 49 V. Marek,I. Pivkina,M. Truszczynski Belief,Knowledge,Revisions,andaSemanticsofNon-MonotonicReasoning63 J. Sefranek AnArgumentationFrameworkforReasoningaboutActionsandChanges. 78 A. Kakas,R. Miller,F. Toni RepresentingTransitionSystemsbyLogicPrograms. 92 V. Lifschitz,H. Turner TransformationsofLogicProgramsRelatedtoCausalityandPlanning. 107 E. Erdem,V. Lifschitz FromCausalTheoriestoLogicPrograms(Sometimes). 117 F. Lin,K. Wang MonotoneExpansionofUpdatesinLogicalDatabases. 132 M. Dekhtyar,A. Dikovsky,S. Dudakov,N. Spyratos UpdatingExtendedLogicProgramsthroughAbduction. 147 C. Sakama,K. Inoue LUPS{ALanguageforUpdatingLogicPrograms. 162 J. J. Alferes,L. M. Pereira,H. Przymusinska,T. Przymusinski X TableofContents PushingGoalDerivationinDLPComputations. 177 W. Faber,N. Leone,G. Pfeifer LinearTabulatedResolutionforWellFoundedSemantics. 192 Y. Shen,L. Yuan,J. You,N. Zhou ACaseStudyinUsingPreferenceLogicGrammarsforKnowledge Representation. 206 B. Cui,T. Swift,D. S. Warren MinimalFoundedSemanticsforDisjunctiveLogicProgramming. 221 S. Greco OntheRoleofNegationinChoiceLogicPrograms. 236 M. DeVos,D. Vermeir ApproximatingReiter'sDefaultLogic. 247 T. Linke,T. Schaub CoherentWell-foundedAnnotatedLogicPrograms. 262 C. V. Dam asio,L. M. Pereira,T. Swift Many-ValuedDisjunctiveLogicProgramswithProbabilisticSemantics. 277 T. Lukasiewicz ExtendingDisjunctiveLogicProgrammingbyT-norms. 290 C. Mateis ExtendingtheStableModelSemanticswithMoreExpressiveRules. 305 P. Simons StableModelSemanticsforWeightConstraintRules. 317 I. Niemel¨a,P. Simons,T.