Tools

LEADER 02648cam a2200445 a 4500

001 ocm39655033;

003 OCoLC;

005 20141212131426.0;

008 980731s1998 gw a b 101 0 eng ;

010 a| 98038787;

015 a| GB98-81118;

019 a| 40397284;

020 a| 3540649581 (softcover : alk. paper);

035 a| (Sirsi) o39655033;

035 a| (OCoLC)39655033;

049 a| EREE;

050 00 a| QA76.63b| .L737 1998;

082 00 a| 005.1/152| 21;

111 2 a| LPKR'97d| (1997 :c| Port Jefferson, N.Y.)=| ^A411408;

245 10 a| Logic programming and knowledge representation :b| third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers /c| Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds).;

300 a| viii, 246 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1471.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references.;

505 0 a| Introduction : knowledge representation with logic programs / G. Brewka and J. Dix -- Disjunctive semantics : DATALOG with nested rules / S. Greco, N. Leone, and F. Scarcello -- Partial evidential stable models for disjunctive deductive databases / D. Siepel -- Disjunctive logic programming and autoepsitemic logic / L.-Y. Yuan, J.-H. You, and R. Goebel -- A system for abductive learning of logic programs / E. Lamma ... [et al.] -- Refining action theories through abductive logic programming / R. Li, Moniz Pereira, and V. Dahl -- Abduction, argumentation and bi-disjunctive logic programs / K. Wang and H. Chen -- Reasoning with prioritized defaults / M. Gelfond and T.C. Son -- Generalizing updates : from models to programs / J.A. Leite and L. Moniz Pereira.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

650 0 a| Knowledge representation (Information theory)v| Congresses.=| ^A416603;

700 1 a| Dix, J.q| (Jürgen),d| 1961-=| ^A287106;

700 1 a| Pereira, Luís Moniz.=| ^A287103;

700 1 a| Przymusinski, Teodor C.,d| 1947-=| ^A370972;

830 0 a| Lecture notes in computer sciencev| 1471.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

994 a| E0b| ERE;

596 a| 1;

998 a| 648731;

999 a| QA76.63 .L737 1998w| LCc| 1i| 30372010317581d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $41.16r| Ys| Yt| JGESBKu| 6/23/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds).

Author/creator	LPKR'97
Other author	Dix, J. (Jürgen), 1961-
Other author	Pereira, Luís Moniz.
Other author	Przymusinski, Teodor C., 1947-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	viii, 246 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses. Knowledge representation (Information theory)--Congresses.

Series	Lecture notes in computer science ; 1471. Lecture notes in artificial intelligence Lecture notes in computer science 1471. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents	Introduction : knowledge representation with logic programs / G. Brewka and J. Dix -- Disjunctive semantics : DATALOG with nested rules / S. Greco, N. Leone, and F. Scarcello -- Partial evidential stable models for disjunctive deductive databases / D. Siepel -- Disjunctive logic programming and autoepsitemic logic / L.-Y. Yuan, J.-H. You, and R. Goebel -- A system for abductive learning of logic programs / E. Lamma ... [et al.] -- Refining action theories through abductive logic programming / R. Li, Moniz Pereira, and V. Dahl -- Abduction, argumentation and bi-disjunctive logic programs / K. Wang and H. Chen -- Reasoning with prioritized defaults / M. Gelfond and T.C. Son -- Generalizing updates : from models to programs / J.A. Leite and L. Moniz Pereira.
Bibliography note	Includes bibliographical references.
LCCN	98038787
ISBN	3540649581 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .L737 1998	✔ Available	Place Hold

Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds).

Click here for more information about this title

Availability