close
1.

電子ブック
ＥＢ
1. Cooperative Information Agents XI
Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Jörg Siekmann, Leon Sterling
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Cooperative Information Agents XII
Jaime G. Carbonell, Jörg Siekmann, Michal Pechoucek, Axel Polleres
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
3.

電子ブック
ＥＢ
3. Coordination, Organizations, Institutions, and Norms in Agent Systems II
Pablo Noriega, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson, Jörg Siekmann, Javier Vázquez-Salceda, Eric T. Matson
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Modelling and Analyzing Organizations / I：
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Coordinating Tasks in Agent Organizations
Redesign of Organizations as a Basis for Organizational Change / Mark Hoogendoorn ; Catholijn M. Jonker ; Jan Treur
Modelling and Analyzing Institutions / II：
Specifying and Reasoning About Multiple Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model / Benjamin Gateau ; Olivier Boissier ; Djamel Khadraoui ; Eric Dubois
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions / Huib Aldewereld
Specification and Verification of Institutions Through Status Functions / Francesco Vigano ; Marco Colombetti
Normative Models and Issues / III：
Spatially Distributed Normative Objects / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Informing Regulatory Dynamics in Open MASs / Carolina Felicissimo ; Ricardo Choren ; Jean-Pierre Briot ; Carlos Lucena
Operationalisation of Norms for Electronic Institutions / Andres Garcia-Camino ; Pablo Noriega ; Juan Antonio Rodriguez-Aguilar ; Carles Sierra
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach / Juan-Antonio Rodriguez-Aguilar ; Wamberto Vasconcelos
An Agent-Based Model for Hierarchical Organizations / Luis Erasmo Montealegre Vazquez ; Fabiola Lopez y Lopez
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems / Dorian Gaertner ; Keith Clark ; Marek Sergot
Norm Evolution and Dynamics / IV：
Towards Self-configuration in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez
Norm Conflicts and Inconsistencies in Virtual Organisations / Martin J. Kollingbaum ; Timothy J. Norman ; Alun Preece ; Derek Sleeman
Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
A Peer-to-Peer Normative System to Achieve Social Order / Amandine Grizard ; Laurent Vercouter ; Tiberiu Stratulat ; Guillaume Muller
Autonomy, Coordination and Social Order / V：
What Is Commitment? Physical, Organizational, and Social (Revised) / Carl Hewitt
Modelling and Monitoring Social Expectations in Multi-agent Systems / Stephen Cranefield
Influence-Based Autonomy Levels in Agent Decision-Making / Bob van der Vecht ; Andre P. Meyer ; Martijn Neef ; John-Jules Ch. Meyer
Centralized Regulation of Social Exchanges Between Personality-Based Agents / Gracaliz Pereira Dimuro ; Luciano Vargas Goncalves ; Alexandre Hubner
Cooperative Interactions: An Exchange Values Model / Maira R. Rodrigues ; Michael Luck
Author Index
Modelling and Analyzing Organizations / I：
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
4.

電子ブック
ＥＢ
4. Critical Infrastructure Protection
Eric Goetz, Sujeet Shenoi, Jörg Siekmann, S. Shenoi
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2008
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Current Topics in Artificial Intelligence
Daniel Borrajo, Luis Castillo, Juan Manuel Corchado, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
Interoperable Bayesian Agents for Collaborative Learning Environments / Elisa Boff ; Elder Rizzon Santos ; Moser S. Fagundes ; Rosa Maria Vicari
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs / Luis Castillo ; Lluvia Morales ; Arturo Gonzalez-Ferrer ; Juan Fernandez-Olivares ; Oscar Garcia-Perez
On the Initialization of Two-Stage Clustering with Class-GTM / Raul Cruz-Barbosa ; Alfredo Vellido
Three-Dimensional Anisotropic Noise Reduction with Automated Parameter Tuning: Application to Electron Cryotomography / J.J. Fernandez ; S. Li ; V. Lucic
A Middle-Ware for the Automated Composition and Invocation of Semantic Web Services Based on Temporal HTN Planning Techniques / Tomas Garzon ; Francisco Palao
A Multiobjective Approach to Fuzzy Job Shop Problem Using Genetic Algorithms / Ines Gonzalez-Rodriguez ; Jorge Puente ; Camino R. Vela
CTC: An Alternative to Extract Explanation from Bagging / Ibai Gurrutxaga ; Jesus M[superscript a] Perez ; Olatz Arbelaitz ; Javier Muguerza ; Jose I. Martin ; Ander Ansuategi
Ranking Attributes Using Learning of Preferences by Means of SVM / Alejandro Hernandez-Arauzo ; Miguel Garcia-Torres ; Antonio Bahamonde
Improving HLRTA*([kappa]) / Carlos Hernandez ; Pedro Meseguer
Sliding Mode Control of a Wastewater Plant with Neural Networks and Genetic Algorithms / Miguel A. Jaramillo-Moran ; Juan C. Peguero-Chamizo ; Enrique Martinez de Salazar ; Montserrat Garcia del Valle
Efficient Pruning of Operators in Planning Domains / Anders Jonsson
Heuristics for Planning with Action Costs / Emil Keyder
Mixed Narrative and Dialog Content Planning Based on BDI Agents / Carlos Leon ; Samer Hassan ; Pablo Gervas ; Juan Pavon
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs / R.M. Gasca ; C. Del Valle ; M.T. Gomez-Lopez ; R. Ceballos
Interest Point Detectors for Visual SLAM / Oscar Martinez Mozos ; Arturo Gil ; Monica Ballesta ; Oscar Reinoso
TBL Template Selection: An Evolutionary Approach / Ruy Luiz Milidiu ; Julio Cesar Duarte ; Cicero Nogueira dos Santos
Finiteness Properties of Some Families of GP-Trees / Cesar L. Alonso ; Jose Luis Montana
A Workflow for the Networked Ontologies Lifecycle: A Case Study in FAO of the UN / Oscar Munoz-Garcia ; Asuncion Gomez-Perez ; Marta Iglesias-Sucasas ; Soonho Kim
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
A Solution to the Rural Postman Problem Based on Artificial Ant Colonies / Maria Luisa Perez-Delgado
Olive Fly Infestation Prediction Using Machine Learning Techniques / Jose del Sagrado ; Isabel Maria del Aguila
Feature Selection Based on Sensitivity Analysis / Noelia Sanchez-Marono ; Amparo Alonso-Betanzos
Fitness Function Comparison for GA-Based Feature Construction / Leila S. Shafti ; Eduardo Perez
Generation of OWL Ontologies from Concept Maps in Shallow Domains / Alfredo Simon ; Luigi Ceccaroni ; Alejandro Rosete
Effectiveness Study of Lexically Mapping Two Thesauri / M. Taboada ; R. Lalin ; D. Martinez ; S. Tellado
Author Index
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
6.

電子ブック
ＥＢ
6. Declarative Agent Languages and Technologies V
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff, M. Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
7.

電子ブック
ＥＢ
7. Declarative Agent Languages and Technologies VI
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff, Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
8.

電子ブック
ＥＢ
8. Deontic Logic in Computer Science
Ron Meyden, Jörg Siekmann, Leendert Torre, Leendert van der Torre, Ron Van der Meyden, Leendert van der Torre
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
A Tableaux System for Deontic Action Logic / Pablo F. Castro ; T.S.E. Maibaum
Information Security Economics - and Beyond (Invited Talk) / Ross Anderson
Trust and Norms in the Context of Computer Security: A Logical Formalization / Emiliano Lorini ; Robert Demolombe
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic / Nora Cuppens-Boulahia ; Frederic Cuppens
Delegation of Control in Administrative Procedures / Joris Hulstijn ; Jianwei Liu ; Yao-Hua Tan
Variations in Access Control Logic (Invited Talk) / Martin Abadi
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking / Nikhil Dinesh ; Aravind Joshi ; Insup Lee ; Oleg Sokolsky
Need to Know: Questions and the Paradox of Epistemic Obligation
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing' / Jan Broersen
Reactive Kripke Models and Contrary to Duty Obligations (Invited Talk) / Dov M. Gabbay
Normative Consequence: The Problem of Keeping It Whilst Giving It up / Audun Stolpe
On the Strong Completeness of Aqvist's Dyadic Deontic Logic G / Xavier Parent
Strata of Intervenient Concepts in Normative Systems / Lars Lindahl ; Jan Odelstad
A Deontic Logic for Socially Optimal Norms / Rosja Mastop ; John-Jules Ch. Meyer ; Paolo Turrini
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin / Paul McNamara
Introducing Grades in Deontic Logics / Pilar Dellunde ; Lluis Godo
Pushing Anderson's Envelope: The Modal Logic of Ascription / Davide Grossi
Author Index
Norms in Branching Space-Times (Invited Talk) / Nuel Belnap
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories / Guido Governatori ; Antonino Rotolo
Acting, Events and Actions / Mark A. Brown
9.

電子ブック
ＥＢ
9. Dependable and Adaptable Networks and Services
Aiko Pras, Jörg Siekmann, Marten Sinderen, Marten J. van Sinderen, EUNICE Network., Marten van Sinderen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Diagrammatic Representation and Inference
Gem Stapleton, John Howse, John Lee, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
11.

電子ブック
ＥＢ
11. Digital Human Modeling
Vincent G. Duffy, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Digital Human Modeling
Yang Cai, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Human Dynamics / Part I：
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II：
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III：
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I：
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
13.

電子ブック
ＥＢ
13. Discovery Science
Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Text Analysis
String Kernels Based on Variable-Length-Don't-Care Patterns / Kazuyuki Narisawa ; Hideo Bannai ; Kohei Hatano ; Shunsuke Inenaga ; Masayuki Takeda
Unsupervised Spam Detection by Document Complexity Estimation / Takashi Uemura ; Daisuke Ikeda ; Hiroki Arimura
A Probabilistic Neighbourhood Translation Approach for Non-standard Text Categorisation / Ata Kaban
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
14.

電子ブック
ＥＢ
14. Formal Concept Analysis
Sergei O. Kuznetsov, Stefan Schmidt, Stefan E. Schmidt, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data / Mohamed Hacene Rouane ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev
Computing Intensions of Digital Library Collections / Carlo Meghini ; Nicolas Spyratos
Custom Asymmetric Page Split Generalized Index Search Trees and Formal Concept Analysis / Ben Martin
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees / Sebastien Ferre
A Parameterized Algorithm for Exploring Concept Lattices / Peggy Cellier ; Olivier Ridoux ; Mireille Ducasse
About the Lossless Reduction of the Minimal Generator Family of a Context / Tarek Hamrouni ; Sadok Ben Yahia ; Engelbert Mephu Nguifo
Some Notes on Pseudo-closed Sets / Sebastian Rudolph
Performances of Galois Sub-hierarchy-building Algorithms / Gabriela Arevalo ; Anne Berry ; Guillaume Perrot ; Alain Sigayret
Galois Connections Between Semimodules and Applications in Data Mining / Francisco J. Valverde-Albacete ; Carmen Pelaez-Moreno
On Multi-adjoint Concept Lattices: Definition and Representation Theorem / Jesus Medina ; Manuel Ojeda-Aciego ; Jorge Ruiz-Calvino
Base Points, Non-unit Implications, and Convex Geometries / Heiko Reppe
Lattices of Relatively Axiomatizable Classes / Dmitry E. Pal'chunov
A Solution of the Word Problem for Free Double Boolean Algebras / Bjorn Vormbrock
On the MacNeille Completion of Weakly Dicomplemented Lattices / Leonard Kwuida ; Branimir Seselja ; Andreja Tepavcevic
Polynomial Embeddings and Representations / Tim Becker
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Bipartite Ferrers-Graphs and Planar Concept Lattices / Christian Zschalig
Author Index
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
15.

電子ブック
ＥＢ
15. Foundations of Fuzzy Logic and Soft Computing
Patricia Melin, Luis T. Aguilar, Jaime G. Carbonell, Oscar Castillo, Janusz Kacprzyk, Witold Pedrycz, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Foundations of Intelligent Systems
Aijun An, Stan Matwin, Jörg Siekmann, Zbigniew W. Ras, Dominik Slezak
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Digital Library
Image Databases Browsing by Unsupervised Learning / Charbel Julien ; Lorenza Saitta
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
17.

電子ブック
ＥＢ
17. From Animals to Animats 10
Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jörg Siekmann, Jun Tani
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. From Web to Social Web: Discovering and Deploying User and Content Profiles
Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Frontiers of Combining Systems
Boris Konev, Jörg Siekmann, Frank Wolter
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions / Section 1：
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL / Sava Krstic ; Amit Goel
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain / Roberto Sebastiani
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions / Viorica Sofronie-Stokkermans
Temporalising Logics: Fifteen Years After / Michael Zakharyashev
Technical Papers / Section 2：
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs / Beatriz Alarcon ; Salvador Lucas
A Compressing Translation from Propositional Resolution to Natural Deduction / Hasan Amjad
Combining Algorithms for Deciding Knowledge in Security Protocols / Mathilde Arnaud ; Veronique Cortier ; Stephanie Delaune
Combining Classical and Intuitionistic Implications / Carlos Caleiro ; Jaime Ramos
Towards an Automatic Analysis of Web Service Security / Yannick Chevalier ; Denis Lugiez ; Michael Rusinowitch
Certification of Automated Termination Proofs / Evelyne Contejean ; Pierre Courtieu ; Julien Forest ; Olivier Pons ; Xavier Urbain
Temporal Logic with Capacity Constraints / Clare Dixon ; Michael Fisher ; Boris Konev
Idempotent Transductions for Modal Logics / Tim French
A Temporal Logic of Robustness / John C. Mc Cabe-Dansted ; Mark Reynolds
Noetherianity and Combination Problems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Languages Modulo Normalization / Hitoshi Ohsaki ; Hiroyuki Seki
Combining Proof-Producing Decision Procedures / Christophe Ringeissen ; Duc-Khanh Tran
Visibly Pushdown Languages and Term Rewriting / Jacques Chabin ; Pierre Rety
Proving Termination Using Recursive Path Orders and SAT Solving / Peter Schneider-Kamp ; Rene Thiemann ; Elena Annov ; Michael Codish ; Jurgen Giesl
Author Index
Invited Contributions / Section 1：
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL / Sava Krstic ; Amit Goel
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain / Roberto Sebastiani
20.

