close
1.

電子ブック
ＥＢ
1. Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
出版情報: SpringerLink , Berlin : Springer, c2005  1 online resource (x, 315 p.)
シリーズ名: Lecture Notes in Artificial Intelligence ; 3392
Lecture Notes in Computer Science ; 3392
SpringerLink Books Computer Science 2005 ;
2.

電子ブック
ＥＢ
2. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
出版情報: SpringerLink , Berlin : Springer, c2005  1 online resource (x, 217 p.)
シリーズ名: Lecture Notes in Artificial Intelligence ; 3419
Lecture Notes in Computer Science ; 3419
SpringerLink Books Computer Science 2005 ;
3.

電子ブック
ＥＢ
3. Agent-Oriented Programming : From Prolog to Guarded Definite Clauses. 1st ed. 1999
by Matthew M. Huntbach, Graem A. Ringwood
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999  XIV, 394 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1630
Lecture Notes in Computer Science ; 1630
目次情報: 続きを見る
The Art in Artificial Intelligence / Chapter 1：
Realism / 1.1：
Purism / 1.2：
Rococo / 1.3：
Classicism / 1.4：
Romanticism / 1.5：
Symbolism / 1.6：
Neo-Classicism / 1.7：
Impressionism / 1.8：
Post-Impressionism / 1.9：
Precisionism / 1.10：
New Realism / 1.11：
Baroque / 1.12：
Pre-Raphaelite Brotherhood / 1.13：
Renaissance / 1.14：
Hindsight / 1.15：
Fifth Generation Architecture / Chapter 2：
Architecture and Design / 2.1：
Design as Evolution / 2.2：
Design as Co-evolution / 2.3：
Design as Theorem / 2.4：
Design as Premise / 2.5：
Design as Paradigm / 2.6：
Impressionist Design / 2.7：
Classical Design / 2.8：
Logic Machines / 2.9：
Metamorphosis / 2.10：
Apparent Scope for Parallelism / 3.1：
Or-Parallelism / 3.2：
The Prolog Phenomenon / 3.3：
Concurrency and Operating Systems / 3.4：
Concurrency and Distributed Systems / 3.5：
Symbiosis Between Programming Language and System Engineering / 3.6：
Event Driven Synchronization / 3.7：
Earlier Manifestations of Guarded Commands / 3.8：
Condition Synchronization in AI / 3.9：
Guarded Definite Clauses / 3.10：
Simulation of Parallelism by Interleaving / 3.11：
Indeterminacy / 3.12：
The Premature Binding Problem Revisited / 3.13：
Decision Tree Compilation / 3.14：
A Brief History of Guarded Definite Clauses / 3.15：
Event Driven Condition Synchronization / Chapter 4：
Streams for Free / 4.1：
A Picture is Worth a Thousand Words / 4.2：
Dataflow Computation / 4.3：
Dataflow Design / 4.4：
Dataflow Programming / 4.5：
Message Passing / 4.6：
Eager and Lazy Produces / 4.7：
The Client-Server Paradigm / 4.8：
Self-Balancing Merge / 4.9：
Synchronization / 4.10：
Readers and Writers / 4.11：
The Dining Philosophers / 4.12：
The Brock-Ackerman Anomaly / 4.13：
Conditional Semantics / 4.14：
Open Worlds and Abduction / 4.15：
Implementation Issues / 4.16：
Actors and Agents / Chapter 5：
The Actor Model / 5.1：
Haggling Protocols / 5.2：
Consensus Protocols / 5.3：
Market Forces / 5.4：
Poker Faced / 5.5：
Virtual Neural Networks / 5.6：
Biological and Artificial Networks / 5.7：
Self-Replicating Neural Networks / 5.8：
Neuron Specialization / 5.9：
The Teacher Teaches and the Pupil Learns / 5.10：
Neural Simulation / 5.11：
Simulated Life / 5.12：
Life Yet in GDC / 5.13：
Cheek by Jowl / 5.14：
Distributed Implementation / 5.15：
Agent Micro-Architectures / 5.16：
Metalevel Agent Architectures / 5.17：
Actor Reconstruction of GDC / 5.18：
Inheritance Versus Delegation / 5.19：
Concurrent Search / Chapter 6：
A Naive Prolog Solution to the 8-Puzzle / 6.1：
Speculative Parallelism / 6.2：
Non-speculative, Non-parallel Linear Search / 6.3：
A Practical Prolog Solution to the 8-Puzzle / 6.4：
A Generic Search Program / 6.5：
Layered Streams / 6.6：
Eliminating Redundant Search / 6.7：
A Direct GDC Solution Using Priorities / 6.8：
Search Anomalies / 6.9：
Branch-and-Bound Search / 6.10：
Game Tree Search / 6.11：
Minimax and Alpha-Beta Search / 6.12：
Parallel Game Tree Search / 6.13：
Parallel Search and Cooperative Distributed Solving / 6.14：
Distributed Constraint Solving / Chapter 7：
All-Pairs Shortest Path Problem / 7.1：
The Graph Coloring Problem / 7.2：
Minimal Spanning Trees / 7.3：
Conclusion / 7.4：
Meta-interpretation / Chapter 8：
Metalanguage as Language Definition and Metacircular Interpreters / 8.1：
Introspection / 8.2：
Amalgamating Language and Metalanguage in Logic Programming / 8.3：
Control Metalanguages / 8.4：
A Classification of Metalevel Systems / 8.5：
Some GDC Monolingual Interpreters / 8.6：
GDC Bilingual Interpreters / 8.7：
An Interpreter for Linda Extensions to GDC / 8.8：
Parallelization via Concurrent Meta-interpretation / 8.9：
Partial Evaluation / 8.10：
Futamura Projections / 9.1：
Supercompilation / 9.3：
Partial Deduction / 9.4：
Partial Evaluation and Reactive Systems / 9.5：
An Algorithm for Partial Evaluation of GDC Programs / 9.6：
Actor Fusion / 9.7：
Actor Fusion Examples / 9.8：
Partial Evaluation of an Interpreter / 9.9：
Agents and Robots / Chapter 10：
Reactive Agents: Robots and Softbots / 10.1：
A Simple Robot Program / 10.2：
Reaction and Intelligence / 10.3：
Objects, Actors and Agents / 10.4：
Objects in GDC / 10.5：
Agents in GDC / 10.6：
Top-Down and Bottom-Up Multi-agent Systems / 10.7：
GDC as a Coordination Language / 10.8：
Networks and Mobile Agents / 10.9：
References and Bibliography / 10.10：
The Art in Artificial Intelligence / Chapter 1：
Realism / 1.1：
Purism / 1.2：
4.

