Adaptive Hypermedia and Adaptive Web-Based Systems [[electronic resource] ] : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings / / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XIII, 424 p.) |
Disciplina | 006.7/776 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer science Computer communication systems Multimedia information systems Application software User interfaces (Computer systems) Theory of Computation Popular Computer Science Computer Communication Networks Multimedia Information Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-44595-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Enhancing Adaptive Hypermedia Presentation Systems 1 by Lifelike Synthetic Characters -- Full Papers -- Dynamic Generation of Adaptive Web Catalogs -- An Intelligent Tutor for a Web-Based Chess Course -- Adapting Web-Based Information to the Needs of Patients with Cancer -- Group User Models for Personalized Hyperlink Recommendations -- Adaptive Navigation Support and Adaptive Collaboration Support in WebDL -- Case-Based User Profiling for Content Personalisation -- Providing Tailored (Context-Aware) Information to City Visitors -- Adding Adaptive Features to Virtual Reality Interfaces for E-Commerce -- WAPing the Web: Content Personalisation for WAP-Enabled Devices -- Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material -- Logically Optimal Curriculum Sequences for Adaptive Hypermedia Systems -- Towards Zero-Input Personalization: Referrer-Based Page Prediction -- LiveInfo: Adapting Web Experience by Customization and Annotation -- Adaptivity for Conceptual and Narrative Flow in Hyperbooks: The MetaLinks System -- The MacroNode Approach: Mediating Between Adaptive and Dynamic Hypermedia -- ECHOES: An Immersive Training Experience -- A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment -- Adaptive Hypertext Design Environments: Putting Principles into Practice -- ECSAIWeb: A Web-Based Authoring System to Create Adaptive Learning Systems -- Adaptive Content in an Online Lecture System -- A Web-Based Socratic Tutor for Trees Recognition -- Adaptation Control in Adaptive Hypermedia Systems -- Short Papers -- An Agent-Based Approach to Adaptive Hypermedia Using a Link Service -- Adaptive Testing by Test++ -- What Does the User Want to Know About Web Resources? A User Model for Metadata -- Web Information Retrieval for Designing Distance Hypermedia Courses -- Formative Evaluation of Adaptive CALLware: A Case Study -- How Adaptivity Affects the Development of TANGOW Web-Based Courses -- An Adaptive Web Content Delivery System -- Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System -- Interface Adaptation to Style of User-Computer Interaction -- Adaptation and Generation in a Web-Based Lisp Tutor -- Collaborative Maintenance in ULYSSES -- An Adaptive Open Hypermedia System on the Web -- Towards an Adaptive Learners’ Dictionary -- Concept Filtering and Spatial Filtering in an Adaptive Information System -- Analysing Web Search Logs to Determine Session Boundaries for User-Oriented Learning -- Learning User Profiles in NAUTILUS -- Lexical Chaining for Web-Based Retrieval of Breaking News -- Designing for Social Navigation of Food Recipes -- A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia -- Layered Evaluation of Adaptive Applications and Services -- Exploratory Activity Support Based on a Semantic Feature Map -- Adaptivity in AHMED -- An Adaptive Document Generation Based on Matrix of Contents -- Logical Dimensions for the Information Provided by a Virtual Guide -- Automated Collaborative Filtering Applications for Online Recruitment Services -- ConTexts: Adaptable Hypermedia -- Coherence in Modularly Composed Adaptive Learning Documents -- ACE-Adaptive Courseware Environment -- The Adaptive University Calendar -- Sense-Based User Modelling for Web Sites -- Generating Personal Travel Guides from Discourse Plans -- Doctoral Consortium Papers -- Distributed Systems for Group Adaptivity on the Web -- Open Multimedia Environment to Retrieve and Organise Documents: An Adaptive Web-Based IR System in the Field of Textile and Clothing Industry -- Researching Adaptive Instruction -- A Modular Approach for User Modelling. |
Record Nr. | UNISA-996465415903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Adaptive Hypermedia and Adaptive Web-Based Systems : International Conference, AH 2000, Trento, Italy, August 28-30, 2000 Proceedings / / edited by Peter Brusilovsky, Oliviero Stock, Carlo Strapparava |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XIII, 424 p.) |
Disciplina | 006.7/776 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer science Computer networks Multimedia systems Application software User interfaces (Computer systems) Theory of Computation Popular Computer Science Computer Communication Networks Multimedia Information Systems Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-540-44595-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Enhancing Adaptive Hypermedia Presentation Systems 1 by Lifelike Synthetic Characters -- Full Papers -- Dynamic Generation of Adaptive Web Catalogs -- An Intelligent Tutor for a Web-Based Chess Course -- Adapting Web-Based Information to the Needs of Patients with Cancer -- Group User Models for Personalized Hyperlink Recommendations -- Adaptive Navigation Support and Adaptive Collaboration Support in WebDL -- Case-Based User Profiling for Content Personalisation -- Providing Tailored (Context-Aware) Information to City Visitors -- Adding Adaptive Features to Virtual Reality Interfaces for E-Commerce -- WAPing the Web: Content Personalisation for WAP-Enabled Devices -- Extendible Adaptive Hypermedia Courseware: Integrating Different Courses and Web Material -- Logically Optimal Curriculum Sequences for Adaptive Hypermedia Systems -- Towards Zero-Input Personalization: Referrer-Based Page Prediction -- LiveInfo: Adapting Web Experience by Customization and Annotation -- Adaptivity for Conceptual and Narrative Flow in Hyperbooks: The MetaLinks System -- The MacroNode Approach: Mediating Between Adaptive and Dynamic Hypermedia -- ECHOES: An Immersive Training Experience -- A Connectionist Approach for Supporting Personalized Learning in a Web-Based Learning Environment -- Adaptive Hypertext Design Environments: Putting Principles into Practice -- ECSAIWeb: A Web-Based Authoring System to Create Adaptive Learning Systems -- Adaptive Content in an Online Lecture System -- A Web-Based Socratic Tutor for Trees Recognition -- Adaptation Control in Adaptive Hypermedia Systems -- Short Papers -- An Agent-Based Approach to Adaptive Hypermedia Using a Link Service -- Adaptive Testing by Test++ -- What Does the User Want to Know About Web Resources? A User Model for Metadata -- Web Information Retrieval for Designing Distance Hypermedia Courses -- Formative Evaluation of Adaptive CALLware: A Case Study -- How Adaptivity Affects the Development of TANGOW Web-Based Courses -- An Adaptive Web Content Delivery System -- Knowledge Computing Method for Enhancing the Effectiveness of a WWW Distance Education System -- Interface Adaptation to Style of User-Computer Interaction -- Adaptation and Generation in a Web-Based Lisp Tutor -- Collaborative Maintenance in ULYSSES -- An Adaptive Open Hypermedia System on the Web -- Towards an Adaptive Learners’ Dictionary -- Concept Filtering and Spatial Filtering in an Adaptive Information System -- Analysing Web Search Logs to Determine Session Boundaries for User-Oriented Learning -- Learning User Profiles in NAUTILUS -- Lexical Chaining for Web-Based Retrieval of Breaking News -- Designing for Social Navigation of Food Recipes -- A Study Comparing the Use of Shaded Text and Adaptive Navigational Support in Adaptive Hypermedia -- Layered Evaluation of Adaptive Applications and Services -- Exploratory Activity Support Based on a Semantic Feature Map -- Adaptivity in AHMED -- An Adaptive Document Generation Based on Matrix of Contents -- Logical Dimensions for the Information Provided by a Virtual Guide -- Automated Collaborative Filtering Applications for Online Recruitment Services -- ConTexts: Adaptable Hypermedia -- Coherence in Modularly Composed Adaptive Learning Documents -- ACE-Adaptive Courseware Environment -- The Adaptive University Calendar -- Sense-Based User Modelling for Web Sites -- Generating Personal Travel Guides from Discourse Plans -- Doctoral Consortium Papers -- Distributed Systems for Group Adaptivity on the Web -- Open Multimedia Environment to Retrieve and Organise Documents: An Adaptive Web-Based IR System in the Field of Textile and Clothing Industry -- Researching Adaptive Instruction -- A Modular Approach for User Modelling. |
Record Nr. | UNINA-9910143621903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspects of Automated Natural Language Generation [[electronic resource] ] : 6th International Workshop on Natural Language Generation Trento, Italy, April 5-7, 1992. Proceedings / / edited by Robert Dale, Eduard Hovy, Dietmar Rösner, Oliviero Stock |
Edizione | [1st ed. 1992.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Descrizione fisica | 1 online resource (VIII, 313 p.) |
Disciplina | 006.35 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Natural Language Processing (NLP) Artificial Intelligence |
ISBN | 3-540-47054-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A model for creating and visualizing speech and emotion -- Integrated natural language generation systems -- An integrated view of text planning -- Integrating text planning and linguistic choice by annotating linguistic structures -- Employing knowledge resources in a new text planner architecture -- Type-driven suppression of redundancy in the generation of inference-rich reports -- Controlling content realization with functional unification grammars -- Syntactic selection in linguistic realization: A comparative study -- A constraint logic programming treatment of syntactic choice in natural language generation -- Generating utterances in dialogue systems -- Monologue as a turn in dialogue: Towards an integration of exchange structure and rhetorical structure theory -- Abducing temporal discourse -- Using system networks to build rhetorical structures -- Customizing RST for the automatic production of technical manuals -- Text revision: A model and its implementation -- Transparently-motivated metaphor generation -- Generating referring expressions in a multimodal environment -- The performance of an incremental generation component for multi-modal dialog contributions -- Multimedia presentation planning as an extension of text planning -- Visible language: Multimodal constraints in information presentation -- Generation of multimodal weather reports -- Steps toward hypergeneration -- WIP: Integrating text and graphics design for adaptive information presentation -- Constructing an interlingua using generator resources -- Bilingual report generation: Experience with interlingae -- Multilingual generation: Dimensions of organization and forms of representation -- On language-independent inputs for multilingual generation -- Remarks on multilinguality and generation. |
Record Nr. | UNISA-996465340803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Technologies for Interactive Entertainment [[electronic resource] ] : First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings / / edited by Mark Maybury, Oliviero Stock, Wolfgang Wahlster |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XVI, 344 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Multimedia information systems User interfaces (Computer systems) Computer graphics Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction Computer Graphics Computer Appl. in Arts and Humanities |
ISBN |
3-540-31651-5
3-540-30509-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile Tourist Guide Applications -- Discovering the European Heritage Through the ChiKho Educational Web Game -- Squidball: An Experiment in Large-Scale Motion Capture and Game Design -- Generating Ambient Behaviors in Computer Role-Playing Games -- Telepresence Techniques for Controlling Avatar Motion in First Person Games -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object References with Migrating Virtual Characters -- AI-Mediated Interaction in Virtual Reality Art -- Laughter Abounds in the Mouths of Computers: Investigations in Automatic Humor Recognition -- AmbientBrowser: Web Browser for Everyday Enrichment -- Ambient Intelligence in Edutainment: Tangible Interaction with Life-Like Exhibit Guides -- Drawings as Input for Handheld Game Computers -- Let’s Come Together — Social Navigation Behaviors of Virtual and Real Humans -- Interacting with a Virtual Rap Dancer -- Grounding Emotions in Human-Machine Conversational Systems -- Water, Temperature and Proximity Sensing for a Mixed Reality Art Installation -- Geogames: A Conceptual Framework and Tool for the Design of Location-Based Games from Classic Board Games -- Disjunctor Selection for One-Line Jokes -- Multiplayer Gaming with Mobile Phones – Enhancing User Experience with a Public Screen -- Learning Using Augmented Reality Technology: Multiple Means of Interaction for Teaching Children the Theory of Colours -- Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information -- Short Papers -- Entertainment Personalization Mechanism Through Cross-Domain User Modeling -- User Interview-Based Progress Evaluation of Two Successive Conversational Agent Prototypes -- Adding Playful Interaction to Public Spaces -- Report on a Museum Tour Report -- A Ubiquitous and Interactive Zoo Guide System -- Styling and Real-Time Simulation of Human Hair -- Motivational Strategies for an Intelligent Chess Tutoring System -- Balancing Narrative Control and Autonomy for Virtual Characters in a Game Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content Adaptation for Gradual Web Rendering -- Getting the Story Right: Making Computer-Generated Stories More Entertaining -- Omnipresent Collaborative Virtual Environments for Open Inventor Applications -- SpatiuMedia: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets -- Bringing Hollywood to the Driving School: Dynamic Scenario Generation in Simulations and Games -- Demos -- Webcrow: A Web-Based Crosswords Solver -- COMPASS2008: The Smart Dining Service -- DaFEx: Database of Facial Expressions -- PeaceMaker: A Video Game to Teach Peace -- A Demonstration of the ScriptEase Approach to Ambient and Perceptive NPC Behaviors in Computer Role-Playing Games -- Multi-user Multi-touch Games on DiamondTouch with the DTFlash Toolkit -- Enhancing Social Communication Through Story-Telling Among High-Functioning Children with Autism -- Tagsocratic: Learning Shared Concepts on the Blogosphere -- Delegation Based Multimedia Mobile Guide -- Personalized Multimedia Information System for Museums and Exhibitions -- Lets Come Together – Social Navigation Behaviors of Virtual and Real Humans -- Automatic Creation of Humorous Acronyms. |
Record Nr. | UNISA-996465725503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent technologies for interactive entertainment : first international conference, Intetain 2005, Madonna di Campiglio, Italy, November 30 - December 2, 2005 : proceedings / / Mark Maybury, Oliviero Stock, Wolfgang Wahlster (eds.) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Springer, 2005 |
Descrizione fisica | 1 online resource (XVI, 344 p.) |
Disciplina | 790.20285 |
Altri autori (Persone) |
MayburyMark T
StockOliviero WahlsterWolfgang |
Collana | Lecture notes in computer science ;Lecture notes in artificial intelligence |
Soggetto topico |
Entertainment computing
Interactive computer systems |
ISBN |
3-540-31651-5
3-540-30509-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile Tourist Guide Applications -- Discovering the European Heritage Through the ChiKho Educational Web Game -- Squidball: An Experiment in Large-Scale Motion Capture and Game Design -- Generating Ambient Behaviors in Computer Role-Playing Games -- Telepresence Techniques for Controlling Avatar Motion in First Person Games -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object References with Migrating Virtual Characters -- AI-Mediated Interaction in Virtual Reality Art -- Laughter Abounds in the Mouths of Computers: Investigations in Automatic Humor Recognition -- AmbientBrowser: Web Browser for Everyday Enrichment -- Ambient Intelligence in Edutainment: Tangible Interaction with Life-Like Exhibit Guides -- Drawings as Input for Handheld Game Computers -- Let’s Come Together — Social Navigation Behaviors of Virtual and Real Humans -- Interacting with a Virtual Rap Dancer -- Grounding Emotions in Human-Machine Conversational Systems -- Water, Temperature and Proximity Sensing for a Mixed Reality Art Installation -- Geogames: A Conceptual Framework and Tool for the Design of Location-Based Games from Classic Board Games -- Disjunctor Selection for One-Line Jokes -- Multiplayer Gaming with Mobile Phones – Enhancing User Experience with a Public Screen -- Learning Using Augmented Reality Technology: Multiple Means of Interaction for Teaching Children the Theory of Colours -- Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information -- Short Papers -- Entertainment Personalization Mechanism Through Cross-Domain User Modeling -- User Interview-Based Progress Evaluation of Two Successive Conversational Agent Prototypes -- Adding Playful Interaction to Public Spaces -- Report on a Museum Tour Report -- A Ubiquitous and Interactive Zoo Guide System -- Styling and Real-Time Simulation of Human Hair -- Motivational Strategies for an Intelligent Chess Tutoring System -- Balancing Narrative Control and Autonomy for Virtual Characters in a Game Scenario -- Web Content Transformed into Humorous Dialogue-Based TV-Program-Like Content -- Content Adaptation for Gradual Web Rendering -- Getting the Story Right: Making Computer-Generated Stories More Entertaining -- Omnipresent Collaborative Virtual Environments for Open Inventor Applications -- SpatiuMedia: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets -- Bringing Hollywood to the Driving School: Dynamic Scenario Generation in Simulations and Games -- Demos -- Webcrow: A Web-Based Crosswords Solver -- COMPASS2008: The Smart Dining Service -- DaFEx: Database of Facial Expressions -- PeaceMaker: A Video Game to Teach Peace -- A Demonstration of the ScriptEase Approach to Ambient and Perceptive NPC Behaviors in Computer Role-Playing Games -- Multi-user Multi-touch Games on DiamondTouch with the DTFlash Toolkit -- Enhancing Social Communication Through Story-Telling Among High-Functioning Children with Autism -- Tagsocratic: Learning Shared Concepts on the Blogosphere -- Delegation Based Multimedia Mobile Guide -- Personalized Multimedia Information System for Museums and Exhibitions -- Lets Come Together – Social Navigation Behaviors of Virtual and Real Humans -- Automatic Creation of Humorous Acronyms. |
Record Nr. | UNINA-9910484075403321 |
Berlin ; ; New York, N.Y., : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning, Action and Interaction in AI Theories and Systems [[electronic resource] ] : Essays Dedicated to Luigia Carlucci Aiello / / edited by Oliviero Stock, Marco Schaerf |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVIII, 343 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages |
ISBN | 3-540-37902-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence -- Research Perspectives for Logic and Deduction -- Reductio ad Absurdum: Planning Proofs by Contradiction -- Computational Logic in an Object-Oriented World -- Best-First Rippling -- Partial Solutions with Unique Completion -- A Computerized Referee -- About Implicit and Explicit Shape Representation -- Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems -- Coordination of Actions in an Autonomous Robotic System -- Artificial Intelligence in RoboCup -- Planning Under Uncertainty and Its Applications -- Reasoning About Web Services in a Temporal Action Logic -- Intelligent Search on the Internet -- Cracking Crosswords: The Computer Challenge -- Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis -- Examples of Integration of Induction and Deduction in Knowledge Discovery -- SharedLife: Towards Selective Sharing of Augmented Personal Memories. |
Record Nr. | UNISA-996465774503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / / Oliviero Stock, Marco Schaerf (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
Descrizione fisica | 1 online resource (XVIII, 343 p.) |
Disciplina | 006.3 |
Altri autori (Persone) |
StockOliviero
SchaerfMarco Carlucci AielloL <1946-> (Luigia) |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-37902-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence -- Research Perspectives for Logic and Deduction -- Reductio ad Absurdum: Planning Proofs by Contradiction -- Computational Logic in an Object-Oriented World -- Best-First Rippling -- Partial Solutions with Unique Completion -- A Computerized Referee -- About Implicit and Explicit Shape Representation -- Agents, Equations and All That: On the Role of Agents in Understanding Complex Systems -- Coordination of Actions in an Autonomous Robotic System -- Artificial Intelligence in RoboCup -- Planning Under Uncertainty and Its Applications -- Reasoning About Web Services in a Temporal Action Logic -- Intelligent Search on the Internet -- Cracking Crosswords: The Computer Challenge -- Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis -- Examples of Integration of Induction and Deduction in Knowledge Discovery -- SharedLife: Towards Selective Sharing of Augmented Personal Memories. |
Record Nr. | UNINA-9910767520903321 |
Berlin ; ; New York, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|