電子ブック
ＥＢ
20. Advances in Cryptology — EUROCRYPT ’90
Ivan Bjerre Damgård, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1991
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Advances in Hybrid Information Technology
Marcin S. Szczuka, Daniel Howard, Jörg Siekmann, Haeng-kon Kim, Tai-hoon Kim, Il-seok Ko, Geuk Lee, Dominik Slezak, Peter M. A. Sloot
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Reduction Based Symbolic Value Partition / Fan Min ; Qihe Liu ; Chunlan Fang ; Jianzhong Zhang
Investigative Data Mining for Counterterrorism / Muhammad Akram Shaikh ; Jiaxin Wang ; Hongbo Liu ; Yixu Song
Data Integration Using Lazy Types / Nicolas Marin ; Maria Amparo Vila
Data Generalization Algorithm for the Extraction of Road Horizontal Alignment Design Elements Using the GPS/INS Data / Sunhee Choi ; Junggon Sung
Personalized E-Learning Process Using Effective Assessment and Feedback / Cheonshik Kim ; Myunghee Jung ; Shaikh Muhammad Allayear ; Sung Soon Park
Optimally Pricing European Options with Real Distributions / Chieh-Chung Sheng ; Hsiao-Ya Chiu ; An-Pin Chen
Applying Stated Preference Methods to Investigate Effects of Traffic Information on Route Choice / Hye-Jin Cho ; Kangsoo Kim
A Study on Determining the Priorities of ITS Services Using Analytic Hierarchy and Network Processes / Byung Doo Jung ; Young-in Kwon ; Hyun Kim ; Seon Woo Lee
An Introduction of Indicator Variables and Their Application to the Characteristics of Congested Traffic Flow at the Merge Area / Sang-Gu Kim ; Youngho Kim ; Taewan Kim ; YoungTae Son
Imaging, Speech, and Complex Data
Image Resize Application of Novel Stochastic Methods of Function Recovery / Daniel Howard ; Joseph Kolibal
Automatic Face Analysis System Based on Face Recognition and Facial Physiognomy / Eung-Joo Lee ; Ki-Ryong Kwon
Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video / Wooksun Shin ; Jongseok Um ; Doo Heon Song ; Changhoon Lee
Automatic Marker-Driven Three Dimensional Watershed Transform for Tumor Volume Measurement / Yong-su Chae ; Desok Kim
A Study on the Medical Image Transmission Service Based on IEEE 802.15.4a / Yang-Sun Lee ; Jae-Min Kwak ; Sung-Eon Cho ; Ji-Woong Kim ; Heau-Jo Kang
Detecting Image Based Spam Email / Wanli Ma ; Dat Tran ; Dharmendra Sharma
Efficient Fixed Codebook Search Method for ACELP Speech Codecs / Eung-Don Lee ; Jae-Min Ahn
Conventional Beamformer Using Post-filter for Speech Enhancement / Soojeong Lee ; Kiho Choi ; Soonhyob Kim
Bandwidth Extension of a Narrowband Speech Coder for Music Delivery over IP / Young Han Lee ; Hong Kook Kim ; Mi Suk Lee ; Do Young Kim
A User-Oriented GIS Search Service Using Ontology in Location-Based Services / Hyunsuk Hwang ; Seonghyun Shin ; Changsoo Kim
A Filtered Retrieval Technique for Structural Information / Young-Ho Park ; Yong-Ik Yoon ; Jong-Woo Lee
Applications of Artificial Intelligence
An Analysis of a Lymphoma/Leukaemia Dataset Using Rough Sets and Neural Networks / Kenneth Revett ; Marcin Szczuka
A Frequency Adaptive Packet Wavelet Coder for Still Images Using CNN / N. Venkateswaran ; J. Vignesh ; S. Santhosh Kumar ; S. Rahul ; M. Bharadwaj
Reduced RBF Centers Based Multi-user Detection in DS-CDMA Systems / Jungsik Lee ; Ravi Sankar ; Jaejeong Hwang
Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic Algorithm and Neural Network Approach / Kwang-Kyu Seo ; Won-Ki Kim
A Solution for Bi-level Network Design Problem Through Nash Genetic Algorithm / Jong Ryul Kim ; Jung Bok Jo ; Hwang Kyu Yang
An Alternative Measure of Public Transport Accessibility Based on Space Syntax / Chulmin Jun ; Jay Hyoun Kwon ; Yunsoo Choi ; Impyeong Lee
Adaptive Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS / Sung-Soo Kim ; Seung B. Ahn
Particle Swarm Optimization for a Multi-UCAV Cooperative Task Scheduling / Xiaohua Huo ; Lincheng Shen ; Tao Long
Expert System Using Fuzzy Petri Nets in Computer Forensics / Hyun-Uk Hwang ; Min-Soo Kim ; Bong-Nam Noh
MMORPG Map Evaluation Using Pedestrian Agents / Christian Anthony L. Go ; Tristan Basa ; Won-Hyung Lee
The Analysis of Game Playing Experiences: Focusing on Massively Multiplayer Online Role-Playing Game / Seungkeun Song ; Joohyeon Lee ; Jun Jo
Hybrid, Smart, and Ubiquitous Systems
How to Overcome Main Obstacles to Building a Virtual Telematics Center / Bong Gyou Lee
Real-Time Travel Time Estimation Using Automatic Vehicle Identification Data in Hong Kong / Mei Lam Tam ; William H.K. Lam
A Context-Aware Elevator Scheduling System for Smart Apartment Buildings / Ohhoon Kwon ; Hyokyung Bahn ; Kern Koh
A MOM-Based Home Automation Platform / Chun-Yuan Chen ; Chi-Huang Chiu ; Shyan-Ming Yuan
An Error Sharing Agent for Multimedia Collaboration Environment Running on Pervasive Networks / Eung Nam Ko
A Hybrid Intelligent Multimedia Service Framework in Next Generation Home Network Environment / Jong Hyuk Park ; Jungsuk Song ; Byoung-Soo Koh ; Deok-Gyu Lee ; Byoung-Ha Park
Integration of Artificial Market Simulation and Text Mining for Market Analysis / Kiyoshi Izumi ; Hiroki Matsui ; Yutaka Matsuo
Agent-Based Intelligent Decision Support for the Home Healthcare Environment / Louie Cervantes ; Yong-Seok Lee ; Hyunho Yang ; Sung-hyun Ko ; Jaewan Lee
An Aware-Environment Enhanced Group Home: AwareRium / Hideaki Kanai ; Toyohisa Nakada ; Goushi Tsuruma ; Susumu Kunifuji
The Situation Dependent Application Areas of EPC Sensor Network in u-Healthcare / Yoonmin Hwang ; Garam Park ; Eunji Ahn ; Jaejeung Rho ; Jonwoo Sung ; Daeyoung Kim
Ubiquitous Healthcare System Using Context Information Based on the DOGF / Chang-Sun Shin ; Dong-In Ahn ; Dong-Seok Kim ; Su-Chong Joo
Hardware and Software Engineering
Load Balancing Using Dynamic Replication Scheme for the Distributed Object Group / Romeo Mark A. Mateo ; Marley Lee
Design and Implementation of a Performance Analysis and Visualization Toolkit for Cluster Environments / Tien-Hsiung Weng ; Hsiao-Hsi Wang ; Tsung-Ying Wu ; Ching-Hsien Hsu ; Kuan-Ching Li
Enterprise Application Framework for Constructing Secure RFID Application / Hyundong Lee ; Kiyeal Lee ; Mokdong Chung
A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs / Myeong-Chul Park ; Young-Joo Kim ; In-Geol Chun ; Seok-Wun Ha ; Yong-Kee Jun
A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications / Won-Ho Choi ; Ha-Yong Jeon ; Rhys Rosholt ; Gwang Jung ; Min-Soo Jung
Design and Implementation of the Decompiler for Virtual Machine Code of the C++ Compiler in the Ubiquitous Game Platform / YangSun Lee ; YoungKeun Kim ; HyeokJu Kwon
Mobile Pharmacology / Patrik Eklund ; Johan Karlsson ; Annica Naslund
Wireless Control System for Pet Dogs in a Residential Environment / Ji-Won Jung ; Dong-Sung Kim
Intelligent Embedded Real-Time Software Architecture for Dynamic Skill Selection and Identification in Multi-shaped Robots / Laxmisha Rai ; Soon Ju Kang
Networking and Telecommunications
The Accurate Performance Evaluation of Time Hopping UWB Systems with Pulse Based Polarity / Jang-Woo Park ; Kyung-Ryoung Cho ; Nam-Hong Jo
Improvement of Adaptive Modulation System with Optimal Turbo Coded V-BLAST Technique / Kyunghwan Lee ; Kwangwook Choi ; Sangjin Ryoo ; Kyoungwon Lee ; Mingoo Kang ; Intae Hwang ; Taejin Jung ; Daejin Kim ; Cheolsung Kim
Header Compression of RTP/UDP/IP Packets for Real Time High-Speed IP Networks / Kyung-shin Kim ; Moon-sik Kang ; In-tae Ryoo
Repetition Coding Aided Time-Domain Cancellation for Inter-Carrier Interference Reduction in OFDM Systems / Jeong-Wook Seo ; Won-Gi Jeon ; Jong-Ho Paik ; Dong-Ku Kim
On Scheduling Transmissions for Hidden Terminal Problems in Dynamic RFID Systems
Efficient RFID Authentication Protocol for Minimizing RFID Tag Computation / Keunwoo Rhee ; Jin Kwak ; Wan S. Yi ; Chanho Park ; Sangjoon Park ; Hyungkyu Yang ; Seungjoo Kim ; Dongho Won
Design of WLAN Secure System Against Weaknesses of the IEEE 802.1x / Seong-pyo Hong ; Jong-an Park ; Seung-jo Han ; Jae-young Pyun ; Joon Lee
A Sophisticated Base Station Centralized Simple Clustering Protocol for Sensor Networks / Giljae Lee ; Yoonjoo Kwon ; Woojin Seok ; Jaiseung Kwak ; Okhwan Byeon
Plus-Tree: A Routing Protocol for Wireless Sensor Networks / Yongsuk Park ; Eun-Sun Jung
Optimization and Routing Discovery for Ad Hoc Wireless Networks: A Cross Layer Approach / Reizel Casaquite ; Won-Joo Hwang
Analysis of the Characteristics of Rain Attenuation in the 12.25GHz Band for Wireless Networking / Dong You Choi
Author Index
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
22.

電子ブック
ＥＢ
22. Advances in Knowledge Discovery and Data Mining
Takashi Washio, Akihiro Inokuchi, Jörg Siekmann, Einoshin Suzuki, Kai Ming Ting
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Advances in Knowledge Discovery and Data Mining
Zhi-Hua Zhou, Jaime G. Carbonell, Hang Li, Jörg Siekmann, Qiang Yang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Advances in Natural Language Processing
Bengt Nordström, Aarne Ranta, Jörg Siekmann, SpringerLink (Online service)
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Agent Communication II
Frank P. M. Dignum, Rogier M. Eijk, Rogier M. van Eijk, Roberto Flores, Roberto A. Flores, Jörg Siekmann, Rogier van Eijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Algorithmic Learning Theory
Yoav Freund, László Györfi, Jörg Siekmann, György Turán, Thomas Zeugmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain (Extended Abstract) / Tom M. Mitchell
Regular Contributions
Statistical Learning
Generalization Bounds for Some Ordinal Regression Algorithms / Shivani Agarwal
Approximation of the Optimal ROC Curve and a Tree-Based Ranking Algorithm / Stephan Clemencon ; Nicolas Vayatis
Sample Selection Bias Correction Theory / Corinna Cortes ; Mehryar Mohri ; Michael Riley ; Afshin Rostamizadeh
Exploiting Cluster-Structure to Predict the Labeling of a Graph / Mark Herbster
A Uniform Lower Error Bound for Half-Space Learning / Andreas Maurer ; Massimiliano Pontil
Generalization Bounds for K-Dimensional Coding Schemes in Hilbert Spaces
Learning and Generalization with the Information Bottleneck / Ohad Shamir ; Sivan Sabato ; Naftali Tishby
Probability and Stochastic Processes
Growth Optimal Investment with Transaction Costs / Laszlo Gyorfi ; Istvan Vajda
Online Regret Bounds for Markov Decision Processes with Deterministic Transitions / Ronald Ortner
On-Line Probability, Complexity and Randomness / Alexey Chernov ; Alexander Shen ; Nikolai Vereshchagin ; Vladimir Vovk
Prequential Randomness
Some Sufficient Conditions on an Arbitrary Class of Stochastic Processes for the Existence of a Predictor / Daniil Ryabko
Nonparametric Independence Tests: Space Partitioning and Kernel Approaches / Arthur Gretton
Boosting and Experts
Supermartingales in Prediction with Expert Advice / Yuri Kalnishkan ; Fedor Zhdanov
Aggregating Algorithm for a Space of Analytic Functions / Mikhail Dashevskiy
Smooth Boosting for Margin-Based Ranking / Jun-ichi Moribe ; Kohei Hatano ; Eiji Takimoto ; Masayuki Takeda
Learning with Continuous Experts Using Drifting Games / Indraneel Mukherjee ; Robert E. Schapire
Entropy Regularized LPBoost / Manfred K. Warmuth ; Karen A. Glocer ; S.V.N. Vishwanathan
Active Learning and Queries
Optimally Learning Social Networks with Activations and Suppressions / Dana Angluin ; James Aspnes ; Lev Reyzin
Active Learning in Multi-armed Bandits / Andras Antos ; Varun Grover ; Csaba Szepesvari
Query Learning and Certificates in Lattices / M. Arias ; J.L. Balcazar
Clustering with Interactive Feedback / Maria-Florina Balcan ; Avrim Blum
Active Learning of Group-Structured Environments / Gabor Bartok ; Sandra Zilles
Finding the Rare Cube / Shlomo Hoory ; Oded Margalit
Inductive Inference
Iterative Learning of Simple External Contextual Languages / Leonor Becerra-Bonache ; John Case ; Sanjay Jain ; Frank Stephan
Topological Properties of Concept Spaces / Matthew de Brecht ; Akihiro Yamamoto
Dynamically Delayed Postdictive Completeness and Consistency in Learning / Timo Kotzing
Dynamic Modeling in Inductive Inference
Optimal Language Learning / Samuel E. Moelius III
Numberings Optimal for Learning
Learning with Temporary Memory / Steffen Lange
Erratum
Erratum: Constructing Multiclass Learners from Binary Learners: A Simple Black-Box Analysis of the Generalization Errors / Jittat Fakcharoenphol ; Boonserm Kijsirikul
Author Index
Invited Papers
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
27.