電子ブック
ＥＢ
4. Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. 1st ed. 1991
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991  IX, 186 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 485
Lecture Notes in Computer Science ; 485
5.

電子ブック
ＥＢ
5. Approaches to Intelligent Agents : Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings. 1st ed. 1999
edited by Hideyuki Nakashima, Chengqi Zhang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999  XII, 248 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1733
Lecture Notes in Computer Science ; 1733
目次情報: 続きを見る
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
Formal Semantics of Acknowledgements, Agreements and Disagreements Norihiro Ogata
Making Rational Decisions in N-by-N Negotiation Games with a Trusted Third Party / Shih-Hung Wu ; Von-Wun Soo
The Security Mechanism in Multiagent System AOSDE / Zhongzhi Shi ; Ju Wang ; Hu Cao
Mobility
Remote Messaging Mechanism Supporting Agent Mobility Based on CORBA / Byung-Rae Lee ; Kyung-Ah Chang ; Tai-Yun Kim
Persisting Autonomous Workflow for Mobile Agents Using a Mobile Thread Programming Model / Minjie Zhang ; Wei Li
Mobile Robot Navigation by Distributed Vision Agents / Takushi Sogo ; Hiroshi Ishiguro ; Toru Ishida
Learning
Rationality of Reward Sharing in Multi-agent Reinforcement Learning / Kazuteru Miyazaki ; Shigenobu Kobayashi
How to Design Good Rules for Multiple Learning Agents in Scheduling Problems? / Keiki Takadama ; Masakazu Watabe ; Katsunori Shimohara ; Shinichi Nakasuka
Hierarchical Multi-agent Organization for Text Database Discovery / Yong S. Choi ; Jaeho Lee ; Suk I. Yoo
Interfacing
Predicting User Actions Using Interface Agents with
Individual User Models / Jung-Jin Lee ; Robert McCartney
Gleams of People: Monitoring the Presence of People with
Multi-agent Architecture / Takeshi Ohguro ; Sen Yoshida ; Kazuhiro Kuwabara
System Design
Distributed Fault Location in Networks Using Learning Mobile Agents / Tony White ; Bernard Pagurek
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents / Bouchaib Bounabat ; Rahal Romadi ; Salah Labhalla
A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based
Multi-Agent System / Xudong Luo ; Chengqi Zhang ; Ho-fung Leung
An Agent Architecture for Strategy-Centric Adaptive QoS Control in Flexible Videoconference System / Takuo Suganuma ; SungDoke Lee ; Takuji Karahashi ; Tetsuo Kinoshita ; Norio Shiratori
Author Index
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
6.

電子ブック
ＥＢ
6. Termination Proofs for Logic Programs. 1st ed. 1990
by Lutz Plümer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990  VIII, 142 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 446
Lecture Notes in Computer Science ; 446
7.

電子ブック
ＥＢ
7. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996  X, 322 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
Lecture Notes in Computer Science ; 1050
8.

電子ブック
ＥＢ
8. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. 1st ed. 1994
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994  XII, 352 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 822
Lecture Notes in Computer Science ; 822
9.

