Logic Programming 1999 International (48 results)
Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyu Gakuen Toshi, Japan); Middeldorp, Aart; Sato, Taisuke
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.71
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.49
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyu Gakuen Toshi, Japan); Middeldorp, Aart; Sato, Taisuke
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.54
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings
Lpnmr 9 (1999 El Paso, Tex.); Leone, Nicola (EDT); Pfeifer, Gerald (EDT); Lpnmr 99; Gelfond, Michael (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.54
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.Midtown Scholar Bookstore
Contact seller5-star sellerCondition: Used - Fair
US$ 77.53
US$ 6.00 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Acceptable. Acceptable - This is a significantly damaged book. It should be considered a reading copy only. Please order this book only if you are interested in the content and not the condition. May be ex-library. PAPERBACK Standard-sized.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.86
US$ 20.72 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.86
US$ 20.72 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.94
US$ 20.72 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.98
US$ 16.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings
Lpnmr 9 (1999 El Paso, Tex.); Leone, Nicola (EDT); Pfeifer, Gerald (EDT); Lpnmr 99; Gelfond, Michael (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.38
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.28
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyu Gakuen Toshi, Japan); Middeldorp, Aart; Sato, Taisuke
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.28
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.35
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings
Lpnmr 9 (1999 El Paso, Tex.); Leone, Nicola (EDT); Pfeifer, Gerald (EDT); Lpnmr 99; Gelfond, Michael (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.97
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.07
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.77
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Logic Programming and Nonmonotonic Reasoning : 5th International Conference, Lpnmr '99, Ei Paso, Texas, Usa, December 2-4, 1999, Proceedings
Lpnmr 9 (1999 El Paso, Tex.); Leone, Nicola (EDT); Pfeifer, Gerald (EDT); Lpnmr 99; Gelfond, Michael (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.03
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyu Gakuen Toshi, Japan); Middeldorp, Aart; Sato, Taisuke
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.26
US$ 20.06 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 102.42
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: New. In shrink wrap. Looks like an interesting title.
Logic Programming : Proceedings of the 1999 International Conference on Logic Programming
International Conference on Logic Programming 1999 (Las Cruces, N. M.); De Schreye, Danny (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 129.41
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 71.25 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontains3invitedand24submittedpaperspresentedattheNinth InternationalWorkshoponInductiveLogicProgramming,ILP-99. The24acc- tedpaperswereselectedbytheprogramcommitteefromthe40paperssubmitted toILP-99. Eachpaperwasreviewedbythreereferees,ap…plyinghighreviewing standards. ILP-99washeldinBled,Slovenia,24{27June1999. Itwascollocatedwith theSixteenthInternationalConferenceonMachineLearning,ICML-99,held27{ 30June1999. On27June,ILP-99andICML-99weregivenajointinvitedtalk byJ. RossQuinlanandajointpostersessionwhereallthepapersacceptedat ILP-99andICML-99werepresented. TheproceedingsofICML-99(editedby IvanBratkoandSa soD zeroski)arepublishedbyMorganKaufmann. WewishtothankalltheauthorswhosubmittedtheirpaperstoILP-99,the programcommitteemembersandotherreviewersfortheirhelpinselectinga high-qualityprogram,andtheinvitedspeakers:DaphneKoller,HeikkiMannila, andJ. RossQuinlan. ThanksareduetoTanjaUrban ci candherteamandMajda Zidanskiandherteamfortheorganizationalsupportprovided. Wewishtothank AlfredHofmannandAnnaKramerofSpringer-Verlagfortheircooperationin publishing these proceedings. Finally, we gratefully acknowledge the nancial supportprovidedbythesponsorsofILP-99. April1999 Sa soD zeroski PeterFlach ILP-99ProgramCommittee FrancescoBergadano(UniversityofTorino) HenrikBostr om(UniversityofStockholm) IvanBratko(UniversityofLjubljana) WilliamCohen(AT&TResearchLabs) JamesCussens(UniversityofYork) LucDeRaedt(UniversityofLeuven) Sa soD zeroski(Jo zefStefanInstitute,co-chair) PeterFlach(UniversityofBristol,co-chair) AlanFrisch(UniversityofYork) KoichiFurukawa(KeioUniversity) RoniKhardon(UniversityofEdinburgh) NadaLavra c(Jo zefStefanInstitute) JohnLloyd(AustralianNationalUniversity) StanMatwin(UniversityofOttawa) RaymondMooney(UniversityofTexas) StephenMuggleton(UniversityofYork) Shan-HweiNienhuys-Cheng(UniversityofRotterdam) DavidPage(UniversityofLouisville) BernhardPfahringer(AustrianResearchInstituteforAI) CelineRouveirol(UniversityofParis) ClaudeSammut(UniversityofNewSouthWales) MicheleSebag(EcolePolytechnique) AshwinSrinivasan(UniversityofOxford) PrasadTadepalli(OregonStateUniversity) StefanWrobel(GMDResearchCenterforInformationTechnology) OrganizationalSupport TheAlbatrossCongressTouristAgency,Bled Center for Knowledge Transfer in Information Technologies, Jo zef Stefan Institute,Ljubljana SponsorsofILP-99 ILPnet2,NetworkofExcellenceinInductiveLogicProgramming COMPULOGNet,EuropeanNetworkofExcellenceinComputationalLogic Jo zefStefanInstitute,Ljubljana LPASoftware,Inc. UniversityofBristol TableofContents I InvitedPapers ProbabilisticRelationalModels D. Koller . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 InductiveDatabases(Abstract) H. Mannila. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 SomeElementsofMachineLearning(ExtendedAbstract) J. R. Quinlan. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 II ContributedPapers Re nementOperatorsCanBe(Weakly)Perfect L. Badea,M. Stanciu. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 CombiningDivide-and-ConquerandSeparate-and-ConquerforE cientand E ectiveRuleInduction H. Bostr om,L. Asker. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Re ningCompleteHypothesesinILP I. Bratko. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 AcquiringGraphicDesignKnowledge withNonmonotonicInductiveLearning K. Chiba,H. Ohwada,F. Mizoguchi. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 MorphosyntacticTaggingofSloveneUsingProgol J. Cussens,S. D zeroski,T. Erjavec . . . . . . . . . . . . . .
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 71.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for… presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr guez-Artalejo.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.87
US$ 72.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR 99) heldatElPaso,Texas,inDecember1999. LPNMR 99isthe fthinaseriesofinternationalmeetingsonlogicprogramming andnonmonoto…nicreasoning. FourpreviousmeetingswereheldinWashington, U. S. A. ,in1991,inLisbon,Portugal,in1993,inLexington,U. S. A. ,in1995,and inDagstuhl,Germany,in1997. TheaimoftheLPNMRconferencesisto- cilitateinteractionsbetweenresearchersinterestedinlogicbasedprogramming languagesanddatabasesystemsandresearcherswhoworkintheareasofk- wledgerepresentationandnonmonotonicreasoning. Inadditiontopresentationsofacceptedpaperstheconferencewillfeaturetalks byfourinvitedspeakers MarcoCadoli,VladimirLifschitz,DavidMcAllester, andLeoraMorgenstern. ManypeoplecontributedtothesuccessoftheLPNMR 99conference. Special thanksareduetotheprogramcommitteeandtheadditionalreviewersforcareful evaluationofthesubmittedpapers. WewouldalsoliketothankGopalGuptaand DannyDeSchreyefortheire ortsincoordinatingtheschedulesofICLP99and LPNMR99,andGeorgGottlob,chairoftheLPNMRsteeringcommittee,who providedcontinuousadviseandsupporttotheprogramchairs. Theconference was nanciallysupportedbytheUniversityofTexasatElPasoandCompulog NetprovidedsupportforaEuropeaninvitedspeaker. December1999 MichaelGelfond NicolaLeone GeraldPfeifer ConferenceOrganization ProgramCo-Chairs MichaelGelfond(UniversityofTexasatElPaso,USA) NicolaLeone(ViennaUniversityofTechnology,Austria) ProgramCommittee JoseJulioAlferes(UniversidadedeEvora,Portugal) ChittaBaral(UniversityofTexasatElPaso,USA) NicoleBidoit(Universit edeBordeaux1,France) J urgenDix(UniversityofKoblenz,Germany) ThomasEiter(ViennaUniversityofTechnology,Austria) FangzhenLin(TheHongKongUniversityofScienceandTechnology,China) 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). . . . . . . . . . . . . . . . .