電子ブック
ＥＢ
27. An Introduction to Language Processing with Perl and Prolog
Pierre M. Nugues, A. Bundy, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
An Overview of Language Processing / 1：
Linguistics and Language Processing / 1.1：
Applications of Language Processing / 1.2：
The Different Domains of Language Processing / 1.3：
Phonetics / 1.4：
Lexicon and Morphology / 1.5：
Syntax / 1.6：
Syntax as Defined by Noam Chomsky / 1.6.1：
Syntax as Relations and Dependencies / 1.6.2：
Semantics / 1.7：
Discourse and Dialogue / 1.8：
Why Speech and Language Processing Are Difficult / 1.9：
Ambiguity / 1.9.1：
Models and Their Implementation / 1.9.2：
An Example of Language Technology in Action: the Persona Project / 1.10：
Overview of Persona / 1.10.1：
The Persona's Modules / 1.10.2：
Further Reading / 1.11：
Corpus Processing Tools / 2：
Corpora / 2.1：
Types of Corpora / 2.1.1：
Corpora and Lexicon Building / 2.1.2：
Corpora as Knowledge Sources for the Linguist / 2.1.3：
Finite-State Automata / 2.2：
A Description / 2.2.1：
Mathematical Definition of Finite-State Automata / 2.2.2：
Finite-State Automata in Prolog / 2.2.3：
Deterministic and Nondeterministic Automata / 2.2.4：
Building a Deterministic Automata from a Nondeterministic One / 2.2.5：
Searching a String with a Finite-State Automaton / 2.2.6：
Operations on Finite-State Automata / 2.2.7：
Regular Expressions / 2.3：
Repetition Metacharacters / 2.3.1：
The Longest Match / 2.3.2：
Character Classes / 2.3.3：
Nonprintable Symbols or Positions / 2.3.4：
Union and Boolean Operators / 2.3.5：
Operator Combination and Precedence / 2.3.6：
Programming with Regular Expressions / 2.4：
Perl / 2.4.1：
Matching / 2.4.2：
Substitutions / 2.4.3：
Translating Characters / 2.4.4：
String Operators / 2.4.5：
Back References / 2.4.6：
Finding Concordances / 2.5：
Concordances in Prolog / 2.5.1：
Concordances in Perl / 2.5.2：
Approximate String Matching / 2.6：
Edit Operations / 2.6.1：
Minimum Edit Distance / 2.6.2：
Searching Edits in Prolog / 2.6.3：
Encoding, Entropy, and Annotation Schemes / 2.7：
Encoding Texts / 3.1：
Character Sets / 3.2：
Representing Characters / 3.2.1：
Unicode / 3.2.2：
The Unicode Encoding Schemes / 3.2.3：
Locales and Word Order / 3.3：
Presenting Time, Numerical Information, and Ordered Words / 3.3.1：
The Unicode Collation Algorithm / 3.3.2：
Markup Languages / 3.4：
A Brief Background / 3.4.1：
An Outline of XML / 3.4.2：
Writing a DTD / 3.4.3：
Writing an XML Document / 3.4.4：
Namespaces / 3.4.5：
Codes and Information Theory / 3.5：
Entropy / 3.5.1：
Huffman Encoding / 3.5.2：
Cross Entropy / 3.5.3：
Perplexity and Cross Perplexity / 3.5.4：
Entropy and Decision Trees / 3.6：
Decision Trees / 3.6.1：
Inducing Decision Trees Automatically / 3.6.2：
Counting Words / 3.7：
Counting Words and Word Sequences / 4.1：
Words and Tokens / 4.2：
What Is a Word? / 4.2.1：
Breaking a Text into Words: Tokenization / 4.2.2：
Tokenizing Texts / 4.3：
Tokenizing Texts in Prolog / 4.3.1：
Tokenizing Texts in Perl / 4.3.2：
N-grams / 4.4：
Some Definitions / 4.4.1：
Counting Unigrams in Prolog / 4.4.2：
Counting Unigrams with Perl / 4.4.3：
Counting Bigrams with Perl / 4.4.4：
Probabilistic Models of a Word Sequence / 4.5：
The Maximum Likelihood Estimation / 4.5.1：
Using ML Estimates with Nineteen Eighty-Four / 4.5.2：
Smoothing N-gram Probabilities / 4.6：
Sparse Data / 4.6.1：
Laplace's Rule / 4.6.2：
Good-Turing Estimation / 4.6.3：
Using N-grams of Variable Length / 4.7：
Linear Interpolation / 4.7.1：
Back-off / 4.7.2：
Quality of a Language Model / 4.8：
Intuitive Presentation / 4.8.1：
Entropy Rate / 4.8.2：
Perplexity / 4.8.3：
Collocations / 4.9：
Word Preference Measurements / 4.9.1：
Extracting Collocations with Perl / 4.9.2：
Application: Retrieval and Ranking of Documents on the Web / 4.10：
Words, Parts of Speech, and Morphology / 4.11：
Words / 5.1：
Parts of Speech / 5.1.1：
Features / 5.1.2：
Two Significant Parts of Speech: The Noun and the Verb / 5.1.3：
Lexicons / 5.2：
Encoding a Dictionary / 5.2.1：
Building a Trie in Prolog / 5.2.2：
Finding a Word in a Trie / 5.2.3：
Morphology / 5.3：
Morphemes / 5.3.1：
Morphs / 5.3.2：
Inflection and Derivation / 5.3.3：
Language Differences / 5.3.4：
Morphological Parsing / 5.4：
Two-Level Model of Morphology / 5.4.1：
Interpreting the Morphs / 5.4.2：
Finite-State Transducers / 5.4.3：
Conjugating a French Verb / 5.4.4：
Prolog Implementation / 5.4.5：
Operations on Finite-State Transducers / 5.4.6：
Morphological Rules / 5.5：
Two-Level Rules / 5.5.1：
Rules and Finite-State Transducers / 5.5.2：
Rule Composition: An Examplewith French Irregular Verbs / 5.5.3：
Application Examples / 5.6：
Part-of-Speech Tagging Using Rules / 5.7：
Resolving Part-of-Speech Ambiguity / 6.1：
A Manual Method / 6.1.1：
Which Method to Use to Automatically Assign Parts of Speech / 6.1.2：
Tagging with Rules / 6.2：
Brill's Tagger / 6.2.1：
Implementation in Prolog / 6.2.2：
Deriving Rules Automatically / 6.2.3：
Confusion Matrices / 6.2.4：
Unknown Words / 6.3：
Standardized Part-of-Speech Tagsets / 6.4：
Multilingual Part-of-Speech Tags / 6.4.1：
Parts of Speechfor English / 6.4.2：
An Annotation Schemefor Swedish / 6.4.3：
Part-of-Speech Tagging Using Stochastic Techniques / 6.5：
The Noisy Channel Model / 7.1：
Presentation / 7.1.1：
The N-gram Approximation / 7.1.2：
Tagging a Sentence / 7.1.3：
The Viterbi Algorithm: An Intuitive Presentation / 7.1.4：
Markov Models / 7.2：
Markov Chains / 7.2.1：
Hidden Markov Models / 7.2.2：
Three Fundamental Algorithms to Solve Problems with HMMs / 7.2.3：
The Forward Procedure / 7.2.4：
Viterbi Algorithm / 7.2.5：
The Backward Procedure / 7.2.6：
The Forward-Backward Algorithm / 7.2.7：
Tagging with Decision Trees / 7.3：
An Application of the Noisy Channel Model: Spell Checking / 7.4：
A Second Application: Language Models for Machine Translation / 7.6：
Parallel Corpora / 7.6.1：
Alignment / 7.6.2：
Translation / 7.6.3：
Phrase-Structure Grammars in Prolog / 7.7：
Using Prolog to Write Phrase-Structure Grammars / 8.1：
Representing Chomsky's Syntactic Formalism in Prolog / 8.2：
Constituents / 8.2.1：
Tree Structures / 8.2.2：
Phrase-Structure Rules / 8.2.3：
The Definite Clause Grammar (DCG) Notation / 8.2.4：
Parsing with DCGs / 8.3：
Translating DCGs into Prolog Clauses / 8.3.1：
Parsing and Generation / 8.3.2：
Left-Recursive Rules / 8.3.3：
Parsing Ambiguity / 8.4：
Using Variables / 8.5：
Gender and Number Agreement / 8.5.1：
Obtaining the Syntactic Structure / 8.5.2：
Application: Tokenizing Texts Using DCG Rules / 8.6：
Word Breaking / 8.6.1：
Recognition of Sentence Boundaries / 8.6.2：
Semantic Representation / 8.7：
A-Calculus / 8.7.1：
Embedding A-Expressions into DCG Rules / 8.7.2：
Semantic Composition of Verbs / 8.7.3：
An Application of Phrase-Structure Grammars and a Worked Example / 8.8：
Partial Parsing / 8.9：
Is Syntax Necessary? / 9.1：
Word Spotting and Template Matching / 9.2：
ELIZA / 9.2.1：
Word Spotting in Prolog / 9.2.2：
Multiword Detection / 9.3：
Multiwords / 9.3.1：
AStandard Multiword Annotation / 9.3.2：
Detecting Multiwords with Rules / 9.3.3：
Running the Program / 9.3.4：
Noun Groups and Verb Groups / 9.4：
Groups Versus Recursive Phrases / 9.4.1：
DCG Rules to Detect Noun Groups / 9.4.2：
DCG Rules to Detect Verb Groups / 9.4.3：
Running the Rules / 9.4.4：
Group Detection as a Tagging Problem / 9.5：
Tagging Gaps / 9.5.1：
Tagging Words / 9.5.2：
Using Symbolic Rules / 9.5.3：
Using Statistical Tagging / 9.5.4：
Cascading Partial Parsers / 9.6：
Elementary Analysis of Grammatical Functions / 9.7：
Main Functions / 9.7.1：
Extracting Other Groups / 9.7.2：
An Annotation Scheme for Groups in French / 9.8：
Application: The FASTUS System / 9.9：
The Message Understanding Conferences / 9.9.1：
The Syntactic Layers of the FASTUS System / 9.9.2：
Evaluationof Information Extraction Systems / 9.9.3：
Syntactic Formalisms / 9.10：
Introduction / 10.1：
Chomsky's Grammar in Syntactic Structures / 10.2：
Constituency: A Formal Definition / 10.2.1：
Transformations / 10.2.2：
Transformations and Movements / 10.2.3：
Gap Threading / 10.2.4：
Gap Threading to Parse Relative Clauses / 10.2.5：
Standardized Phrase Categories for English / 10.3：
Unification-Based Grammars / 10.4：
Representing Features in Prolog / 10.4.1：
A Formalism for Features and Rules / 10.4.3：
Features Organization / 10.4.4：
Features and Unification / 10.4.5：
A Unification Algorithm for Feature Structures / 10.4.6：
Dependency Grammars / 10.5：
Properties of a Dependency Graph / 10.5.1：
Valence / 10.5.3：
Dependencies and Functions / 10.5.4：
Parsing Techniques / 10.6：
Bottom-up Parsing / 11.1：
The Shift-Reduce Algorithm / 11.2.1：
Implementing Shift-Reduce Parsing in Prolog / 11.2.2：
Differences Between Bottom-up and Top-down Parsing / 11.2.3：
Chart Parsing / 11.3：
Backtracking and Efficiency / 11.3.1：
Structure of a Chart / 11.3.2：
The Active Chart / 11.3.3：
Modules of an Earley Parser / 11.3.4：
The Earley Algorithm in Prolog / 11.3.5：
The Earley Parser to Handle Left-Recursive Rules and Empty Symbols / 11.3.6：
Probabilistic Parsing of Context-Free Grammars / 11.4：
A Description of PCFGs / 11.5：
The Bottom-up Chart / 11.5.1：
The Cocke-Younger-Kasami Algorithm in Prolog / 11.5.2：
Adding Probabilities to the CYK Parser / 11.5.3：
Parser Evaluation / 11.6：
Constituency-Based Evaluation / 11.6.1：
Dependency-Based Evaluation / 11.6.2：
PerformanceofPCFG Parsing / 11.6.3：
Parsing Dependencies / 11.7：
Dependency Rules / 11.7.1：
Extending the Shift-Reduce Algorithm to Parse Dependencies / 11.7.2：
Nivre's Parser in Prolog / 11.7.3：
Finding Dependencies Using Constraints / 11.7.4：
Parsing Dependencies Using Statistical Techniques / 11.7.5：
Semantics and Predicate Logic / 11.8：
Language Meaning and Logic: An Illustrative Example / 12.1：
Formal Semantics / 12.3：
First-Order Predicate Calculus to Represent the State of Affairs / 12.4：
Variables and Constants / 12.4.1：
Predicates / 12.4.2：
Querying the Universe of Discourse / 12.5：
Mapping Phrases onto Logical Formulas / 12.6：
Representing Nouns and Adjectives / 12.6.1：
Representing Noun Groups / 12.6.2：
Representing Verbs and Prepositions / 12.6.3：
The Case of Determiners / 12.7：
Determiners and Logic Quantifiers / 12.7.1：
Translating Sentences Using Quantifiers / 12.7.2：
A General Representation of Sentences / 12.7.3：
Compositionality to Translate Phrases to Logical Forms / 12.8：
Translating the Noun Phrase / 12.8.1：
Translating the Verb Phrase / 12.8.2：
Augmenting the Database and Answering Questions / 12.9：
Declarations / 12.9.1：
Questions with Existential and Universal Quantifiers / 12.9.2：
Prolog and Unknown Predicates / 12.9.3：
Other Determiners and Questions / 12.9.4：
Application: The Spoken Language Translator / 12.10：
Translating Spoken Sentences / 12.10.1：
Compositional Semantics / 12.10.2：
Semantic Representation Transfer / 12.10.3：
Lexical Semantics / 12.11：
Beyond Formal Semantics / 13.1：
La langue etlaparole / 13.1.1：
Language and the Structure of the World / 13.1.2：
Lexical Structures / 13.2：
Some Basic Terms and Concepts / 13.2.1：
Ontological Organization / 13.2.2：
Lexical Classes and Relations / 13.2.3：
Semantic Networks / 13.2.4：
Building a Lexicon / 13.3：
The Lexicon and Word Senses / 13.3.1：
Verb Models / 13.3.2：
Definitions / 13.3.3：
An Example of Exhaustive Lexical Organization: Word Net / 13.4：
Nouns / 13.4.1：
Adjectives / 13.4.2：
Verbs / 13.4.3：
Automatic Word Sense Disambiguation / 13.5：
Senses as Tags / 13.5.1：
Associating a Word with a Context / 13.5.2：
Guessing the Topic / 13.5.3：
Naive Bayes / 13.5.4：
Using Constraints on Verbs / 13.5.5：
Using Dictionary Definitions / 13.5.6：
An Unsupervised Algorithm to Tag Senses / 13.5.7：
Senses and Languages / 13.5.8：
Case Grammars / 13.6：
Cases in Latin / 13.6.1：
Cases and Thematic Roles / 13.6.2：
Parsing with Cases / 13.6.3：
Semantic Grammars / 13.6.4：
Extending Case Grammars / 13.7：
Frame Net / 13.7.1：
A Statistical Method to Identify Semantic Roles / 13.7.2：
An Example of Case Grammar Application: EVAR / 13.8：
EVAR's Ontology and Syntactic Classes / 13.8.1：
Cases in EVAR / 13.8.2：
Discourse / 13.9：
Discourse: A Minimalist Definition / 14.1：
A Description of Discourse / 14.2.1：
Discourse Entities / 14.2.2：
References: An Application-Oriented View / 14.3：
References and Noun Phrases / 14.3.1：
Finding Names - Proper Nouns / 14.3.2：
Coreference / 14.4：
Anaphora / 14.4.1：
Solving Coreferences in an Example / 14.4.2：
A Standard Coreference Annotation / 14.4.3：
References: A More Formal View / 14.5：
Generating Discourse Entities: The Existential Quantifier / 14.5.1：
Retrieving Discourse Entities: Definite Descriptions / 14.5.2：
Generating Discourse Entities: The Universal Quantifier / 14.5.3：
Centering: A Theory on Discourse Structure / 14.6：
Solving Coreferences / 14.7：
A Simplistic Method: Using Syntactic and Semantic Compatibility / 14.7.1：
Solving Coreferences with Shallow Grammatical Information / 14.7.2：
Salience in a Multimodal Context / 14.7.3：
Using a Machine-Learning Technique to Resolve Coreferences / 14.7.4：
More Complex Phenomena: Ellipses / 14.7.5：
Discourse and Rhetoric / 14.8：
Ancient Rhetoric: An Outline / 14.8.1：
Rhetorical Structure Theory / 14.8.2：
Types of Relations / 14.8.3：
Implementing Rhetorical Structure Theory / 14.8.4：
Events and Time / 14.9：
Events / 14.9.1：
Event Types / 14.9.2：
Temporal Representation of Events / 14.9.3：
Events and Tenses / 14.9.4：
Time ML, an Annotation Scheme for Time and Events / 14.10：
Dialogue / 14.11：
Why a Dialogue? / 15.1：
Simple Dialogue Systems / 15.3：
Dialogue Systems Based on Automata / 15.3.1：
Dialogue Modeling / 15.3.2：
Speech Acts: A Theory of Language Interaction / 15.4：
Speech Acts and Human-Machine Dialogue / 15.5：
Speech Acts as a Tagging Model / 15.5.1：
Speech Acts Tags Used in the SUNDIAL Project / 15.5.2：
Dialogue Parsing / 15.5.3：
Interpreting Speech Acts / 15.5.4：
EVAR: A Dialogue Application Using Speech Acts / 15.5.5：
Taking Beliefs and Intentions into Account / 15.6：
Representing Mental States / 15.6.1：
The STRIPS Planning Algorithm / 15.6.2：
Causality / 15.6.3：
An Introduction to Prolog / 15.7：
A Short Background / A.1：
Basic Features of Prolog / A.2：
Facts / A.2.1：
Terms / A.2.2：
Queries / A.2.3：
Logical Variables / A.2.4：
Shared Variables / A.2.5：
Data Types in Prolog / A.2.6：
Rules / A.2.7：
Running a Program / A.3：
Unification / A.4：
Substitution and Instances / A.4.1：
Terms and Unification / A.4.2：
The Herbrand Unification Algorithm / A.4.3：
Example / A.4.4：
The Occurs-Check / A.4.5：
Resolution / A.5：
Modus Ponens / A.5.1：
A Resolution Algorithm / A.5.2：
Derivation Trees and Backtracking / A.5.3：
Tracing and Debugging / A.6：
Cuts, Negation, and Related Predicates / A.7：
Cuts / A.7.1：
Negation / A.7.2：
The once/1 Predicate / A.7.3：
Lists / A.8：
Some List-Handling Predicates / A.9：
The member/2 Predicate / A.9.1：
The append/3 Predicate / A.9.2：
The delete/3 Predicate / A.9.3：
The intersection/3 Predicate / A.9.4：
The reverse/2 Predicate / A.9.5：
The Mode of an Argument / A.9.6：
Operators and Arithmetic / A.10：
Operators / A.10.1：
Arithmetic Operations / A.10.2：
Comparison Operators / A.10.3：
Lists and Arithmetic: The length/2 Predicate / A.10.4：
Lists and Comparison: The quicksort/2 Predicate / A.10.5：
Some Other Built-in Predicates / A.11：
Type Predicates / A.11.1：
Term Manipulation Predicates / A.11.2：
Handling Run-Time Errors and Exceptions / A.12：
Dynamically Accessing and Updatingthe Database / A.13：
Accessing a Clause: The clause/2 Predicate / A.13.1：
Dynamic and Static Predicates / A.13.2：
Adding a Clause: The asserta/1 and 1 assertz/Predicates / A.13.3：
Removing Clauses: The retract/1 and abolish/2 Predicates / A.13.4：
Handling Unknown Predicates / A.13.5：
All-Solutions Predicates / A.14：
Fundamental Search Algorithms / A.15：
Representing the Graph / A.15.1：
Depth-First Search / A.15.2：
Breadth-First Search / A.15.3：
A* Search / A.15.4：
Input/Output / A.16：
Reading and Writing Characters with Edinburgh Prolog / A.16.1：
Reading and Writing Terms with Edinburgh Prolog / A.16.2：
Opening and Closing Files with Edinburgh Prolog / A.16.3：
Reading and Writing Characters with Standard Prolog / A.16.4：
Reading and Writing Terms with Standard Prolog / A.16.5：
Opening and Closing Files with Standard Prolog / A.16.6：
Writing Loops / A.16.7：
Developing Prolog Programs / A.17：
Presentation Style / A.17.1：
Improving Programs / A.17.2：
Index
References
An Overview of Language Processing / 1：
Linguistics and Language Processing / 1.1：
Applications of Language Processing / 1.2：
28.