電子ブック
ＥＢ
9. Programming Constraint Services : High-Level Programming of Standard and New Constraint Services. 1st ed. 2002
by Christian Schulte
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002  XII, 176 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 2302
Lecture Notes in Computer Science ; 2302
目次情報: 続きを見る
Introduction / 1：
Constraint Programming / 1.1：
Motivation / 1.2：
Approach / 1.3：
Outline / 1.4：
Source Material / 1.5：
Constraints / 2：
Search / 2.2：
Programming / 2.3：
Introducing Oz Light / 3：
Overview / 3.1：
Oz Light: Basics / 3.2：
The Store / 3.2.1：
Threads / 3.2.2：
Statements / 3.2.3：
Oz Light Continued / 3.3：
Primitive Operations / 3.3.1：
Exceptions / 3.3.2：
Ports and Active Services / 3.3.3：
Finite Domain Constraints / 3.3.4：
Syntactic Convenience / 3.4：
Relation to Full Oz / 3.5：
Spaces for Search / 4：
Local Computation Spaces / 4.1：
Space Manipulation / 4.3：
Space Creation / 4.3.1：
Merging Spaces / 4.3.2：
Injecting into Spaces / 4.3.3：
Control and Status / 4.4：
Alternatives / 4.5：
Distributable Spaces / 4.5.2：
Synchronizing on Stability / 4.5.3：
Committing to Alternatives / 4.5.4：
Cloning Spaces / 4.5.5：
Refining Commit / 4.5.6：
Situated Procedure Calls: Services Reconsidered / 4.6：
Previous Work: Solve Combinator / 4.7：
Summary / 4.8：
Search Engines / 5：
Depth-First Search / 5.1：
Simplifying Control: Exceptions / 5.2：
Binarization / 5.3：
Multiple Solutions / 5.4：
Explicit State Representation / 5.5：
Limited Discrepancy Search / 5.6：
Best-First Search / 5.7：
Best-Solution Search / 6：
Constraining Spaces / 6.1：
Iterative Best-Solution Search / 6.2：
Branch-and-Bound Best-Solution Search / 6.3：
An Alternative Formulation of BAB / 6.4：
Prune-Search: Generalizing BAB / 6.5：
Recomputation / 7：
Full Recomputation / 7.1：
Fixed Recomputation / 7.3：
Why Recomputation Matters / 7.4：
Adaptive Recomputation / 7.5：
Oz Explorer: Visual Search / 8：
Development of Constraint Programs / 8.1：
Example: Aligning for a Photo / 8.2：
Features / 8.3：
Implementation / 8.4：
Evaluation / 8.5：
Related Work / 8.6：
Distributed Search / 9：
Distributed Oz / 9.1：
Architecture / 9.3：
Cooperation / 9.3.1：
Worker / 9.3.2：
Manager / 9.3.3：
Distributed Search Engines / 9.3.4：
Spaces for Combinators / 9.5：
Space Tree / 10.1：
Space Tree Manipulation / 10.3：
Stability / 10.3.1：
Status Variable / 10.4.2：
Debugging Support / 10.4.3：
Choice of Programming Language / 10.5：
Constraint Combinators / 11：
Concurrent Negation / 11.1：
Generic Reification / 11.3：
Disjunction / 11.4：
Conditional / 11.5：
Andorra-Style Disjunction / 11.6：
Discussion and Evaluation / 11.7：
Implementing Oz Light / 12：
Synchronization / 12.1：
Store / 12.3：
Scheduler / 12.4：
Implementing Spaces / 13：
Nodes and Links / 13.1：
The Store: Model / 13.2.2：
The Store: Implementation / 13.2.4：
Runnable Threads / 13.3：
Globally Suspended Threads / 13.3.2：
Speculative Constraints / 13.3.3：
Local Threads / 13.3.4：
Checking Stability / 13.3.5：
Merge / 13.4：
Choose and Commit / 13.5：
Richer Basic Constraints / 13.5.2：
Variable Aliasing / 13.6.1：
Tree Constraints / 13.6.2：
Ports / 13.6.3：
Performance Overview / 13.8：
Other Approaches to Search / 14：
Other Constraint Programming Systems / 14.1：
Comparison with Trailing / 14.2：
Expressiveness / 14.2.1：
Implementation Issues / 14.2.2：
Criteria and Examples / 14.2.3：
Copying / 14.2.4：
Copying versus Trailing / 14.2.5：
Recomputation versus Trailing / 14.2.6：
System Comparison / 14.3：
Conclusion / 15：
Main Contributions / 15.1：
Future Work / 15.2：
Benchmark Problems and Platforms / A：
Benchmark Problems / A.1：
Sequential Platform / A.2：
Distributed Platform / A.3：
References
Index
Introduction / 1：
Constraint Programming / 1.1：
Motivation / 1.2：
10.

電子ブック
ＥＢ
10. Grammatical Inference: Algorithms and Applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings. 1st ed. 2000
edited by Arlindo L. Oliveira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000  VIII, 316 p.
シリーズ名: Lecture Notes in Artificial Intelligence ; 1891
Lecture Notes in Computer Science ; 1891
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