Logic programming : theory, practices and challenges /

Saved in:
Bibliographic Details
Other Authors: Lambert, Marcus J. (Editor)
Format: Electronic eBook
Language:English
Published: New York : Nova Science Publishers, Inc., [2014]
Series:Computer science, technology and applications.
Subjects:
Online Access:CONNECT

MARC

LEADER 00000cam a2200000 i 4500
001 mig00005343231
006 m o d
007 cr cnu---unuuu
008 140522t20142014nyu ob 001 0 eng d
005 20240619215632.6
020 |a 9781631178542  |q (electronic bk.) 
020 |a 1631178547  |q (electronic bk.) 
020 |z 9781631178535 
020 |z 1631178539 
035 |a 1WRLDSHRocn880376035 
035 |a (OCoLC)880376035 
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d YDXCP  |d OCLCF  |d EBLCP  |d DEBSZ  |d OCLCQ  |d OCLCA  |d AGLDB  |d OCLCQ  |d VTS  |d OCLCQ  |d AU@  |d OCLCQ  |d STF  |d OCLCQ  |d M8D  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL  |d OCLCQ 
049 |a TXMM 
050 4 |a QA76.63  |b .L627 2014eb 
082 0 4 |a 005.1/15  |2 23 
130 0 |a Logic programming (Nova Science Publishers) 
245 1 0 |a Logic programming :  |b theory, practices and challenges /  |c Marcus J. Lambert, editor. 
264 1 |a New York :  |b Nova Science Publishers, Inc.,  |c [2014] 
264 4 |c ©2014 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file  |2 rda 
490 1 |a Computer science, technology and applications 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a LOGIC PROGRAMMING: THEORY, PRACTICES AND CHALLENGES; LIBRARY OF CONGRESS CATALOGING-IN-PUBLICATION DATA; CONTENTS; PREFACE; Chapter 1: FUZZY LOGIC INFERENCING FOR PONG (FLIP); Abstract; Introduction; Literature Survey; Problem Formulation; Research Methodology; Results; Conclusion; Future Work; Acknowledgments; Appendix; References; Chapter 2: DISLOG: A LOGIC-BASED LANGUAGE FOR PROCESSING DISCOURSE; Abstract; 1. Introduction; 2. Discourse Analysis Challenges and Results; 3. The Three Components of Discourse Processing; 4. The Dislog Language; 5. The Engine. 
505 8 |a 6. Current Main Applications7. Conclusion; References; Chapter 3: SEProlog: A SET EXTENSION OF Prolog; Abstract; 1. Introduction; 2. The Syntactical Description Of SEProlog; 3. An Example of Application of SEProLog; 4. A Semantical Interpretation of SEProlog; 5. Summaries; References; Chapter 4: DIRECT GRAPHICAL REPRESENTATION OF FIRST-ORDER LOGIC FOR INFERENCE; Abstract; 1. Introduction; 2. High-level Petri-net; 3. Data-flow-based KTN; 4. Petri-net-based KTN; 5. Conclusion and Discussions; References; INDEX. 
500 |a EBSCO eBook Academic Comprehensive Collection North America  |5 TMurS 
650 0 |a Logic programming. 
700 1 |a Lambert, Marcus J.,  |e editor. 
730 0 |a WORLDSHARE SUB RECORDS 
758 |i has work:  |a Logic programming (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCXGXj4QhdD9DXDFg7khrMd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Logic programming (Nova Science Publishers).  |t Logic programming  |z 9781631178535  |w (DLC) 2014013786  |w (OCoLC)875240645 
830 0 |a Computer science, technology and applications. 
856 4 0 |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=776132&authtype=ip,sso&custid=s4672406  |z CONNECT  |3 eBooks on EBSCOhost  |t 0 
907 |a 4614616  |b 05-26-21  |c 06-30-20 
949 |a ho0 
994 |a 92  |b TXM 
998 |a wi  |d z 
999 f f |s 5be48069-a88f-4cd2-b26b-3f51ad90a62e  |i 97bb5f21-8c23-4ae1-863b-846f9cc8d3c6  |t 0 
952 f f |a Middle Tennessee State University  |b Main  |c James E. Walker Library  |d Electronic Resources  |t 0  |e QA76.63 .L627 2014eb  |h Library of Congress classification