電子ブック
ＥＢ
28. Anaphora: Analysis, Algorithms and Applications
António Branco, Jaime G. Carbonell, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Pronoun Resolution and the Influence of Syntactic and Semantic Information on Discourse Prominence / Ralph Rose
Language Analysis and Representation
Anaphora Resolution as Equality by Default / Ariel Cohen
Null Subjects Are Reflexives, Not Pronouns / Antonio Branco
Using Very Large Parsed Corpora and Judgment Data to Classify Verb Reflexivity / Erik-Jan Smits ; Petra Hendriks ; Jennifer Spenader
An Empirical Investigation of the Relation Between Coreference and Quotations: Can a Pronoun Located in Quotations Find Its Referent? / Shana Watters ; Jeanette Gundel
Resolution Methodology and Algorithms
Applying Backpropagation Networks to Anaphor Resolution / Roland Stuckardt
Improving Coreference Resolution Using Bridging Reference Resolution and Automatically Acquired Synonyms / Ryohei Sasano ; Daisuke Kawahara ; Sadao Kurohashi
Evaluating Hybrid Versus Data-Driven Coreference Resolution / Iris Hendrickx ; Veronique Hoste ; Walter Daelemans
Computational Systems and Applications
Automatic Anaphora Resolution for Norwegian (ARN) / Gordana Ilic Holen
"Who Are We Talking About?" Tracking the Referent in a Question Answering Series / Matteo Negri ; Milen Kouylekov
Anaphora Resolution: To What Extent Does It Help NLP Applications? / Ruslan Mitkov ; Richard Evans ; Constantin Orasan ; Le An Ha ; Viktor Pekar
Author Index
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
29.

電子ブック
ＥＢ
29. Anticipatory Behavior in Adaptive Learning Systems
Martin V. Butz, Gianluca Baldassarre, Giovanni Pezzulo, Jörg Siekmann, Olivier Sigaud
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Neural Correlates of Anticipation in Cerebellum, Basal Ganglia, and Hippocampus / Jason G. Fleischer
The Role of Anticipation in the Emergence of Language / Samarth Swarup ; Les Gasser
Superstition in the Machine / Alexander Riegler
Individual Anticipatory Frameworks
From Actions to Goals and Vice-Versa: Theoretical Analysis and Models of the Ideomotor Principle and TOTE / Cristiano Castelfranchi ; Joachim Hoffmann
Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory / Vladimir G. Red'ko ; Konstantin V. Anokhin ; Mikhail S. Burtsev ; Alexander I. Manolov ; Oleg P. Mosalov ; Valentin A. Nepomnyashchikh ; Danil V. Prokhorov
Cognitively Inspired Anticipatory Adaptation and Associated Learning Mechanisms for Autonomous Agents / Aregahegn Negatu ; Sidney D'Mello ; Stan Franklin
Schema-Based Design and the AKIRA Schema Language: An Overview / Gianguglielmo Calvi
Learning Predictions and Anticipations
Training and Application of a Visual Forward Model for a Robot Camera Head / Wolfram Schenck ; Ralf Moller
A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task / Jeremy Fix ; Julien Vitay ; Nicolas P. Rougier
A Testbed for Neural-Network Models Capable of Integrating Information in Time / Stefano Zappacosta ; Stefano Nolfi
Construction of an Internal Predictive Model by Event Anticipation / Philippe Capdepuy ; Daniel Polani ; Chrystopher L. Nehaniv
Anticipatory Individual Behavior
The Interplay of Analogy-Making with Active Vision and Motor Control in Anticipatory Robots / Kiril Kiryazov ; Georgi Petkov ; Maurice Grinberg ; Boicho Kokinov ; Christian Balkenius
An Intrinsic Neuromodulation Model for Realizing Anticipatory Behavior in Reaching Movement Under Unexperienced Force Fields / Toshiyuki Kondo ; Koji Ito
Anticipating Rewards in Continuous Time and Space: A Case Study in Developmental Robotics / Arnaud J. Blanchard ; Lola Canamero
Anticipatory Model of Musical Style Imitation Using Collaborative and Competitive Reinforcement Learning / Arshia Cont ; Shlomo Dubnov ; Gerard Assayag
Anticipatory Social Behavior
An Anticipatory Trust Model for Open Distributed Systems / Mario Gomez ; Javier Carbo ; Clara Benac-Earle
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems / Gerben G. Meyer ; Nick B. Szirbik
Backward vs. Forward-Oriented Decision Making in the Iterated Prisoner's Dilemma: A Comparison Between Two Connectionist Models / Emilian Lalev
An Experimental Study of Anticipation in Simple Robot Navigation / Birger Johansson
Author Index
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
30.

電子ブック
ＥＢ
30. Applications of Fuzzy Sets Theory
Francesco Masulli, Sushmita Mitra, Gabriella Pasi, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Argumentation in Multi-Agent Systems
Nicolas Maudet, Simon Parsons, Iyad Rahwan, Jörg Siekmann, Simon D. Parsons
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Argumentation in Multi-Agent Systems: Context and Recent Developments / Nicolas Maudet ; Simon Parsons ; Iyad Rahwan
Foundations and Explorations / Part I：
Argumentation-Based Learning / Taro Fukumoto ; Hajime Sawamura
Arguments and Counterexamples in Case-Based Joint Deliberation / Santiago Ontanon ; Enric Plaza
A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments / Soren Holbech Nielsen
An Argumentation-Based Approach for Practical Reasoning / Leila Amgoud
Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing / Peter Harvey ; Chee Fon Chang ; Aditya Ghose
Managing Social Influences Through Argumentation-Based Negotiation / Nishan C. Karunatillake ; Nicholas R. Jennings ; Sarvapali D. Ramchurn
Strategic Issues / Part II：
An Argumentation-Based Approach for Dialog Move Selection / Nabil Hameurlain
Specification and Complexity of Strategic-Based Reasoning Using Argumentation / Mohamed Mbarki ; Jamal Bentahar ; Bernard Moulin
Information Based Argumentation Heuristics / Nir Oren ; Timothy J. Norman ; Alun Preece
Negotiating Using Rewards / Carles Sierra ; Lluis Godo
Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report / Philippe Pasquier ; Frank Dignum ; Liz Sonenberg
Author Index
Argumentation in Multi-Agent Systems: Context and Recent Developments / Nicolas Maudet ; Simon Parsons ; Iyad Rahwan
Foundations and Explorations / Part I：
Argumentation-Based Learning / Taro Fukumoto ; Hajime Sawamura
32.

