+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 Proceedings - Michael Gelfond

Logic Programming and Nonmonotonic Reasoning

5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 Proceedings

By: Michael Gelfond (Editor), Nicole Leone (Editor), Gerald Pfeifer (Editor)

Paperback Published: 11th November 1999
ISBN: 9783540667490
Number Of Pages: 396

Share This Book:

Paperback

$147.02
or 4 easy payments of $36.76 with Learn more
Ships in 10 to 15 business days

Earn 294 Qantas Points
on this Book

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.

Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoningp. 1
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
Locally Determined Logic Programsp. 34
Annotated Revision Programsp. 49
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoningp. 63
An Argumentation Framework for Reasoning about Actions and Changesp. 78
Representing Transition Systems by Logic Programsp. 92
Transformations of Logic Programs Related to Causality and Planningp. 107
From Causal Theories to Logic Programs (Sometimes)p. 117
Monotone Expansion of Updates in Logical Databasesp. 132
Updating Extended Logic Programs through Abductionp. 147
LUPS - A Language for Updating Logic Programsp. 162
Pushing Goal Derivation in DLP Computationsp. 177
Linear Tabulated Resolution for Well Founded Semanticsp. 192
A Case Study in Using Preference Logic Grammars for Knowledge Representationp. 206
Minimal Founded Semantics for Disjunctive Logic Programmingp. 221
On the Role of Negation in Choice Logic Programsp. 236
Approximating Reiter's Default Logicp. 247
Coherent Well-founded Annotated Logic Programsp. 262
Many-Valued Disjunctive Logic Programs with Probabilistic Semanticsp. 277
Extending Disjunctive Logic Programming by T-normsp. 290
Extending the Stable Model Semantics with More Expressive Rulesp. 305
Stable Model Semantics for Weight Constraint Rulesp. 317
Towards First-Order Nonmonotonic Reasoningp. 332
Comparison of Sceptical NAF-Free Logic Programming Approachesp. 347
Characterizations of Classes of Programs by Three-Valued Operatorsp. 357
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract)p. 372
Answer Set Planning (Abstract)p. 373
World-Modeling vs. World-Axiomatizingp. 375
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problemsp. 389
Author Indexp. 391
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540667490
ISBN-10: 3540667490
Series: Lecture Notes in Artificial Intelligence
Audience: General
Format: Paperback
Language: English
Number Of Pages: 396
Published: 11th November 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.13
Weight (kg): 0.58
Edition Type: Annotated

Earn 294 Qantas Points
on this Book