FEEDBACK Smiley face

KI 2007: Advances in Artificial Intelligence (Record no. 17706)

000 -LEADER
fixed length control field 07301nam a22005775i 4500
001 - CONTROL NUMBER
control field 978-3-540-74565-5
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170515111640.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2007 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540745655
-- 978-3-540-74565-5
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-540-74565-5
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number Q334-342
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number TJ210.2-211.495
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYQ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code TJFM1
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM004000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
Edition number 23
245 10 - TITLE STATEMENT
Title KI 2007: Advances in Artificial Intelligence
Medium [electronic resource] :
Remainder of title 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings /
Statement of responsibility, etc edited by Joachim Hertzberg, Michael Beetz, Roman Englert.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2007.
300 ## - PHYSICAL DESCRIPTION
Extent XV, 516 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 4667
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Talks -- The Role of AI in Shaping Smart Services and Smart Systems -- Early History and Perspectives of Automated Deduction -- Cognitive Technical Systems — What Is the Role of Artificial Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural Intelligence? -- Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic -- Location-Based Activity Recognition -- Papers -- Pinpointing in the Description Logic -- Integrating Action Calculi and Description Logics -- Any-World Access to OWL from Prolog -- Applying Logical Constraints to Ontology Matching -- Resolving Inconsistencies in Probabilistic Knowledge Bases -- Extending Markov Logic to Model Probability Distributions in Relational Domains -- A Multilingual Framework for Searching Definitions on Web Snippets -- A SPARQL Semantics Based on Datalog -- Negation in Spatial Reasoning -- Relational Neural Gas -- A General Framework for Encoding and Evolving Neural Networks -- Making a Robot Learn to Play Soccer Using Reward and Punishment -- Perception and Developmental Learning of Affordances in Autonomous Robots -- A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations -- On Constructing a Communicative Space in HRI -- Natural Language Descriptions of Human Behavior from Video Sequences -- Detecting Humans in 2D Thermal Images by Generating 3D Models -- Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval -- Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform -- Solving Decentralized Continuous Markov Decision Problems with Structured Reward -- Options in Readylog Reloaded – Generating Decision-Theoretic Plan Libraries in Golog -- On the Construction and Evaluation of Flexible Plan-Refinement Strategies -- Learning How to Play Hex -- Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks -- A Stochastic Local Search Approach to Vertex Cover -- Posters -- A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game -- Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology -- Deep Inference for Automated Proof Tutoring? -- Exploiting Past Experience – Case-Based Decision Support for Soccer Agents -- Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs -- Text Generation in the SmartWeb Multimodal Dialogue System -- A Method to Optimize the Parameter Selection in Short Term Load Forecasting -- Visual Robot Localization and Mapping Based on Attentional Landmarks -- Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework -- Emotion Based Control Architecture for Robotics Applications -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience with Hierarchical Hybrid Automata -- Selecting Users for Sharing Augmented Personal Memories -- Semantic Reflection – Knowledge Based Design of Intelligent Simulation Environments -- Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot -- Improving the Detection of Unknown Computer Worms Activity Using Active Learning -- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems -- Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems -- LiSA: A Robot Assistant for Life Sciences -- Semantic Graph Visualisation for Mobile Semantic Web Interfaces -- A Qualitative Model for Visibility Relations.
520 ## - SUMMARY, ETC.
Summary, etc The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops – ten of them this year – and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search – all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a “small anniversary,” being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago – in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Data mining.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial intelligence.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational linguistics.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Artificial Intelligence (incl. Robotics).
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Data Mining and Knowledge Discovery.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Language Translation and Linguistics.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hertzberg, Joachim.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Beetz, Michael.
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Englert, Roman.
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783540745648
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 0302-9743 ;
Volume number/sequential designation 4667
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-540-74565-5
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type e-Book

No items available.


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in