電子ブック
ＥＢ
32. Artifical Intelligence for Human Computing
Thomas S. Huang, Jaime G. Carbonell, Anton Nijholt, Maja Pantic, Alex Pentland, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Human Computing / Part I：
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
Instinctive Computing / Yang Cai
Sensing Humans for Human Computing / Part II：
Human Computing and Machine Understanding of Human Behavior: A Survey / Maja Pantic ; Alex Pentland ; Anton Nijholt ; Thomas S. Huang
Audio-Visual Spontaneous Emotion Recognition / Zhihong Zeng ; Yuxiao Hu ; Glenn I. Roisman ; Zhen Wen ; Yun Fu
Modeling Naturalistic Affective States Via Facial, Vocal, and Bodily Expressions Recognition / Kostas Karpouzis ; George Caridakis ; Loic Kessous ; Noam Amir ; Amaryllis Raouzaiou ; Lori Malatesta ; Stefanos Kollias
Emotion and Reinforcement: Affective Facial Expressions Facilitate Robot Learning / Joost Broekens
Trajectory-Based Representation of Human Actions / Antonios Oikonomopoulos ; Ioannis Patras ; Nikos Paragios
Modelling the Communication Atmosphere: A Human Centered Multimedia Approach to Evaluate Communicative Situations / Tomasz M. Rutkowski ; Danilo P. Mandic
Modeling Influence Between Experts / Wen Dong
Anthropocentric Interaction Models for Human Computing / Part III：
Social Intelligence Design and Human Computing / Toyoaki Nishida
Feedback Loops in Communication and Human Computing / Rieks op den Akker ; Dirk Heylen
Evaluating the Future of HCI: Challenges for the Evaluation of Emerging Applications / Ronald Poppe ; Rutger Rienks ; Betsy van Dijk
Gaze-X: Adaptive, Affective, Multimodal Interface for Single-User Office Scenarios / Ludo Maat
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services / Daniel Sonntag ; Ralf Engel ; Gerd Herzog ; Alexander Pfalzgraf ; Norbert Pfleger ; Massimo Romanelli ; Norbert Reithinger
A Learning-Based High-Level Human Computer Interface for Face Modeling and Animation / Volker Blanz
Challenges for Virtual Humans in Human Computing / Dennis Reidsma ; Zsofia Ruttkay
Affect Detection and an Automated Improvisational AI Actor in E-Drama / Li Zhang ; Marco Gillies ; John A. Barnden ; Robert J. Hendley ; Mark G. Lee ; Alan M. Wallington
Author Index
Foundations of Human Computing / Part I：
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
Instinctive Computing / Yang Cai
33.

