Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Title Logic programming : theory, practices and challenges / Marcus J. Lambert, editor.
Imprint New York : Nova Science Publishers, Inc., [2014]
©2014

Series Computer science, technology and applications
Computer science, technology and applications.
Subject Logic programming.
Alt Name Lambert, Marcus J.,
Uniform Title Logic programming (Nova Science Publishers)
Series Computer science, technology and applications
Computer science, technology and applications.
Subject Logic programming.
Alt Name Lambert, Marcus J.,
Uniform Title Logic programming (Nova Science Publishers)
Description 1 online resource.
Bibliography Note Includes bibliographical references and index.
Note Print version record.
Contents 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.
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.
ISBN 9781631178542 (electronic bk.)
1631178547 (electronic bk.)
9781631178535
1631178539
OCLC # 880376035
Additional Format Print version: Logic programming (Nova Science Publishers). Logic programming 9781631178535 (DLC) 2014013786 (OCoLC)875240645



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team