<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Computational logic and human thinking</title>
    <subTitle>how to be artificially intelligent</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Kowalski, Robert</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">enk</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Cambridge</placeTerm>
    </place>
    <publisher>Cambridge University Press</publisher>
    <dateIssued>2011</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xxii, 310 p. : ill. ; 23 cm.</extent>
  </physicalDescription>
  <tableOfContents>Introduction -- 1. Logic on the underground -- 2. The psychology of logic -- 3. The fox and the crow -- 4. Search -- 5. Negation as failure -- 6. How to become a British citizen -- 7. The louse and the Mars explorer -- 8. Maintenance goals as the driving force of life -- 9. The meaning of life -- 10. Abduction -- 11. The prisoner’s dilemma -- 12. Motivations matter -- 13. The changing world -- 14. Logic and objects -- 15. Biconditionals -- 16. Computational logic and the selection task -- 17. Meta-logic -- Conclusions of the book</tableOfContents>
  <targetAudience authority="marctarget">specialized</targetAudience>
  <note type="statement of responsibility">Robert Kowalski</note>
  <note>Includes bibliographical references and index</note>
  <subject authority="lcsh">
    <topic>Computational intelligence</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Logic, Symbolic and mathematical</topic>
    <topic>Famous problems</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Rhetoric</topic>
    <topic>Mathematics</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Communication</topic>
    <topic>Philosophy</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Critical thinking</topic>
  </subject>
  <identifier type="isbn">9780521194822 (hardback)</identifier>
  <identifier type="isbn">9780521123365 (paperback)</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">UMP</recordContentSource>
    <recordCreationDate encoding="marc">130605</recordCreationDate>
    <recordChangeDate encoding="iso8601">20251125095353.0</recordChangeDate>
    <recordIdentifier source="KUKTEM">vtls000070601</recordIdentifier>
  </recordInfo>
</mods>