電子ブック
ＥＢ
33. Artificial Intelligence and Soft Computing - ICAISC 2004
Artificial Intelligence and Soft Computing IASTED International Conference, Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
Uncertain Variables and Systems - New Problems and Results / Zdzislaw Bubnicki
Blind Signal Separation and Extraction: Recent Trends, Future Perspectives, and Applications / Andrzej Cichocki ; Jacek M. Zurada
Visualization of Hidden Node Activity in Neural Networks: I. Visualization Methods / Włodzisław Duch
Visualization of Hidden Node Activity in Neural Networks: II. Application to RBF Networks
Rough Set Approach to Incomplete Data / Jerzy W. Grzymala-Busse
Neural Networks of Positive Systems / Tadeusz Kaczorek
Support of Natural, by Artificial, Intelligence Using Utility as Behavioral Goal / Roman Kulikowski
Top-Down Selective Attention for Robust Perception of Noisy and Confusing Patterns / Soo-Young Lee
On ANN Based Solutions for Real-World Industrial Requirements / Kurosh Madani
ActiveMath: An Intelligent Tutoring System for Mathematics / Erica Melis ; Jörg Siekmann
Inference Rules and Decision Rules / Zdzisław Pawlak
Survival of Intelligent Agents in Changing Environments / Šarūnas Raudys
Inducing Robust Decision Rules from Rough Approximations of a Preference Relation / Roman Slowinski ; Salvatore Greco
The New Concept in Computer Vision: Automatic Understanding of the Images / Ryszard Tadeusiewicz ; Marek R. Ogiela
Neural Networks and Their Applications
Dynamic High Order Neural Networks: Application for Fault Diagnosis / Eugen Arinton ; Jóozef Korbicz
Momentum Modification of the RLS Algorithms / Jarosław Bilski
Parallel Realisation of QR Algorithm for Neural Networks Learning / Sławomir Litwiński ; Jacek Smol&acedil;g
Rainfall-Runoff Modelling Using Three Neural Network Methods / H. Kerem Cigizoglu ; Murat Alp
Probability Distribution of Solution Time in ANN Training Using Population Learning Algorithm / Ireneusz Czarnowski ; Piotr J&ecedil;drzejowicz
Parallelization of the SOM-Based Integrated Mapping / Gintautas Dzemyda ; Olga Kurasova
Training Radial Basis Functions by Gradient Descent / Mercedes Fernández-Redondo ; Carlos Hernández-Espinosa ; Mamen Ortiz-Gómez ; Joaquín Torres-Sospedra
Generalized Backpropagation through Time for Continuous Time Neural Networks and Discrete Time Measurements / Krzysztof Fujarewicz ; Adam Galuszka
Experiments on Ensembles of Radial Basis Functions
Orthodoxy Basis Functions and Convergence Property in Procedure Neural Networks / Jiong Jia ; Jiuzhen Liang
Confidence Estimation of GMDH Neural Networks / Józef Korbicz ; Mihai F. Metenidis ; Marcin Mrugalski ; Marcin Witczak
On Some Factors Influencing MLP Error Surface / Mirosław Kordos
Discovery of Linguistic Rules by Means of RBF Network for Fault Detection in Electronic Circuits / Jan Koszlaga ; Pawel Strumillo
Combining Space-Filling Curves and Radial Basis Function Networks / Adam Krzyżak ; Ewa Skubalska-Rafajłowicz
Chaotic Itinerancy for Patterns Separation / Paweł Matykiewicz
Dynamic Search Trajectory Methods for Neural Network Training / Y.G. Petalas ; D.K. Tasoulis ; M.N. Vrahatis
Visualizing and Analyzing Multidimensional Output from MLP Networks via Barycentric Projections / Filip Pi&ecedil;kniewski ; Leszek Rybicki
Optimization of Centers' Positions for RBF Nets with Generalized Kernels / E. Rafajłowicz ; M. Pawlak
Fixed Non-linear Combining Rules versus Adaptive Ones / Sarunas Raudys ; Zidrina Pabarskaite
Learning and System Modeling via Hamiltonian Neural Networks / Wieslaw Sienko ; Wieslaw Citko ; Dariusz Jakóbczak
Recurrent Network Structure for Computing Quasi-inverses of the Sierpiński Space-Filling Curves
Fuzzy Systems and Their Applications
Comparison of Reasoning Methods for Fuzzy Control / Bohdan Butkiewicz
Fuzzy Modelling with a Compromise Fuzzy Reasoning / Krzysztof Cpalka ; Leszek Rutkowski
A Self Tuning Fuzzy Inference System for Noise Reduction / Nevcihan Duru ; Tarik Duru
Fuzzy-Neural Networks in the Diagnosis of Motor-Car's Current Supply Circuit / Stanisław Gad ; Mariusz łaskawski ; Grzegorz Słoń ; Alexander Yastrebov ; Andrzej Zawadzki
Fuzzy Number-Based Hierarchical Fuzzy System / Adam E. Gaweda ; Rafał Scherer
Stock Trend Prediction Using Neurofuzzy Predictors Based on Brain Emotional Learning Algorithm / Mahdi Jalili-Kharaajoo
Digital Implementation of Fuzzy Petri Net Based on Asynchronous Fuzzy RS Flip Flop / Jacek Kluska ; Zbigniew Hajduk
Fuzzy Calculator - Useful Tool for Programming with Fuzzy Algebra / Roman Koleśnik ; Piotr Prokopowicz ; Witold Kosiński
On Defuzzyfication of Ordered Fuzzy Numbers
Information Criterions Applied to Neuro-Fuzzy Architectures Design / Robert Nowicki ; Agata Pokropińska
On Hesitation Degrees in IF-Set Theory / Anna Pankowska ; Maciej Wygralak
Fuzzy Cognitive Maps Learning through Swarm Intelligence / E.I. Papageorgiou ; K.E. Parsopoulos ; P.P. Groumpos
Application of the General Gaussian Membership Function for the Fuzzy Model Parameters Tunning / Andrzej Pieczyński ; Andrzej Obuchowicz
Are Linguistic Evaluations Used by People of Possibilistic or Probabilistic Nature? / Andrzej Piegat
Fuzzy Linear Programming in Ship Trajectory Optimization in a Restricted Area / Zbigniew Pietrzykowski
Application of Fuzzy Weighted Feature Diagrams to Model Variability in Software Families / Silva Robak
Neuro-Fuzzy Relational Classifiers
What Differs Interval Type-2 FLS from Type-1 FLS? / Janusz T. Starczewski
A Similarity Measure for Intuitionistic Fuzzy Sets and Its Application in Supporting Medical Diagnostic Reasoning / Eulalia Szmidt ; Janusz Kacprzyk
Evolutionary Algorithms and Their Applications
Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments / Jerzy Balicki
Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time / Wojciech Bożejko ; Mieczysław Wodecki
Adaptive Evolutionary Computation - Application for Mixed Linear Programming / Ewa Dudek-Dyduch ; Dominik Jarczyk
Adaptive Evolutionary Computation of the Parametric Optimization Problem / Tadeusz Dyduch
Concentration of Population in Phenotypic Evolution / Iwona Karcz-Dul&ecedil;ba
An Evolutionary Clustering Algorithm / Marcin Korzeń
An Evolutionary Algorithm for Oblique Decision Tree Induction / Marek Kretowski
Propagation of Building Blocks in SGA and MPGA / Grzegorz Kusztelak ; Marek Rudnicki ; Slawomir Wiak
Selection Pressure and an Efficiency of Neural Network Architecture Evolving / Halina Kwaśnicka ; Mariusz Paradowski
Rule Extraction from Neural Network by Genetic Algorithm with Pareto Optimization / Urszula Markowska-Kaczmar ; Paweł Wnuk-Lipiński
Graph Transformations in Evolutionary Design / Piotr Nikodem ; Barbara Strug
A Genetic Algorithm for Probabilistic SAT Problem / Zoran Ognjanović ; Uroš Midić ; Jozef Kratica
Design and Optimization of Combinational Digital Circuits Using Modified Evolutionary Algorithm / Adam Słowik ; Michał Białko
Modified Version of Roulette Selection for Evolution Algorithms - The Fan Selection
New Genetic Crossover Operator for the TSP / Sang-Moon Soak ; Byung-Ha Ahn
Rough Sets and Their Applications
Hybridization of Blind Source Separation and Rough Sets for Proteomic Biomarker Indemnification / Grzegorz M. Boratyn ; Tomasz G. Smolinski ; Mariofanna Milanova ; Sudeepa Bhattacharyya ; Larry J. Suva
Inducing Jury's Preferences in Terms of Acoustic Features of Violin Sounds / Jacek Jelonek ; Ewa łukasik ; Aleksander Naganowski ; Roman Słowiński
Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model / Alicja Mieszkowicz-Rolka ; Leszek Rolka
Fuzzyfication of Indiscernibility Relation for Structurizing Lists of Synonyms and Stop-Lists for Search Engines / A. Niewiadomski ; P. Kryger ; P.S. Szczepaniak
Rough Sets in the Neuro-Fuzzy Architectures Based on Monotonic Fuzzy Implications
Rough Sets in the Neuro-Fuzzy Architectures Based on Non-monotonic Fuzzy Implications
On L-Fuzzy Rough Sets / Anna Maria Radzikowska ; Etienne E. Kerre
Application of Rough Sets Techniques to Induction Machine Broken Bar Detection / M.R. Rafimanzelat ; B.N. Araabi
Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery / Darrel L. Chenoweth
Soft Computing in Classification
Selection of the Linearly Separable Feature Subsets / Leon Bobrowski ; Tomasz Lukaszuk
Short-Time Signal Analysis Using Pattern Recognition Methods / Piotr Boguś ; Katarzyna ; D. Lewandowska
Application of Genetic Algorithms and Kohonen Networks to Cluster Analysis / Marian B. Gorzałczany ; Filip Rudziński
Modified Kohonen Networks for Complex Cluster-Analysis Problems
Reducing the Computational Demands for Nearest Centroid Neighborhood Classifiers / Szymon Grabowski
SSV Criterion Based Discretization for Naive Bayes Classifiers / Krzysztof Gr&acedil;bczewski
Comparison of Instance Selection Algorithms II. Results and Comments / Marek Grochowski ; Norbert Jankowski
SBL-PM-M: A System for Partial Memory Learning / Karol Grudziński
Relevance LVQ versus SVM / Barbara Hammer ; Marc Strickert ; Thomas Villmann
Comparison of Instances Seletion Algorithms I. Algorithms Survey
Towards Grammatical Inferencing of GDPLL(k) Grammars for Applications in Syntactic Pattern Recognition-Based Expert Systems / Janusz Jurek
Intelligent Layer of Two-Way Voice Communication of the Technological Device with the Operator / Wojciech Kacalak ; Maciej Majewski
A Neural Network Based Method for Classification of Meteorological Data / K. Kaminski ; W. Kaminski ; P. Strumillo
An Empirical Test Suite for Message Authentication Evaluation in Communications Based on Support Vector Machines / D.A. Karras
Efficient Digital Fingerprint Production and Evaluation for Secure Communication Systems Based on Genetic Algorithms
On Chinese Web Page Classification
A New Fuzzy Clustering Method with Constraints in Time Domain / Jacek Leski ; Aleksander Owczarek
Special Cluster Analysis and Basic Feature Estimation with a Modification of Self-Organizing Map / Janusz Morajda
An Unsupervised Cluster Analysis and Information about the Modelling System / Izabela Rejer
Cursive-Character Script Recognition Using Toeplitz Model and Neural Networks / Khalid Saeed ; Marek Tabedzki
Learning with an Embedded Reject Option / Ramasubramanian Sundararajan ; Asim K. Pal
Image Processing
Impulsive Noise Suppression from Highly Corrupted Images by Using Resilient Neural Networks / Erkan Beşdok ; Pinar Çivicioğlu ; Mustafa Alçi
A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks / Giacomo Capizzi ; Salvatore Coco ; Antonio Laudani ; Giuseppe Pappalardo
Fuzzy Processing Technique for Content-Based Image Retrieval / Ryszard S. Choraś
Human Ear Identification Based on Image Analysis / Michał Choraś
Automatic Change Detection Based on Codelength Differences in Multi-temporal and Multi-spectral Images / Joselíto J. Chua ; Peter E. Tischer
Estimating Face Direction via Facial Triangle / Min Gyo Chung ; Jisook Park ; Jiyoun Bong
An Image Compression Algorithm Based on Neural Networks / Robert Cierniak
Fuzzy Nonparametric Measures for Image Matching / Boguslaw Cyganek ; Jan Borgosz
Neural Computation of the Fundamental Matrix
Face Detection Using CMAC Neural Network / H. Fashandi ; M.S. Moin
A Biologically Inspired Active Stereo Vision System Using a Bottom-Up Saliency Map Model / Bum-Soo Jung ; Sang-Bok Choi ; Sang-Woo Ban ; Minho Lee
Problems Connected with Application of Neural Networks in Automatic Face Recognition / Rafal Komanski ; Bohdan Macukow
Czestochowa-Faces and Biometrics of Asymmetrical Face / Leonid Kompanets ; Mariusz Kubanek ; Szymon Rydzek
Wafer Die Position Detection Using Hierarchical Gray Level Corner Detector / Jae Hyung Na ; Hae Seok Oh
On Fuzzy Labelled Image Segmentation Based on Perceptual Features / Pilar Sobrevilla ; Eduard Montseny
Generalized Multi-layer Kohonen Network and Its Application to Texture Recognition / A. Tomczyk ; B. Lis
Robotics
Translation STRIPS Planning in Multi-robot Environment to Linear Programming / Andrzej Swierniak
Fuzzy Combiner of Behaviors for Reactive Control of Wheeled Mobile Robot / Zenon Hendzel
Artificial Intelligence of the Decision Unit of a Mobile Robot / Jan Kazimierczak
Finding Location Using a Particle Filter and Histogram Matching / Bogdan Kwolek
Calculation of Model of the Robot by Neural Network with Robot Joint Distinction / J. Możaryn ; J.E. Kurek
Multi-robot Coordination Based on Cooperative Game / Krzysztof Skrzypczyk
Model Based Predictive Robotic Manipulator Control with Sinusoidal Trajectory and Random Disturbances / Hasan Temurtas ; Fevzullah Temurtas ; Nejat Yumusak
Multiagent Systems
Performance Evaluation of Multiagent Personalized Information System / Tomasz Babczyński ; Zofia Kruczkiewicz ; Jan Magott
A Neural-Based Agent for IP Traffic Scanning and Worm Detection / Andrzej Bielecki ; Paweł Hajto
Evolutionary Neural Networks in Collective Intelligent Predicting System / Aleksander Byrski ; Jerzy Bałamut
Development of a Personalized Digital Library System Based on the New Mobile Multi Agent Platform / Young Im Cho
FOOD: An Agent-Oriented Dataflow Model / Nicolas Juillerat ; Béat Hirsbrunner
Flock-Based Architecture for Distributed Evolutionary Algorithms / Marek Kisiel-Dorohinicki
Quickprop Neural Network Short-Term Forecasting Framework for a Database Intrusion Prediction System / P. Ramasubramanian ; A. Kannan
Various Problems of Artificial Intelligence
The New Concepts in Parallel Simulated Annealing Method
Simulated Annealing with Restart to Job Shop Scheduling Problem Using Upper Bounds / Marco Antonio Cruz-Chavez ; Juan Frausto-Solis
Requirements and Solutions for Web-Based Expert System / Maciej Grzenda ; Marcin Niemczak
Information Structuring in Natural Language Communication: Syntax versus Semantic / Wladyslaw Homenda
Strategic Planning through Model Checking of ATL Formulae / Wojciech Jamroga
On a Special Class of Dempster-Shafer Theories / Mieczysław Alojzy Kłopotek
A Computer Based System Supporting Analysis of Cooperative Strategies / Lech Kruś
Application of Soft Computing Techniques to Rescue Operation Planning / Jiří Kubalík ; Jiří Kléma ; Miroslav Kulich
Reduction of Tabular Systems / Antoni Lig&ecedil;za ; Marcin Szpyrka
Temporal Difference Approach to Playing Give-Away Checkers / Jacek Mańdziuk ; Daniel Osman
Artificial Neural Networks for Solving Double Dummy Bridge Problems / Krzysztof Mossakowski
On Application of Ant Algorithms to Non-bifurcated Multicommodity Flow Problem / Krzysztof Walkowiak
A Parallel Clustering Algorithm for Categorical Data Set / Yong-Xian Wang ; Zheng-Hua Wang ; Xiao-Mei Li
Intensive versus Non-intensive Actor-Critic Reinforcement Learning Algorithms / Pawel Wawrzynski ; Andrzej Pacut
Virtual Modeling and Optimal Design of Intelligent Micro-accelerometers / Andrzej Cader ; Pawel Drzymala ; Henryk Welfle
Control, Modelling, and System Identification
Local Pattern-Based Interval Models / Wojciech Cholewa
Implementation of Two-Stage Hopfield Model and Its Application in Nonlinear Systems / Ivan Nunes da Silva ; Jose Alfredo C. Ulson ; Andre Nunes de Souza
Genetic Algorithm Based Fuzzy Sliding Mode with Application to Building Structures / Kambiz Falsafian
Influence of the Training Set Selection on the Performance of the Neural Network State Variables Estimators in the Induction Motor / Jerzy Jelonkiewicz ; Andrzej Przybył
LMI-Based Design of Optimal Controllers for Takagi-Sugeno Fuzzy Systems / J. Park ; Y. Park ; K. Kwak ; J.H. Hong
Design of Multi-objective Evolutionary Technique Based Intelligent Controller for Multivariable Nonlinear Systems / Farzan Rashidi ; Mehran Rashidi
Design of a Robust Sliding Mode Fuzzy Controller for Nonlinear HVAC Systems / Behzad Moshiri
Global Identification of Complex Systems with Cascade Structure / Jerzy Swiatek
Medical Applications
Diagnosis of Melanoma Using IRIM, a Data Mining System / Jay Hamilton ; Zdzislaw S. Hippe
Detection of Spiculated Masses in Mammograms Based on Fuzzy Image Processing / Aboul Ella Hassanien ; Jafar M. Ali ; Hajime Nobuhara
Artificial Neural Networks in Identifying Areas with Homogeneous Survival Time / Małgorzata Kr&ecedil;towska
Multistage Diagnosis of Myocardial Infraction Using a Fuzzy Relation / Marek Kurzynski
Application of SVM to Ovarian Cancer Classification Problem / Maciej Kusy
ROC Analysis for Fetal Hypoxia Problem by Artificial Neural Networks / Lale Özyilmaz ; Tülay Yildirim
The Challenge of Soft Computing Techniques for Tumor Characterization / P.P. Spyridonos ; C.D. Stylios ; P. Ravazoula ; G.C. Nikiforidis
A Multi-stage Classification Method in Application to Diagnosis of Larynx Cancer / Danuta Rutkowska ; Jacek K. Klimala
Multi-neural Network Approach for Classification of Brainstem Evoked Response Auditory / Mariusz Rybnik ; Saliou Diouf ; Abdennasser Chebira ; Veronique Amarger
The Study of Hierarchy Importance of Descriptive Attributes in Computer Assisted Classification of Melanocytic Skin Lesions / Aleksander Sokołowski ; Alicja Dereń
Medical Knowledge Representation in Terms of IF-THEN Rules and the Dempster-Shafer Theory / Ewa Straszecka
Online Neural Network Training for Automatic Ischemia Episode Detection / L. Vladutu ; V.P. Plagianakos ; A. Bezerianos
Mechanical Applications
Sequential and Distributed Evolutionary Computations in Structural Optimization / Tadeusz Burczyński ; Wacław Kuś ; Adam Długosz ; Arkadiusz Poteralski ; Mirosław Szczepanik
Neural Analysis of Concrete Fatigue Durability by the Neuro-fuzzy FWNN / Magdalena Jakubek ; Zenon Waszczyszyn
Neural and Finite Element Analysis of a Plane Steel Frame Reliability by the Classical Monte Carlo Method / Ewa Pabisek ; Joanna Kaliszuk
The Solution of an Inverse Problem in Plates by Means of Artificial Neural Networks / Grzegorz Pi&acedil;tkowski ; Leonard Ziemiański
Filtering of Thermomagnetic Data Curve Using Artificial Neural Network and Wavelet Analysis / Łukasz Rauch ; Jolanta Talar ; Tomáš Žák ; Jan Kusiak
Various Applications
Evolutionary Negotiation Strategies in Emerging Electricity Markets / Salem Al-Agtash
Evolutionary Algorithm for Scheduling of CHP Plant with Urban Heat Distribution Network / Krzysztof Dziedzicki ; Andrzej Augusiak ; Roman Śmierzchalski
Semi-mechanistic Models for State-Estimation - Soft Sensor for Polymer Melt Index Prediction / Balazs Feil ; Janos Abonyi ; Peter Pach ; Sandor Nemeth ; Peter Arva ; Miklos Nemeth ; Gabor Nagy
Neural Approach to Time-Frequency Signal Decomposition / Dariusz Grabowski ; Janusz Walczak
ANN Based Modelling and Correction in Dynamic Temperature Measurements / Lidia Jackowska-Strumiłło
One Day Prediction of NIKKEI Index Considering Information from Other Stock Markets / Marcin Jaruszewicz
Application of Neural Network Topologies in the Intelligent Heat Use Prediction System / Leszek Kiełtyka ; Robert Kuc&ecedil;ba ; Adam Sokołowski
Genetic Algorithm for Database Indexing / Marcin Korytkowski ; Marcin Gabryel
Application of Neural Networks and Two Representations of Color Components for Recognition of Wheat Grains Infected by Fusarium Culmorum Fungi / Aleksander Kubiak ; Zbigniew Mikrut
Hybrid Neural Model of the Sea Bottom Surface / Jacek Lubczonek
Fuzzy Economic Analysis of Simulated Discrete Transport System / Jacek Mazurkiewicz ; Tomasz Walkowiak
A Survey on US Economic Sanction Effects on Iranian High Tech Industries: Fuzzy Logic Approach / Mohammad R. Mehregan ; Hossein Safari ; Parviz Naseri ; Farshid Hosseini ; Kumars Sharifi
Modeling of Optoelectronic Devices through Neuro-Fuzzy Architectures / Antonio Vanderlei Ortega
Neural Network Based Simulation of the Sieve Plate Absorption Column in Nitric Acid Industry / Edward Röj ; Marcin Wilk
Artificial Neural Networks for Comparative Navigation / Andrzej Stateczny
Predicting Women's Apparel Sales by Soft Computing / Les M. Sztandera ; Celia Frank ; Balaji Vemulapali
Model Improvement by the Statistical Decomposition / Ryszard Szupiluk ; Piotr Wojewnik ; Tomasz Zabkowski
Author Index
Invited Papers
Evolutionary Design of Information Systems Architectures / Danilo Ardagna ; Chiara Francalanci ; Vincenzo Piuri ; Fabio Scotti
Clifford Support Vector Machines for Classification / Eduardo Bayro-Corrochano ; Nancy Arana-Daniel ; J. Refugio Vallejo-Gutiérres
34.

電子ブック
ＥＢ
34. Artificial Intelligence and Soft Computing – ICAISC 2008
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, Lofti A. Zadeh
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Artificial Intelligence in Medicine
Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Artificial Intelligence: Methodology, Systems, and Applications
Danail Dochev, Marco Pistore, Jörg Siekmann, Paolo Traverso
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Agents / 1：
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
Towards Agent-Oriented Relevant Information / Laurence Cholvy ; Stephanie Roussel
The Agent Modeling Language (AMOLA) / Nikolaos Spanoudakis ; Pavlos Moraitis
Natural Language Processing and Text Analysis / 2：
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game / Andrea Corradini
ASAP- An Advanced System for Assessing Chat Participants / Mihai Dascalu ; Erol-Valeriu Chioasca ; Stefan Trausan-Matu
Using Text Segmentation to Enhance the Cluster Hypothesis / Sylvain Lamprier ; Tassadit Amghar ; Bernard Levrat ; Frederic Saubion
Multilingual Plagiarism Detection / Zdenek Ceska ; Michal Toman ; Karel Jezek
Dealing with Spoken Requests in a Multimodal Question Answering System / Roberto Gretter ; Milen Kouylekov ; Matteo Negri
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study / Preslav Nakov
Machine Learning and Information Retrieval / 3：
Optimising Predictive Control Based on Neural Models / Maciej Lawrynczuk
Prototypes Based Relational Learning / Rocio Garcia-Duran ; Fernando Fernandez ; Daniel Borrajo
Robustness Analysis of SARSA([lambda]): Different Models of Reward and Initialisation / Marek Grzes ; Daniel Kudenko
Thematic Segment Retrieval Revisited
Knowledge Representation and Reasoning / 4：
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models / Emilia Oikarinen ; Tomi Janhunen
Mapping Properties of Heterogeneous Ontologies / Chiara Ghidini ; Luciano Serafini
A Logical Approach to Dynamic Role-Based Access Control / Philippe Balbiani ; Yannick Chevalier ; Marwa El Houri
Interpolative Boolean Logic / Dragan Radojevic ; Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic
Abstract Argumentation Scheme Frameworks / Katie Atkinson ; Trevor Bench-Capon
Constraints, Heuristics, and Search / 5：
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models / Roman Bartak ; Ondrej Cepek
Incorporating Learning in Grid-Based Randomized SAT Solving / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm / Zhipeng Lu ; Jin-Kao Hao
Heuristic Hill-Climbing as a Markov Process / Carlos Linares Lopez
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs / Bayo Omomowo ; Ines Arana ; Hatem Ahriz
Applications / 6：
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7：
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1：
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
37.

