Verfügbarkeit: Automated reasoning

Automated reasoning: proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Amsterdam u.a. North-Holland 1992
Schriftenreihe:	International Federation for Information Processing: [IFIP transactions / A] 19
Schlagworte:	Kunstmatige intelligentie Künstliche Intelligenz Artificial intelligence > Congresses Automatic theorem proving > Congresses Konferenzschrift > 1992 > Peking
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XI, 341 S. graph. Darst.
ISBN:	044489876X

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV008173202
003	DE-604
005	19931012
007	t\|
008	930817s1992 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 044489876X \|9 0-444-89876-X
035			\|a (OCoLC)27105984
035			\|a (DE-599)BVBBV008173202
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-473 \|a DE-91G
050		0	\|a QA76.9.A96
082	0		\|a 006.3 \|2 20
084			\|a ST 285 \|0 (DE-625)143648: \|2 rvk
084			\|a DAT 706f \|2 stub
245	1	0	\|a Automated reasoning \|b proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 \|c ed. by Z. Shi
264		1	\|a Amsterdam u.a. \|b North-Holland \|c 1992
300			\|a XI, 341 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a International Federation for Information Processing: [IFIP transactions / A] \|v 19
650		7	\|a Kunstmatige intelligentie \|2 gtt
650		4	\|a Künstliche Intelligenz
650		4	\|a Artificial intelligence \|v Congresses
650		4	\|a Automatic theorem proving \|v Congresses
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1992 \|z Peking \|2 gnd-content
689	0	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	0		\|5 DE-604
700	1		\|a Shi, Zhongzhi \|e Sonstige \|4 oth
711	2		\|a International Workshop on Automated Reasoning \|d 1992 \|c Peking \|j Sonstige \|0 (DE-588)2132689-7 \|4 oth
810	2		\|a A] \|t International Federation for Information Processing: [IFIP transactions \|v 19 \|w (DE-604)BV006188900 \|9 19
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005393399&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-005393399

Datensatz im Suchindex

_version_	1820868125167452160
adam_text	TABLE OF CONTENTS Chapter 1: Geometric Reasoning Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method Shang-Ching Chou and Xiao-Shan Gao . 1 An Introduction to Wu's Method of Mechanical Geometry Theorem Proving Xiao-Shan Gao . 13 Implementing Graph Algorithms in BeTa-Prolog Neng-Fa Zhou, Isao Nagasawa . 23 Chapter 2: Nonmonotonic Reasoning Towards A Theory of Epistemic Processes Wei Li . 33 Overview of Non-monotonic Deduction Systems Seiki Akama, Hiroto Ohnishi . 47 Default Reasoning in Constraint Network Lejian Liao, Zhongzhi Shi . 57 Experiential Logic Zuoquan Lin . 65 Reasoning by Argueing: A Game-Theoretic Approach Bai Shuo . 75 Chapter 3: Uncertain Reasoning Fuzzy Boolean Algebras Branimir Šešelja and Andreja Tepavčević . 83 Syntax Analysis of Fuzzy Logic System FLi and It's Derivations DFLx,MFLi Chen Zili, Cheng Qingwen, Xu Yuncong, Zhang Jinwen . 89 Uncertainty Measures of Separable Fuzzy Temporal Propositions Jozef Šajda. 99 NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability Zhongzhi Shi, Xudong Luo . 107 A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes Xudong Luo . 123 Chapter 4: Logic and Proving A Verification of Extensible Record Types Andreas V. Hense and Gert Šmolka . 137 A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique Huaiming Sun, Qun Liang . 165 The Directed Inference and Its Role in NDSAIL System Zongming Fei, Jiafu Xu . 177 Chapter 5: Pansy stems Theory Pansystems Philosophical Logic: A Servey Wu Xuemou, Guo Dinghe, Liao Ming, Zan Tingquan, Li Yongli and Zhang Yuxiang . 187 Pansystems Inference Model and Its Applications Shuji Wang, Jianbo Zou .197 Pansystems Analysis Forecasting Theory and Radar Auto-Prediction Min Wang, Zuohan Gao . 203 Chapter 6: Search & Parallel Reasoning Search QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies S. Bhattacharya and A. Bagchi . 211 Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita . 221 Chapter 7: Temporal & Qualitative Reasoning Theory and Practice for XYZ/VERI System He Pei, Li Renwei and Zhang Wenhui . 239 Temporal Reasoning About Real Time Reactive Systems Ji Wang, Huowang Chen . 249 A General Framework of Qualitative Kinematics YiHua Wu, JieshengWang .257 Chapter 8: Analogical Reasoning Analogical Reasoning for L K Theorem Proving Masateru Harao . 265 Case Retrieval Based on Memory Network Baodong Li, Zhongzhi Shi . 275 An Approach To Analogical Theorem Proving Jianguo Lu, Bo Yi . 285 Chapter 9: Constraint Reasoning A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity Jian-Hong Li, Seiichi Nishihara . 295 Parallel Inference on Logical Networks V. N. Vagin . 305 Reasoning about Actions with Bidrectional Approach BI-STRIPS Lan-di Shan, Tadashi Nagata .311 Chapter 10: Neurocomputing Logical Reasoning in Symbolic Neural Networks A. de Callatay . 327 Automated Reasoning on Prime Weighted Neural Network Qing Shen, QuanYuanWu .335
any_adam_object	1
building	Verbundindex
bvnumber	BV008173202
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.A96
callnumber-search	QA76.9.A96
callnumber-sort	QA 276.9 A96
callnumber-subject	QA - Mathematics
classification_rvk	ST 285
classification_tum	DAT 706f
ctrlnum	(OCoLC)27105984 (DE-599)BVBBV008173202
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008173202</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931012</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">930817s1992 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">044489876X</subfield><subfield code="9">0-444-89876-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27105984</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008173202</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated reasoning</subfield><subfield code="b">proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992</subfield><subfield code="c">ed. by Z. Shi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 341 S.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">International Federation for Information Processing: [IFIP transactions / A]</subfield><subfield code="v">19</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</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><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Peking</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shi, Zhongzhi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Automated Reasoning</subfield><subfield code="d">1992</subfield><subfield code="c">Peking</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2132689-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A]</subfield><subfield code="t">International Federation for Information Processing: [IFIP transactions</subfield><subfield code="v">19</subfield><subfield code="w">(DE-604)BV006188900</subfield><subfield code="9">19</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=005393399&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005393399</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1992 Peking gnd-content
genre_facet	Konferenzschrift 1992 Peking
id	DE-604.BV008173202
illustrated	Illustrated
indexdate	2025-01-10T13:19:23Z
institution	BVB
institution_GND	(DE-588)2132689-7
isbn	044489876X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-005393399
oclc_num	27105984
open_access_boolean
owner	DE-739 DE-473 DE-BY-UBG DE-91G DE-BY-TUM
owner_facet	DE-739 DE-473 DE-BY-UBG DE-91G DE-BY-TUM
physical	XI, 341 S. graph. Darst.
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	North-Holland
record_format	marc
series2	International Federation for Information Processing: [IFIP transactions / A]
spelling	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 ed. by Z. Shi Amsterdam u.a. North-Holland 1992 XI, 341 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International Federation for Information Processing: [IFIP transactions / A] 19 Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Peking gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Shi, Zhongzhi Sonstige oth International Workshop on Automated Reasoning 1992 Peking Sonstige (DE-588)2132689-7 oth A] International Federation for Information Processing: [IFIP transactions 19 (DE-604)BV006188900 19 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005393399&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd
subject_GND	(DE-588)4033447-8 (DE-588)1071861417
title	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992
title_auth	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992
title_exact_search	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992
title_full	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 ed. by Z. Shi
title_fullStr	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 ed. by Z. Shi
title_full_unstemmed	Automated reasoning proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992 ed. by Z. Shi
title_short	Automated reasoning
title_sort	automated reasoning proceedings of the ifip tc12 wg12 3 international workshop on automated reasoning beijing p r china 13 16 july 1992
title_sub	proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992
topic	Kunstmatige intelligentie gtt Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd
topic_facet	Kunstmatige intelligentie Künstliche Intelligenz Artificial intelligence Congresses Automatic theorem proving Congresses Konferenzschrift 1992 Peking
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005393399&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV006188900
work_keys_str_mv	AT shizhongzhi automatedreasoningproceedingsoftheifiptc12wg123internationalworkshoponautomatedreasoningbeijingprchina1316july1992 AT internationalworkshoponautomatedreasoningpeking automatedreasoningproceedingsoftheifiptc12wg123internationalworkshoponautomatedreasoningbeijingprchina1316july1992

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge