|
|
|
|
LEADER |
00000cam a22000004a 4500 |
001 |
in00001548846 |
005 |
20190325093628.0 |
006 |
m o d |
007 |
cr un||||||||| |
008 |
000412s2000 gw a ob 001 0 eng |
010 |
|
|
|a 00030750
|
015 |
|
|
|a GBA039587
|2 bnb
|
016 |
7 |
|
|a 958770549
|2 DE-101
|
016 |
7 |
|
|a 007758315
|2 Uk
|
020 |
|
|
|a 3540674551
|q (pbk. : alk. paper)
|
020 |
|
|
|a 9783540674559
|q (pbk. : alk. paper)
|
035 |
|
|
|a (OCoLC)ocm43894238
|
035 |
|
|
|a (OCoLC)43894238
|
040 |
|
|
|a DLC
|b eng
|c DLC
|d OHX
|d C#P
|d UKM
|d UBA
|d C$Q
|d LVB
|d NLGGC
|d BTCTA
|d YDXCP
|d BAKER
|d STF
|d IG#
|d ZWZ
|d HEBIS
|d DEBBG
|d GW5XE
|d OCLCQ
|d ILU
|d UKMGB
|d OCLCF
|d OCLCQ
|d OCLCO
|d UtOrBLW
|
042 |
|
|
|a pcc
|
049 |
|
|
|a TXAM
|
050 |
0 |
0 |
|a QA76.9.L63
|b T48 2000
|
072 |
|
7 |
|a QA
|2 lcco
|
082 |
0 |
0 |
|a 004.2/1
|2 21
|
084 |
|
|
|a 54.72
|2 bcl
|
084 |
|
|
|a DAT 716f
|2 stub
|
084 |
|
|
|a SS 4800
|2 rvk
|
100 |
1 |
|
|a Thielscher, Michael.
|
245 |
1 |
0 |
|a Challenges for action theories /
|c Michael Thielscher.
|
264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer,
|c 2000.
|
300 |
|
|
|a 1 online resource (xiv, 138 pages) :
|b illustrations
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 1775.
|a Lecture notes in artificial intelligence
|
504 |
|
|
|a Includes bibliographical references (pages 127-134) and index.
|
505 |
0 |
0 |
|g 1.
|t Foundations of Action Theories.
|g 1.1.
|t Purpose.
|g 1.2.
|t Basic Action Theory.
|g 1.3.
|t Bibliographic Remarks --
|g 2.
|t Ramification Problem.
|g 2.1.
|t Indirect Effects of Actions.
|g 2.2.
|t Minimizing Change.
|g 2.3.
|t Categorizing Fluents.
|g 2.4.
|t Causal Relationships.
|g 2.4.1.
|t Causal Relationships and Their Application.
|g 2.5.
|t Influence Information.
|g 2.6.
|t Non-minimal Successor States.
|g 2.7.
|t Triggered vs. Coupled Effects.
|g 2.8.
|t Implicit Qualifications vs. Indirect Effects.
|g 2.9.
|t Fluent Calculus Axiomatization.
|g 2.9.1.
|t Reifying States.
|g 2.9.2.
|t Axiomatizing Action Laws and Causal Relationships.
|g 2.9.3.
|t Defining Transition Models.
|g 2.9.4.
|t Encoding Observations.
|g 2.10.
|t Bibliographic Remarks --
|g 3.
|t Qualification Problem.
|
500 |
|
|
|a Electronic resource.
|
650 |
|
0 |
|a Computer logic.
|
650 |
|
0 |
|a System design.
|
650 |
|
0 |
|a Formal methods (Computer science)
|
650 |
|
4 |
|a robotique.
|
650 |
|
4 |
|a méthode formelle.
|
650 |
|
4 |
|a logique formelle.
|
650 |
|
4 |
|a ramification.
|
650 |
|
6 |
|a Logique informatique.
|
650 |
|
6 |
|a Systèmes, Conception de.
|
650 |
|
6 |
|a Méthodes formelles (Informatique)
|
650 |
|
7 |
|a Computer logic.
|2 fast
|0 (OCoLC)fst00872265
|
650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 (OCoLC)fst00932926
|
650 |
|
7 |
|a System design.
|2 fast
|0 (OCoLC)fst01141401
|
650 |
1 |
7 |
|a Kunstmatige intelligentie.
|2 gtt
|
650 |
|
7 |
|a Inteligencia Artificial (Computacao)
|2 larpcal
|
650 |
|
7 |
|a Logica matematica.
|2 larpcal
|
650 |
|
7 |
|a Logique informatique.
|2 ram
|
650 |
|
7 |
|a Systèmes, Conception de.
|2 ram
|
650 |
0 |
7 |
|a Handlungslogik.
|2 swd
|
650 |
0 |
7 |
|a Automatische Handlungsplanung.
|2 swd
|
655 |
|
7 |
|a Electronic books.
|2 local
|
710 |
2 |
|
|a SpringerLink (Online service)
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 1775.
|
830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence.
|
856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=http://link.springer.com/10.1007/3-540-45596-5
|z Connect to the full text of this electronic book
|t 0
|
948 |
|
|
|a cataloged
|b h
|c 2000/8/21
|d c
|e dmitchel
|f 12:46:10 pm
|
994 |
|
|
|a 92
|b TXA
|
999 |
|
|
|a MARS
|
999 |
f |
f |
|s f4329aa1-ec76-3de3-bb84-e81609f06b96
|i eb74fbad-5e7f-32df-9151-6c329f7b1638
|t 0
|
952 |
f |
f |
|p ric
|a Texas A&M University
|b Rellis Campus
|c Joint Library Facility
|d Remote Storage
|t 0
|e QA76.9.L63 T48 2000
|h Library of Congress classification
|i computer -- online resource
|m A14826692539
|
998 |
f |
f |
|a QA76.9.L63 T48 2000
|t 0
|l Remote Storage
|