電子ブック
ＥＢ
37. Artificial Intelligence: Theories, Models and Applications
John Darzentas, Argyris Arnellos, Jörg Siekmann, Spyros Vosinakis, George A. Vouros, George Vouros
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Full Papers
Application of Naturalistic Decision Making to Emergency Evacuation Simulations / Fatemeh Alavizadeh ; Behzad Moshiri ; Caro Lucas
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web / Grigoris Antoniou ; Antonis Bikakis ; Polyvios Damianakis ; Mixalhs Foukarakis ; Giorgos Iacovidis ; Marianna Karmazi ; Haridimos Kondylakis ; Antreas Makridakis ; Giorgos Nikiforos ; Grigoris Papadourakis ; Manolis Papoutsakis ; Aggeliki Psyharaki ; Giorgos Stratakis ; Panagiotis Tourlakis ; Petros Tsialiamanis ; Giorgos Vasileiadis ; Gerd Wagner ; Dimitris Velegrakis
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Enhancing NetLogo to Simulate BDI Communicating Agents / Ilias Sakellariou ; Petros Kefalas ; Ioanna Stamatopoulou
Integration of Computational Intelligence Applications in Engineering Design / Kostas M. Saridakis
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps / Athanasios Tsadiras
Incremental Relevance Vector Machine with Kernel Learning / Dimitris Tzikas ; Aristidis Likas ; Nikolaos Galatsanos
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
38.

電子ブック
ＥＢ
38. Artificial Neural Networks in Pattern Recognition
Lionel Prevost, Simone Marinai, Friedhelm Schwenker, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Fuzzy Evolutionary Probabilistic Neural Networks / V.L. Georgiou ; Ph.D. Alevizos ; M.N. Vrahatis
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Mining Software Aging Patterns by Artificial Neural Networks / Hisham El-Shishiny ; Sally Deraz ; Omar Bahy
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
39.

電子ブック
ＥＢ
39. Automated Deduction – CADE-21
Frank Pfenning, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk: Colin Stirling / Session 1：
Games, Automata and Matching / Colin Stirling
Higher-Order Logic / Session 2：
Formalization of Continuous Probability Distributions / Osman Hasan ; Sofiene Tahar
Compilation as Rewriting in Higher Order Logic / Guodong Li ; Konrad Slind
Barendregt's Variable Convention in Rule Inductions / Christian Urban ; Stefan Berghofer ; Michael Norrish
Automating Elementary Number-Theoretic Proofs Using Grobner Bases / John Harrison
Description Logic / Session 3：
Optimized Reasoning in Description Logics Using Hypertableaux / Boris Motik ; Rob Shearer ; Ian Horrocks
Conservative Extensions in the Lightweight Description Logic EL / Carsten Lutz ; Frank Wolter
An Incremental Technique for Automata-Based Decision Procedures / Gulay Unel ; David Toman
Intuitionistic Logic / Session 4：
Bidirectional Decision Procedures for the Intuitionistic Prepositional Modal Logic IS4 / Samuli Heilala ; Brigitte Pientka
A Labelled System for IPL with Variable Splitting / Roger Antonsen ; Arild Waaler
Invited Talk: Ashish Tiwari / Session 5：
Logical Interpretation: Static Program Analysis Using Theorem Proving / Ashish Tiwari ; Sumit Gulwani
Satisfiability Modulo Theories / Session 6：
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories / Yeting Ge ; Clark Barrett ; Cesare Tinelli
Efficient E-Matching for SMT Solvers / Leonardo de Moura ; Nikolaj Bjorner
T-Decision by Decomposition / Maria Paola Bonacina ; Mnacho Echenim
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic / Viktor Kuncak ; Martin Rinard
Induction, Rewriting, and Polymorphism / Session 7：
Improvements in Formula Generalization / Markus Aderhold
On the Normalization and Unique Normalization Properties of Term Rewrite Systems / Guillem Godoy ; Sophie Tison
Handling Polymorphism in Automated Deduction / Jean-Francois Couchot ; Stephane Lescuyer
First-Order Logic / Session 8：
Automated Reasoning in Kleene Algebra / Peter Hofner ; Georg Struth
SRASS - A Semantic Relevance Axiom Selection System / Geoff Sutcliffe ; Yury Puzis
Labelled Clauses / Tal Lev-Ami ; Christoph Weidenbach ; Thomas Reps ; Mooly Sagiv
Automatic Decidability and Combinability Revisited / Christopher Lynch ; Duc-Khanh Tran
Invited Talk: K. Rustan M. Leino / Session 9：
Designing Verification Conditions for Software / K. Rustan M. Leino
Model Checking and Verification / Session 10：
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic / Juan Antonio Navarro-Perez ; Andrei Voronkov
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
The KeY System 1.0 / Bernhard Beckert ; Martin Giese ; Reiner Hahnle ; Vladimir Klebanov ; Philipp Rummer ; Steffen Schlager ; Peter H. Schmitt
KeY-C: A Tool for Verification of C Programs / Oleg Murk ; Daniel Larsson
The Bedwyr System for Model Checking over Syntactic Expressions / David Baelde ; Andrew Gacek ; Dale Miller ; Gopalan Nadathur ; Alwen Tiu
System for Automated Deduction (SAD): A Tool for Proof Verification / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich
Invited Talk: Peter Baumgartner / Session 11：
Logical Engineering with Instance-Based Methods / Peter Baumgartner
Termination / Session 12：
Predictive Labeling with Dependency Pairs Using SAT / Adam Koprowski ; Aart Middeldorp
Dependency Pairs for Rewriting with Non-free Constructors / Stephan Falke ; Deepak Kapur
Proving Termination by Bounded Increase / Jurgen Giesl ; Rene Thiemann ; Stephan Swiderski ; Peter Schneider-Kamp
Certified Size-Change Termination / Alexander Krauss
Tableaux and First-Order Systems / Session 13：
Encoding First Order Proofs in SAT / Todd Deshane ; Wenjin Hu ; Patty Jablonski ; Hai Lin ; Ralph Eric McGregor
Hyper Tableaux with Equality / Ulrich Furbach ; Bjorn Pelzer
System Description: E-KRHyper / Christoph Wernhard
System Description: SPASS Version 3.0 / Renate A. Schmidt ; Thomas Hillenbrand ; Rostislav Rusev ; Dalibor Topic
Author Index
Invited Talk: Colin Stirling / Session 1：
Games, Automata and Matching / Colin Stirling
Higher-Order Logic / Session 2：
40.

電子ブック
ＥＢ
40. Automated Reasoning
Alessandro Armando, Peter Baumgartner, Gilles Dowek, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1：
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2：
Proving Bounds on Real-Valued Functions with Computations / Guillaume Melquiond
Linear Quantifier Elimination / Tobias Nipkow
Quantitative Separation Logic and Programs with Lists / Marius Bozga ; Radu Iosif ; Swann Perarnau
On Automating the Calculus of Relations / Peter Hofner ; Georg Struth
Automated Verification / Session 3：
Towards SMT Model Checking of Array-Based Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Preservation of Proof Obligations from Java to the Java Virtual Machine / Gilles Barthe ; Benjamin Gregoire ; Mariela Pavlova
Efficient Well-Definedness Checking / Adam Darvas ; Farhad Mehta ; Arsenii Rudich
Protocol Verification / Session 4：
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5：
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6：
Modal Logics / Session 7：
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8：
Description Logics / Session 9：
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10：
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11：
Equational Theories / Session 12：
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13：
Theorem Proving 1 / Session 14：
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15：
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16：
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17：
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18：
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1：
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2：
41.

電子ブック
ＥＢ
41. Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti
Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer
An Abstract Framework for Satisfiability Modulo Theories / Cesare Tinelli
Research Papers
Axiom Pinpointing in General Tableaux / Franz Baader ; Rafael Penaloza
Proof Theory for First Order Lukasiewicz Logic / Matthias Baaz ; George Metcalfe
A Tableau Method for Public Announcement Logics / Philippe Balbiani ; Hans van Ditmarsch ; Andreas Herzig ; Tiago de Lima
Bounded Model Checking with Description Logic Reasoning / Shoham Ben-David ; Richard Trefler ; Grant Weddell
Tableau Systems for Logics of Subinterval Structures over Dense Orderings / Davide Bresolin ; Valentin Goranko ; Angelo Montanari ; Pietro Sala
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic / Linda Buisman ; Rajeev Gore
Tableaux with Dynamic Filtration for Layered Modal Logics / Olivier Gasquet ; Bilal Said
The Neighbourhood of S0.9 and S1 / Roderic A. Girle
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies / Linh Anh Nguyen
Tree-Sequent Methods for Subintuitionistic Predicate Logics / Ryo Ishigaki ; Kentaro Kikuchi
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation / Ekaterina Komendantskaya
Updating Reduced Implicate Tries / Neil V. Murray ; Erik Rosenthal
A Bottom-Up Approach to Clausal Tableaux / Nicolas Peltier
Differential Dynamic Logic for Verifying Parametric Hybrid Systems / Andre Platzer
System Descriptions
Improvements to the Tableau Prover PITP / Alessandro Avellone ; Guide Fiorino ; Ugo Moscato
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning / Laura Giordano ; Valentina Gliozzi ; Gian Luca Pozzato
Author Index
Invited Talks
Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Piero A. Bonatti
Our Quest for the Holy Grail of Agent Verification / John-Jules Ch. Meyer
42.

電子ブック
ＥＢ
42. Autonomous Intelligent Systems: Multi-Agents and Data Mining
Vladimir Gorodetsky, Longbing Cao, Vladimir I. Gorodetski, Jörg Siekmann, Victor A. Skormin, Chengqi Zhang, Victor Skormin
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
Robust Agent Communities / Sandip Sen ; Sabyasachi Saha ; Stephane Airiau ; Teddy Candale ; Dipyaman Banerjee ; Doran Chakraborty ; Partha Mukherjee ; Anil Gursel
WI Based Multi-aspect Data Analysis in a Brain Informatics Portal / Ning Zhong ; Shinichi Motomura
Agent and Data Mining
Agent-Mining Interaction: An Emerging Area / Longbing Cao ; Chao Luo ; Chengqi Zhang
Evaluating Knowledge Intensive Multi-agent Systems / Christos Dimou ; Andreas L. Symeonidis ; Pericles A. Mitkas
Towards an Ant System for Autonomous Agents / Zoheir Ezziane
Semantic Modelling in Agent-Based Software Development / Peter Graubmann ; Mikhail Roshchin
Combination Methodologies of Multi-agent Hyper Surface Classifiers: Design and Implementation Issues / Qing He ; Xiu-Rong Zhao ; Ping Luo ; Zhong-Zhi Shi
Security in a Mobile Agent Based DDM Infrastructure / Xining Li
Automatic Extraction of Business Rules to Improve Quality in Planning and Consolidation in Transport Logistics Based on Multi-agent Clustering / Igor Minakov ; George Rzevski ; Petr Skobelev ; Simon Volman
Intelligent Agents for Real Time Data Mining in Telecommunications Networks / Luis E. Rocha-Mier ; Leonid Sheremetov ; Ildar Batyrshin
Architecture of Typical Sensor Agent for Learning and Classification Network / Vladimir Samoylov
Self-organizing Multi-agent Systems for Data Mining / Ichiro Satoh
Role-Based Decision Mining for Multiagent Emergency Response Management / Alexander Smirnov ; Mikhail Pashkin ; Tatiana Levashova ; Nikolay Shilov ; Alexey Kashevnik
Agent Competition and Data Mining
Virtual Markets: Q-Learning Sellers with Simple State Representation / Natalia Akchurina ; Hans Kleine Buning
Fusion of Dependence Networks in Multi-agent Systems - Application to Support Net-Enabled Littoral Surveillance / Mohamad K. Allouche ; Eloi Bosse
Multi-agent Framework for Simulation of Adaptive Cooperative Defense Against Internet Attacks / Igor Kotenko ; Alexander Ulanov
On Competing Agents Consistent with Expert Knowledge / Edward Pogossian ; Vachagan Vahradyan ; Arthur Grigoryan
On-Line Agent Teamwork Training Using Immunological Network Model / Lev Stankevich ; Denis Trotsky
Text Mining, Semantic Web, and Agents
Combination of Rough Sets and Genetic Algorithms for Text Classification / Rujiang Bai ; Xiaoyue Wang ; Junhua Liao
Multi-agent Meta-search Engine Based on Domain Ontology / Marat Kanteev
Efficient Search Technique for Agent-Based P2P Information Retrieval / Byungryong Kim ; Kichang Kim
Classification of Web Documents Using Concept Extraction from Ontologies / Marina Litvak ; Mark Last ; Slava Kisilevich
Emotional Cognitive Agents with Adaptive Ontologies / Leonid I. Perlovsky
Viral Knowledge Acquisition Through Social Networks / Dmitri Soshnikov ; Mikhail Chernomordikov
Chinese Weblog Pages Classification Based on Folksonomy and Support Vector Machines
Author Index
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
43.

