Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 1997 : selected papers /
Corporate Author: | |
---|---|
Other Authors: | , , , , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c1998
Berlin ; New York : ©1998 |
Series: | Lecture notes in computer science ;
1471 Lecture notes in computer science Lecture notes in artificial intelligence. Lecture notes in computer science 1471 |
Subjects: |
LEADER | 07947nam a2201465 a 4500 | ||
---|---|---|---|
001 | 2e6eed1d-8583-486f-9ed7-a10fa4b6c11d | ||
005 | 20240926000000.0 | ||
008 | 980731s1998 gw a b 101 0 eng | ||
010 | |a 98038787 | ||
010 | |a 98038787 | ||
015 | |a 98,N39,0423 |2 dnb | ||
015 | |a GB98-81118 | ||
015 | |a GB9881118 |2 bnb | ||
016 | 7 | |a 954193202 |2 DE-101 | |
019 | |a 40397284 |a 456618914 | ||
019 | |a 40397284 | ||
020 | |a 3540649581 (softcover : alk. paper) | ||
020 | |a 3540649581 |q (softcover : |q alk. paper) | ||
020 | |a 9783540649588 (softcover : alk. paper) | ||
020 | |a 9783540649588 |q (softcover : |q alk. paper) | ||
024 | 3 | |a 9783540649588 | |
035 | |a (MCM)000867864MIT01 | ||
035 | |a (MdBJ)2046770 | ||
035 | |a (OCoLC)39655033 | ||
035 | |a (OCoLC)40397284 | ||
035 | |a (OCoLC-I)275362734 | ||
035 | |a (OCoLC-M)123281283 | ||
035 | |a (Sirsi) a3962292 | ||
035 | |a (Sirsi) ocm39655033 | ||
035 | |a 2046770 | ||
035 | |a ocm39655033 | ||
035 | |l (OCoLC)48924466 | ||
035 | |z (OCoLC)40397284 |z (OCoLC)456618914 | ||
040 | |a DLC |b eng |c DLC |d GZM |d OHX |d UKM |d PMC |d UBA |d C$Q |d NLGGC |d BAKER |d BTCTA |d LVB |d YDXCP |d OCLCG |d OCLCQ |d ZWZ |d DEBBG |d GW5XE |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCF |d OCLCO |d OCLCA |d OCLCQ |d OCLCO |d QE2 |d BDX |d OCLCQ |d OCL |d OCLCO |d NhCcYME | ||
040 | |a DLC |c DLC |d CSt | ||
040 | |a DLC |c DLC |d GZM |d OHX |d UKM |d PMC |d UBA |d C$Q |d NLGGC |d BAKER |d BTCTA |d LVB |d YDXCP |d OCLCG |d OCLCQ |d ZWZ |d DEBBG |d MYG |d OrLoB-B | ||
049 | |a JHEE | ||
049 | |a MYGG | ||
050 | 0 | 0 | |a QA76.63 |b .737 1997 |
050 | 0 | 0 | |a QA76.63 |b .L737 1997 |
055 | 3 | |a QA75 |b .L38 no.1471 | |
072 | 7 | |a QA |2 lcco | |
082 | 0 | 0 | |a 005.1/15 |2 21 |
084 | |a 28 |2 sdnb | ||
084 | |a 30 |2 sdnb | ||
084 | |a 54.51 |2 bcl | ||
084 | |a DAT 703f |2 stub | ||
084 | |a DAT 706f |2 stub | ||
084 | |a SS 1997 |2 rvk | ||
084 | |a SS 4800 |2 rvk | ||
084 | |a ST 240 |2 rvk | ||
111 | 2 | |a LPKR'97 |d (1997 : |c Port Jefferson, N.Y.) | |
245 | 1 | 0 | |a Logic programming and knowledge representation : |b Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 1997 : selected papers / |c Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds) |
260 | |a Berlin ; |a New York : |b Springer, |c c1998 | ||
260 | |a Berlin ; |a New York : |b Springer, |c ©1998 | ||
300 | |a viii, 246 p. : |b ill. ; |c 24 cm | ||
300 | |a viii, 246 pages : |b illustrations ; |c 24 cm | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a unmediated |b n |2 rdamedia | ||
338 | |a volume |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science ; |v 1471 |a Lecture notes in artificial intelligence | |
504 | |a Includes bibliographical references | ||
505 | 0 | 0 | |a note: |t Introduction: Knowledge Representation with Logic Programs / |r J. Dix / |r G. Brewka -- |t DATALOG with Nested Rules / |r N. Leone / |r S. Greco / |r F. Scarcello -- |t Partial Evidential Stable Models for Disjunctive Deductive Databases / |r D. Seipel -- |t Disjunctive Logic Programming and Autoepistemic Logic / |r L.-Y. Yuan / |r J.-H. You / |r R. Goebel -- |t System for Abductive Learning of Logic Programs / |r P. Mello / |r M. Milano / |r E. Lamma -- |t Refining Action Theories through Abductive Logic Programming / |r I. Moniz Pereira / |r V. Dahl / |r R. Li -- |t Abduction, Argumentation and Bi-Disjunctive Logic Programs / |r K. Wang / |r H. Chen -- |t Reasoning with Prioritized Defaults / |r T. C. Son / |r M. Gelfond |
505 | 0 | 0 | |t Introduction: Knowledge Representation with Logic Programs / |r G. Brewka and J. Dix -- |t DATALOG with Nested Rules / |r S. Greco, N. Leone and F. Scarcello -- |t Partial Evidential Stable Models for Disjunctive Deductive Databases / |r D. Seipel -- |t Disjunctive Logic Programming and Autoepistemic Logic / |r L.-Y. Yuan, J.-H. You and R. Goebel -- |t A System for Abductive Learning of Logic Programs / |r E. Lamma, P. Mello and M. Milano -- |t Refining Action Theories through Abductive Logic Programming / |r R. Li, I. Moniz Pereira and V. Dahl -- |t Abduction, Argumentation and Bi-Disjunctive Logic Programs / |r K. Wang and H. Chen -- |t Reasoning with Prioritized Defaults / |r M. Gelfond and T. C. Son -- |t Generalizing Updates: From Models to Programs / |r J. A. Leite and L. Moniz Pereira |
530 | |a Also available online to subscribers. Full text in PDF version | ||
530 | |a Also available via the World Wide Web | ||
590 | |a OCLC |b WorldCat Holdings | ||
590 | |a SpringerLink |b Springer Lecture Notes in Computer Science | ||
650 | 0 | |a Knowledge representation (Information theory) |v Congresses | |
650 | 0 | |a Logic programming |v Congresses | |
650 | 4 | |a Abduction | |
650 | 4 | |a apprentissage | |
650 | 4 | |a disjonction | |
650 | 4 | |a programmation en logique | |
650 | 4 | |a raisonnement | |
650 | 4 | |a représentation connaissance | |
650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
650 | 7 | |a Logic programming |2 fast | |
650 | 7 | |a Programacao De Computadores |2 larpcal | |
650 | 7 | |a Programmation logique |x Congrès |2 ram | |
650 | 7 | |a Représentation des connaissances |x Congrès |2 ram | |
650 | 7 | |a abduction |2 inriac | |
650 | 7 | |a apprentissage |2 inriac | |
650 | 7 | |a disjonction |2 inriac | |
650 | 7 | |a programmation en logique |2 inriac | |
650 | 7 | |a raisonnement |2 inriac | |
650 | 7 | |a représentation connaissance |2 inriac | |
650 | 0 | 7 | |a Abduktion (Logik) |2 gnd |
650 | 0 | 7 | |a Abduktion (Logik) |2 swd |
650 | 0 | 7 | |a Disjunktion (Logik) |2 gnd |
650 | 0 | 7 | |a Disjunktion (Logik) |2 swd |
650 | 0 | 7 | |a Expertensystem |2 gnd |
650 | 0 | 7 | |a Expertensystem |2 swd |
650 | 0 | 7 | |a Formale Semantik |2 gnd |
650 | 0 | 7 | |a Formale Semantik |2 swd |
650 | 0 | 7 | |a Kongress |2 swd |
650 | 0 | 7 | |a Logische Programmierung |2 gnd |
650 | 0 | 7 | |a Logische Programmierung |2 swd |
650 | 0 | 7 | |a Wissensrepräsentation |2 swd |
650 | 0 | 7 | |a Wissensrepräsentation |2 gnd |
650 | 1 | 7 | |a Kunstmatige intelligentie |2 gtt |
650 | 1 | 7 | |a Logisch programmeren |2 gtt |
655 | 4 | |a Kongress |z New York (NY) |y 1998 | |
655 | 4 | |a Kongreß |z New York (NY) |y 1997 | |
655 | 7 | |a Conference papers and proceedings |2 fast | |
655 | 7 | |a Conference papers and proceedings |2 lcgft | |
655 | 7 | |a New York (NY, 1997) |2 swd | |
655 | 7 | |a New York (NY, 1998) |2 swd | |
700 | 1 | |a Dix, J |q (Jürgen), |d 1961- | |
700 | 1 | |a Dix, J |q (Jürgen), |d 1961- | |
700 | 1 | |a Pereira, Luís Moniz | |
700 | 1 | |a Pereira, Luís Moniz | |
700 | 1 | |a Przymusinski, Teodor C., |d 1947- | |
776 | 1 | |w (OCoLC)48924466 | |
830 | 0 | |a Lecture notes in computer science ; |v 1471 | |
830 | 0 | |a Lecture notes in computer science |p Lecture notes in artificial intelligence. | |
830 | 0 | |a Lecture notes in computer science |v 1471 | |
999 | 1 | 0 | |i 2e6eed1d-8583-486f-9ed7-a10fa4b6c11d |l a3962292 |s US-CST |m logic_programming_and_knowledge_representationthird_international_work_____1998_______sprina________________________________________lpkr97_____________________________e |
999 | 1 | 0 | |i 2e6eed1d-8583-486f-9ed7-a10fa4b6c11d |l 990008678640106761 |s US-MCM |m logic_programming_and_knowledge_representationthird_international_work_____1998_______sprina________________________________________lpkr97_____________________________e |
999 | 1 | 0 | |i 2e6eed1d-8583-486f-9ed7-a10fa4b6c11d |l 991017343009707861 |s US-MDBJ |m logic_programming_and_knowledge_representationthird_international_work_____1998_______sprina________________________________________lpkr97_____________________________e |
999 | 1 | 1 | |l a3962292 |s ISIL:US-CST |t BKS |b 50ee1681-4808-5201-a449-bfffb90794d2 |y 50ee1681-4808-5201-a449-bfffb90794d2 |p UNLOANABLE |
999 | 1 | 1 | |l a3962292 |s ISIL:US-CST |t BKS |a SAL3-STACKS |b 36105021305847 |c QA76.63 .L737 1997 |d Library of Congress classification |k 1 |x book |y 36105021305847 |p UNLOANABLE |
999 | 1 | 1 | |l a3962292 |s ISIL:US-CST |t BKS |a SUL-ELECTRONIC |p UNLOANABLE |
999 | 1 | 1 | |l 990008678640106761 |s ISIL:US-MCM |t BKS |a LSA OCC |b 39080016024850 |c QA76.63.L737 1997 |d 0 |x BOOK |y 23481941850006761 |p UNLOANABLE |
999 | 1 | 1 | |l 991017343009707861 |s ISIL:US-MDBJ |t BKS |a LSC shmoffs |b 31151017346911 |c QA76.63.L737 1997 |d 0 |x jhbooks |y 23400286890007861 |p LOANABLE |