Holdings: Knowledge representation, reasoning, and declarative problem solving

Knowledge representation, reasoning, and declarative problem solving:

Saved in:

Bibliographic Details
Main Author:	Baral, Chitta (Author)
Format:	Book
Language:	English
Published:	Cambridge Cambridge Univ. Press 2003
Edition:	1. publ.
Subjects:	Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation
Online Access:	Sample text Publisher description Table of contents Inhaltsverzeichnis
Item Description:	Includes bibliographical references (p. 498-518) and index
Physical Description:	XIV, 530 S.
ISBN:	0521818028

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV019334906
003	DE-604
005	20210224
007	t
008	040713s2003 xxk \|\|\|\| 00\|\|\| eng d
010			\|a 2002025622
020			\|a 0521818028 \|9 0-521-81802-8
035			\|a (OCoLC)49384091
035			\|a (DE-599)BVBBV019334906
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxk \|c GB
049			\|a DE-739 \|a DE-20 \|a DE-29T \|a DE-859 \|a DE-573
050		0	\|a QA76.76.E95
082	0		\|a 006.3/3 \|2 21
084			\|a ST 304 \|0 (DE-625)143653: \|2 rvk
100	1		\|a Baral, Chitta \|e Verfasser \|4 aut
245	1	0	\|a Knowledge representation, reasoning, and declarative problem solving \|c Chitta Baral
250			\|a 1. publ.
264		1	\|a Cambridge \|b Cambridge Univ. Press \|c 2003
300			\|a XIV, 530 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references (p. 498-518) and index
650		4	\|a Künstliche Intelligenz
650		4	\|a Artificial intelligence
650		4	\|a Expert systems (Computer science)
650		4	\|a Knowledge representation (Information theory)
650	0	7	\|a Wissensrepräsentation \|0 (DE-588)4049534-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Wissensrepräsentation \|0 (DE-588)4049534-6 \|D s
689	0		\|5 DE-604
856	4		\|u http://www.loc.gov/catdir/samples/cam033/2002025622.html \|3 Sample text
856	4		\|u http://www.loc.gov/catdir/description/cam022/2002025622.html \|3 Publisher description
856	4		\|u http://www.loc.gov/catdir/toc/cam027/2002025622.html \|3 Table of contents
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-012799736

Record in the Search Index