電子ブック
ＥＢ
43. Conceptual Structures: Knowledge Architectures for Smart Applications
Uta Priss, Richard Hill, Simon Polovina, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
Hypermedia Discourse: Contesting Networks of Ideas and Arguments / Simon Buckingham Shum
Dynamic Epistemic Logic and Knowledge Puzzles / H.P. van Ditmarsch ; W. van der Hoek ; B. P. Kooi
Peirce on Icons and Cognition / Christopher Hookway
Conceptual Graphs
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments / Hedi Haddad ; Bernard Moulin
A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules / Jean-François Baget
A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs / Jeffrey A. Schiffel
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise / Rallou Thomopoulos ; Jean-Françoils Baget ; Ollivier Haemmerlé
An Inferential Approach to the Generation of Referring Expressions / Madalina Croitoru ; Kees van Deemter
A Conceptual Graph Description of Medical Data for Brain Tumour Classification / Bo Hu ; Srinandan Dashmapatra ; Paul Lewis ; David Dupplaw ; Liang Xiao
A Conceptual Graph Based Approach to Ontology Similarity Measure
A Comparison of Different Conceptual Structures Projection Algorithms / Heather D. Pfeiffer ; Roger T. Hartley
A Conceptual Graph Approach to Feature Modeling / Randall C. Bachmeyer ; Harry S. Delugach
From Conceptual Structures to Semantic Interoperability of Content / Pavlin Dobrev ; Ognian Kalaydjiev ; Galia Angelova
Formal Concept Analysis
Faster Concept Analysis / Adam D. Troy ; Guo-Qiang Zhang ; Ye Tian
The Design Space of Information Presentation: Formal Design Space Analysis with FCA and Semiotics / Michael May ; Johannes Petersen
Reducing the Representation Complexity of Lattice-Based Taxonomies / Sergei Kuznetsov ; Sergei Obiedkov ; Camille Roth
An FCA Perspective on n-Distributivity / Heiko Reppe
Towards a Semantology of Music / Rudolf Wille ; Renate Wille-Henning
Analysis of the Publication Sharing Behaviour in BibSonomy / Robert Jäschke ; Andreas Hotho ; Christoph Schmitz ; Gerd Stumme
The MILL-Method for Informal Learning Logistics / Andreas Faatz ; Manuel Goertz ; Eicke Godehardt ; Robert Lokaiczyk
Bilingual Word Association Networks / Uta Priss ; L. John Old
Using FCA for Encoding Closure Operators into Neural Networks / Sebastian Rudolph
Conceptual Structures
Are Consistency Projection: A New Generalization Relation for Graphs / Michael Liquiere
Mining Frequent Closed Unordered Trees Through Natural Representations / José L. Balcázar ; Albert Bifet ; Antoni Lozano
Devolved Ontology for Smart Applications / Iain Duncan Stalker ; Nikolay Mehandjiev ; Martin Carpenter
Historical and Conceptual Foundation of Diagrammatical Ontology / Peter Øhrstrøm ; Sara L. Uckelman ; Henrik Schärfe
Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs / Boris A. Galitsky ; Boris Kovalerchuk ; Sergei O. Kuznetsov
Belief Flow in Assertion Networks / Sujata Ghosh ; Benedikt Löwe ; Erik Scorelle
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - A Neuro-cognitive Model / Wiebke Petersen ; Markus Werning
Constants and Functions in Peirce's Existential Graphs / Frithjof Dau
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution / Mary Keeler
Short Papers
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams / David Cox
Quo Vadis, CS? On the (non)-Impact of Conceptual Structures on the Semantic Web / Markus Krötzsch ; Pascal Hitzler
A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs / Bryan J. Smith
Implementation of SPARQL Query Language Based on Graph Homomorphism / Olivier Corby ; Catherine Faron-Zucker
Cooperative CG-Wrappers for Web Content Extraction / Fotis Kokkoras ; Nick Bassiliades ; Ioannis Vlahavas
Conceptual Graphs and Ontologies for Information Retrieval / Catherine Comparot ; Nathalie Hernandez
Representation Levels Within Knowledge Representation / Joseph J. Pfeiffer
Supporting Lexical Ontology Learning by Relational Exploration / Johanna Völker
Characterizing Implications of Injective Partial Orders / Gemma C. Garriga
DVDSleuth: A Case Study in Applied Formal Concept Analysis for Navigating Web Catalogs / Jon Ducrou
Navigation in Knowledge-Based System for Helpdesk Based on FCA / Vladimír Sklenář ; Martin Radvanský ; Michal Dobeš
Functional Properties of Formal Concept Analysis / Hideo Mori
Towards an Ontology to Conceptualize Solution Analysis Tasks in CSCL Environments / Rafael Duque ; Crescencio Bravo ; Manuel Ortega
Author Index
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
44.

電子ブック
ＥＢ
44. Grammatical Inference: Algorithms and Applications
Alexander Clark, François Coste, Laurent Miclet, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
A Polynomial Algorithm for the Inference of Context Free Languages / Alexander Clark ; Remi Eyraud ; Amaury Habrard
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings / Colin de la Higuera ; Jean-Christophe Janodet ; Frederic Tantini
Relevant Representations for the Inference of Rational Stochastic Tree Languages / Francois Denis ; Edouard Gilbert ; Faissal Ouardi ; Marc Tommasi
Learning Commutative Regular Languages / Antonio Cano Gomez ; Gloria I. Alvarez
Learning Left-to-Right and Right-to-Left Iterative Languages / Jeffrey Heinz
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets / Yuuichi Kameda ; Hiroo Tokunaga ; Akihiro Yamamoto
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness / Anna Kasprzik
On Learning Regular Expressions and Patterns Via Membership and Correction Queries / Efim Kinber
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints / Bernard Lambeau ; Christophe Damas ; Pierre Dupont
Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries / Jose Oncina
Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata / Jorge Castro ; Ricard Gavalda
Learning Context-Sensitive Languages from Linear Structural Information / Jose M. Sempere
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries / Yasuhiro Tajima ; Yoshiyuki Kotani
How to Split Recursive Automata / Isabelle Tellier
A Note on the Relationship between Different Types of Correction Queries / Cristina Tirnauca
Unsupervised Learning of Probabilistic Context-Free Grammar Using Iterative Biclustering / Kewei Tu ; Vasant Honavar
Polynomial Distinguishability of Timed Automata / Sicco Verwer ; Mathijs de Weerdt ; Cees Witteveen
Evaluation and Comparison of Inferred Regular Grammars / Neil Walkinshaw ; Kirill Bogdanov ; Ken Johnson
Identification in the Limit of k, l-Substitutable Context-Free Languages / Ryo Yoshinaka
Poster Papers
Learning Subclasses of Pure Pattern Languages / P.J. Abisha ; D.G. Thomas ; Sindhu J. Kumaar
Which Came First, the Grammar or the Lexicon? / Tom Armstrong ; Tim Oates
Learning Node Label Controlled Graph Grammars (Extended Abstract) / Christophe Costa Florencio
Inference of Uniquely Terminating EML / S. Kannamma ; K. Rangarajan
Estimating Graph Parameters Using Graph Grammars / Sourav Mukherjee
Learning of Regular [omega]-Tree Languages / M. Jayasrirani ; M.H. Begam
Inducing Regular Languages Using Grammar-Based Classifier System / Olgierd Unold
Problems with Evaluation of Unsupervised Empirical Grammatical Inference Systems / Menno van Zaanen ; Jeroen Geertzen
Author Index
Regular Papers
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
45.

電子ブック
ＥＢ
45. Environments for Multi-Agent Systems III
Danny Weyns, Fabien Michel, H. Van Dyke Parunak, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
46.

電子ブック
ＥＢ
46. Experimental and Efficient Algorithms
WEA 2003, Klaus Jensen, Jörg Siekmann, Marian Margraf, Monaldo Mastrolilli, José D. P. Rolim
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Case-Based Reasoning Research and Development
Rosina O. Weber, Michael M. Richter, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Usages of Generalization in Case-Based Reasoning / Eva Armengol
Research Papers
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach / Raquel Ros ; Ramon Lopez de Mantaras ; Josep Lluis Arcos ; Manuela Veloso
Acquiring Word Similarities with Higher Order Association Mining / Sutanu Chakraborti ; Nirmalie Wiratunga ; Robert Lothian ; Stuart Watt
Label Ranking in Case-Based Reasoning / Klaus Brinker ; Eyke Hullermeier
When Similar Problems Don't Have Similar Solutions / Stewart Massie ; Susan Craw
Mixed-Initiative Relaxation of Constraints in Critiquing Dialogues / David McSherry ; David W. Aha
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory / Albert Fornells ; Elisabet Golobardes ; Josep Maria Martorell ; Josep Maria Garrell ; Nuria Macia ; Ester Bernado
Using Cases Utility for Heuristic Planning Improvement / Tomas de la Rosa ; Angel Garcia Olaya ; Daniel Borrajo
Case-Based Reasoning Adaptation for High Dimensional Solution Space / Ying Zhang ; Panos Louvieris ; Maria Petrou
Case-Based Planning and Execution for Real-Time Strategy Games / Santiago Ontanon ; Kinshuk Mishra ; Neha Sugandh ; Ashwin Ram
Case Authoring: From Textual Reports to Knowledge-Rich Cases / Stella Asiimwe ; Bruce Taylor
Case Provenance: The Value of Remembering Case Sources / David Leake ; Matthew Whitehead
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge / Jay Powell
Representation and Structure-Based Similarity Assessment for Agile Workflows / Mirjam Minor ; Alexander Tartakovski ; Ralph Bergmann
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation / Jean Lieber
Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems / Annett Bierer
Case-Based Anomaly Detection / Alessandro Micarelli ; Giuseppe Sansonetti
Case-Based Reasoning in Robot Indoor Navigation / Stefano Panzieri
Case-Based Group Recommendation: Compromising for Success / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth
Catching the Drift: Using Feature-Free Case-Based Reasoning for Spam Filtering / Sarah Jane Delany ; Derek Bridge
Enhancing Case-Based, Collaborative Web Search / Oisin Boydell
An Analysis of Case-Based Value Function Approximation by Approximating State Transition Graphs / Thomas Gabel ; Martin Riedmiller
From Anomaly Reports to Cases / Alessandro Donati ; Emmanuel Vicari
Assessing Classification Accuracy in the Revision Stage of a CBR Spam Filtering System / Jose Ramon Mendez ; Carlos Gonzalez ; Daniel Glez-Pena ; Florentino Fdez-Riverola ; Fernando Diaz ; Juan Manuel Corchado
Application Papers
Intelligent Guidance and Suggestions Using Case-Based Planning / Javier Bajo ; Sara Rodriguez
Case-Based Reasoning for Invoice Analysis and Recognition / Hatem Hamza ; Yolande Belaid ; Abdel Belaid
Watershed Segmentation Via Case-Based Reasoning / Maria Frucci ; Petra Perner ; Gabriella Sanniti di Baja
A Case-Based Song Scheduler for Group Customised Radio / Claudio Baccigalupo ; Enric Plaza
Helping Software Engineers Reusing UML Class Diagrams / Paulo Gomes ; Pedro Gandola ; Joel Cordeiro
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System / Amelie Cordier ; Beatrice Fuchs ; Alain Mille
Classify and Diagnose Individual Stress Using Calibration and Fuzzy Case-Based Reasoning / Shahina Begum ; Mobyen Uddin Ahmed ; Peter Funk ; Ning Xiong ; Bo von Scheele
Prototypical Cases for Knowledge Maintenance in Biomedical CBR / Isabelle Bichindaritz
Case-Based Support for Library Reference Services / Yen Bui
Knowledge Extraction and Summarization for an Application of Textual Case-Based Interpretation / Eni Mustafaraj ; Martin Hoof ; Bernd Freisleben
Author Index
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
48.

電子ブック
ＥＢ
48. Cognitive Systems
Ruqian Lu, Jörg Siekmann, Jörg H. Siekmann, Carsten Ullrich
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
49.

電子ブック
ＥＢ
49. Computable Models of the Law
Pompeu Casanovas, Pompeu Casanovas Romeu, Núria Casellas, Rossella Rubino, Giovanni Sartor, Jörg Siekmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II：
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III：
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV：
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V：
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
ICT-Supported Dispute Resolution / Claudia Cevenini ; Gianluigi Fioriglio
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
50.

電子ブック
ＥＢ
50. Computational Discovery of Scientific Knowledge
Jaime G. Carbonell, Jörg Siekmann, Ljupco Todorovski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I：
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
Incorporating Engineering Formalisms into Automated Model Builders / Matthew Easley
Integrating Domain Knowledge in Equation Discovery
Communicability Criteria of Law Equations Discovery / Takashi Washio ; Hiroshi Motoda
Quantitative Revision of Scientific Models / Kazumi Saito
Discovering Communicable Models from Earth Science Data / Mark Schwabacher ; Christopher Potter ; Steven Klooster ; Alicia Torregrosa
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools / Feng Zhao ; Chris Bailey-Kellogg ; Xingang Huang ; Juan Ordonez
Computational Discovery in Pure Mathematics / Simon Colton
Computational Scientific Discovery in Biomedicine / II：
Automatic Computational Discovery of Chemical Reaction Networks Using Genetic Programming / John R. Koza ; William Mydlowec ; Guido Lanza ; Lessen Yu ; Martin A. Keane
Discovery of Genetic Networks Through Abduction and Qualitative Simulation / Blaz Zupan ; Ivan Bratko ; Janez Demsar ; Peter Juvan ; Adam Kuspa ; John A. Halter ; Gad Shaulsky
Learning Qualitative Models of Physical and Biological Systems / Simon M. Garrett ; George M. Coghill ; Ashwin Srinivasan ; Ross D. King
Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics / Andreas Karwath ; Amanda Clare ; Luc Dehaspe
Drug Discovery as an Example of Literature-Based Discovery / Marc Weeber
Literature Based Discovery Support System and Its Application to Disease Gene Identification / Dimitar Hristovski ; Borut Peterlin ; Janez Stare
Author Index
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I：
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