_version_	1804132756301545472
adam_text	KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING CHITTA BARAL ARIZONA STATE UNIVERSITY CAMBRIDGE UNIVERSITY PRESS CONTENTS PREFACE PAGE IX DECLARATIVE PROGRAMMING IN ANSPROLOG: INTRODUCTION AND PRELIMINARIES 1 1.1 MOTIVATION: WHY ANSPROLOG? 3 1.2 ANSWER SET FRAMEWORKS AND PROGRAMS 8 1.3 SEMANTICS OF ANSPROLOG* PROGRAMS 16 1.4 DATABASE QUERIES AND ANSPROLOG* FUNCTIONS 40 1.5 NOTES AND REFERENCES 44 SIMPLE MODULES FOR DECLARATIVE PROGRAMMING WITH ANSWER SETS 46 2.1 DECLARATIVE PROBLEM SOLVING MODULES 47 2.2 KNOWLEDGE REPRESENTATION AND REASONING MODULES 73 2.3 NOTES AND REFERENCES 81 PRINCIPLES AND PROPERTIES OF DECLARATIVE PROGRAMMING WITH ANSWER SETS 83 3.1 BASIC NOTIONS AND BASIC PROPERTIES 84 3.2 SOME ANSPROLOG* SUB-CLASSES AND THEIR BASIC PROPERTIES 93 3.3 RESTRICTED MONOTONICITY AND SIGNED ANSPROLOG* PROGRAMS 108 3.4 ANALYZING ANSPROLOG* PROGRAMS USING SPLITTING 113 3.5 LANGUAGE INDEPENDENCE AND LANGUAGE TOLERANCE 120 3.6 INTERPOLATING AN ANSPROLOG PROGRAM 126 3.7 BUILDING AND REFINING PROGRAMS FROM COMPONENTS: FUNCTIONAL SPECIFICATIONS AND REALIZATION THEOREMS 137 3.8 FILTER-ABDUCIBLE ANSPROLOG OR PROGRAMS 144 3.9 EQUIVALENCE OF PROGRAMS AND SEMANTICS PRESERVING TRANSFORMATIONS 154 3.10 NOTES AND REFERENCES 168 DECLARATIVE PROBLEM SOLVING AND REASONING IN ANSPROLOG* 170 4.1 THREE WELL-KNOWN PROBLEM SOLVING TASKS 170 4.2 CONSTRAINT SATISFACTION PROBLEMS (CSPS) 183 VI CONTENTS 4.3 DYNAMIC CONSTRAINT SATISFACTION PROBLEMS (DCSPS) 186 4.4 COMBINATORIAL GRAPH PROBLEMS 188 4.5 PRIORITIZED DEFAULTS AND INHERITANCE HIERARCHIES 192 4.6 NOTES AND REFERENCES 197 5 REASONING ABOUT ACTIONS AND PLANNING IN ANSPROLOG* 199 5.1 REASONING IN THE ACTION DESCRIPTION LANGUAGE A 199 5.2 REASONING ABOUT ACTIONS AND PLAN VERIFICATION IN RICHER DOMAINS 229 5.3 ANSWER SET PLANNING EXAMPLES IN EXTENSIONS OF A AND STRIPS 244 5.4 APPROXIMATE PLANNING WHEN INITIAL STATE IS INCOMPLETE 261 5.5 PLANNING WITH PROCEDURAL CONSTRAINTS 262 5.6 EXPLAINING OBSERVATIONS THROUGH ACTION OCCURRENCES AND APPLICATION TO DIAGNOSIS 269 5.7 CASE STUDY: PLANNING AND PLAN CORRECTNESS IN A SPACE SHUTTLE REACTION CONTROL SYSTEM 274 5.8 NOTES AND REFERENCES 277 6 COMPLEXITY, EXPRESSIVENESS, AND OTHER PROPERTIES OF ANSPROLOG* PROGRAMS 278 6.1 COMPLEXITY AND EXPRESSIVENESS 278 6.2 COMPLEXITY OF ANSDATALOG* SUB-CLASSES 288 6.3 EXPRESSIVENESS OF ANSDATALOG* SUB-CLASSES 301 6.4 COMPLEXITY AND EXPRESSIVENESS OF ANSPROLOG* SUB-CLASSES 304 6.5 COMPACT REPRESENTATION AND COMPILABILITY OF ANSPROLOG 311 6.6 RELATIONSHIP WITH OTHER KNOWLEDGE REPRESENTATION FORMALISMS 313 6.7 NOTES AND REFERENCES 341 7 ANSWER SET COMPUTING ALGORITHMS 345 7.1 BRANCH AND BOUND WITH WFS: WFS-BB 346 7.2 THE ASSUME-AND-REDUCE ALGORITHM OF SLG 358 7.3 THE SMODELS ALGORITHM 363 7.4 THE DLV ALGORITHM 372 7.5 NOTES AND REFERENCES 379 8 QUERY ANSWERING AND ANSWER SET COMPUTING SYSTEMS 382 8.1 SMODELS 382 8.2 THE DLV SYSTEM 403 8.3 APPLICATIONS OF ANSWER SET COMPUTING SYSTEMS 412 8.4 PURE PROLOG 440 8.5 NOTES AND REFERENCES 456 9 FURTHER EXTENSIONS OF AND ALTERNATIVES TO ANSPROLOG* 458 9.1 ANSPROLOG NOT * OR * - L : ALLOWING NOT IN THE HEAD 458 9.2 ANSPROLOG 11 OR L *: ALLOWING NESTED EXPRESSIONS 461 9.3 ANSPROLOG ORKM ALLOWING KNOWLEDGE AND BELIEF OPERATORS 466 CONTENTS VII 9.4 ABDUCTIVE REASONING WITH ANSPROLOG: ANSPROLOG M 470 9.5 DOMAIN CLOSURE AND THE UNIVERSAL QUERY PROBLEM 471 9.6 ANSPROLOG,,: ADDING SET CONSTRUCTS TO ANSPROLOG 475 9.7 ANSPROLOG- PROGRAMS: ANSPROLOG PROGRAMS WITH ORDERING 477 9.8 WELL-FOUNDED SEMANTICS OF PROGRAMS WITH ANSPROLOG SYNTAX 482 9.9 WELL-FOUNDED SEMANTICS OF PROGRAMS WITH ANSPROLOG SYNTAX 490 9.10 NOTES AND REFERENCES 492 APPENDIX A: ORDINALS, LATTICES, AND FIXPOINT THEORY 494 APPENDIX B: TURING MACHINES 496 BIBLIOGRAPHY 498 INDEX OF NOTATION 519 INDEX OF TERMS 522
any_adam_object	1
author	Baral, Chitta
author_facet	Baral, Chitta
author_role	aut
author_sort	Baral, Chitta
author_variant	c b cb
building	Verbundindex
bvnumber	BV019334906
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.76.E95
callnumber-search	QA76.76.E95
callnumber-sort	QA 276.76 E95
callnumber-subject	QA - Mathematics
classification_rvk	ST 304
ctrlnum	(OCoLC)49384091 (DE-599)BVBBV019334906
dewey-full	006.3/3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3/3
dewey-search	006.3/3
dewey-sort	16.3 13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01890nam a2200469zc 4500</leader><controlfield tag="001">BV019334906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210224 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040713s2003 xxk \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002025622</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521818028</subfield><subfield code="9">0-521-81802-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49384091</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019334906</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E95</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baral, Chitta</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation, reasoning, and declarative problem solving</subfield><subfield code="c">Chitta Baral</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 530 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 498-518) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/samples/cam033/2002025622.html</subfield><subfield code="3">Sample text</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/description/cam022/2002025622.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/cam027/2002025622.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012799736</subfield></datafield></record></collection>
id	DE-604.BV019334906
illustrated	Not Illustrated
indexdate	2024-07-09T19:57:53Z
institution	BVB
isbn	0521818028
language	English
lccn	2002025622
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-012799736
oclc_num	49384091
open_access_boolean
owner	DE-739 DE-20 DE-29T DE-859 DE-573
owner_facet	DE-739 DE-20 DE-29T DE-859 DE-573
physical	XIV, 530 S.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Cambridge Univ. Press
record_format	marc
spelling	Baral, Chitta Verfasser aut Knowledge representation, reasoning, and declarative problem solving Chitta Baral 1. publ. Cambridge Cambridge Univ. Press 2003 XIV, 530 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 498-518) and index Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s DE-604 http://www.loc.gov/catdir/samples/cam033/2002025622.html Sample text http://www.loc.gov/catdir/description/cam022/2002025622.html Publisher description http://www.loc.gov/catdir/toc/cam027/2002025622.html Table of contents HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Baral, Chitta Knowledge representation, reasoning, and declarative problem solving Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd
subject_GND	(DE-588)4049534-6
title	Knowledge representation, reasoning, and declarative problem solving
title_auth	Knowledge representation, reasoning, and declarative problem solving
title_exact_search	Knowledge representation, reasoning, and declarative problem solving
title_full	Knowledge representation, reasoning, and declarative problem solving Chitta Baral
title_fullStr	Knowledge representation, reasoning, and declarative problem solving Chitta Baral
title_full_unstemmed	Knowledge representation, reasoning, and declarative problem solving Chitta Baral
title_short	Knowledge representation, reasoning, and declarative problem solving
title_sort	knowledge representation reasoning and declarative problem solving
topic	Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd
topic_facet	Künstliche Intelligenz Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Wissensrepräsentation
url	http://www.loc.gov/catdir/samples/cam033/2002025622.html http://www.loc.gov/catdir/description/cam022/2002025622.html http://www.loc.gov/catdir/toc/cam027/2002025622.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012799736&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT baralchitta knowledgerepresentationreasoninganddeclarativeproblemsolving

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items