Shelfclass |
Sortkey |
Title |
4.A |
AAAI |
AAAI 1980: 1st Annual National Conference on Artificial Intelligence, Stanford University, August 18 to 21, 1980. AAAI-80 |
4.A |
AAAI |
AAAI 1982: 2nd National Conference on Artificial Intelligence, August 18-20, 1982, Carnegie-Mellon University, University of Pittsburgh, Pittsburgh, Pennsylvania. AAAI-82. |
4.A |
AAAI |
AAAI 1983: 3rd National Conference on Artificial Intelligence, August 22-26, 1983, Washington, D.C. AAAI-83. |
4.A |
AAAI |
AAAI 1984: 4th National Conference on Artificial Intelligence, August 6-10, 1984, University of Texas at Austin. AAAI-84. |
4.A |
AAAI |
AAAI 1986: Volume 1: Science: 5th National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, Pa. AAAI-86. |
4.A |
AAAI |
AAAI 1986: Volume 2: Engineering: 5th National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, Pa.. AAAI-86 |
4.A |
AAAI |
AAAI 1987: Volume 1: 6th National Conference on Artificial Intelligence, July 13-17, 1987. AAAI-87 |
4.A |
AAAI |
AAAI 1987: Volume 2: 6th National Conference on Artificial Intelligence, July 13-17, 1987. AAAI-87. |
4.A |
AAAI |
AAAI 1988: Volume 1: 7th National Conference on Artificial Intelligence, August 21-26, 1988, Saint Paul, Minnesota. AAAI-88. |
4.A |
AAAI |
AAAI 1988: Volume 2: 7th National Conference on Artificial Intelligence, August 21-26, 1988, Saint Paul, Minnesota. AAAI-88. |
4.A |
AAAI |
AAAI 1990: Volume 1: 8th National Conference on Artificial Intelligence, July 29, 1990-August 3, 1990. AAAI-90. |
4.A |
AAAI |
AAAI 1990: Volume 2: 8th National Conference on Artificial Intelligence, July 29, 1990-August 3, 1990. AAAI-90 |
4.A |
AAAI |
AAAI 1991: Volume 1: 9th National Conference on Artificial Intelligence, July 14-19, 1991. AAAI-91. |
4.A |
AAAI |
AAAI 1991: Volume 2: 9th National Conference on Artificial Intelligence, July 14-19, 1991. AAAI-91 |
4.A |
AAAI |
AAAI 1992: 10th National Conference on Artificial Intelligence, July 12-16, 1992. AAAI-92. |
4.A |
AAAI |
AAAI 1993: 11th National Conference on Artificial Intelligence. AAAI-93. |
4.A |
AAAI |
AAAI 1994: Volume 1: 12th National Conference on Artificial Intelligence, July 13 - August 4, 1994. AAAI-94. |
4.A |
AAAI |
AAAI 1994: Volume 2: 12th National Conference on Artificial Intelligence, July 13 - August 4, 1994. AAAI-94. |
4.A |
AAAI FS-08-01 |
Adaptive Agents in Cultural Contexts: Papers from the AAAI Spring Symposium Technical Report FS-08-01 |
4.A |
AAAI FS-08-03 |
Automated Scientific Discovery: Papers from the AAAI Spring Symposium Technical Report FS-08-03 |
4.A |
AAAI FS-08-04 |
Biologically Inspired Cognitive Architectures: Papers from the AAAI Spring Symposium Technical Report FS-08-04 |
4.A |
AAAI FS-08-04 |
Multimedia Information Extraction: Papers from the AAAI Spring Symposium Technical Report FS-08-05 |
4.A |
AAAI FS-08-06 |
Naturally-Inspired Artificial Intelligence: Papers from the AAAI Fall Symposium Technical Report FS-08-06 |
4.A |
AAAI FS-94-02 |
RELEVANCE: Papers from the 1994 AAAI Fall Symposium: November 4-6, New Orleans, Louisiana: technical report FS-94-02 |
4.A |
AAAI / IAAI |
AAAI 1997: 14th National Conference in Artificial Intelligence AAAI-97 ; IAAI-97: 9th Conference on Innovative Applications of Artificial Intelligence: July 27-31, 1997, Providence, Rhode Island: proceedings |
4.A |
AAAI / IAAI |
AAAI 1998: 15th National Conference in Artificial Intelligence AAAI-98 ; IAAI-98: 10th Conference on Innovative Applications of Artificial Intelligence.: July 26-30, 1998, Madison, Wisconsin: proceedings |
4.A |
AAAI / IAAI |
AAAI 1999: 16th National Conference in Artificial Intelligence AAAI-99 ; IAAI-99: 11th Conference on Innovative Applications of Artificial Intelligence: July 18-22, 1999, Orlando, Florida: proceedings |
4.A |
AAAI / IAAI |
AAAI 2000: 17th National Conference in Artificial Intelligence AAAI-00 ; IAAI-2000: 12th Conference on Innovative Applications of Artificial Intelligence: July 30 - August 3, 2000, Austin, Texas, USA: proceedings |
4.A |
AAAI / IAAI |
AAAI 2002: 18th National Conference in Artificial Intelligence AAAI-02 ; IAAI-02: 14th Conference on Innovative Applications of Artificial Intelligence: July 28 - August 1, 2002, Edmonton, Alberta, Canada: proceedings |
4.A |
AAAI / IAAI |
AAAI 2004: 19th National Conference in Artificial Intelligence AAAI-04 ; IAAI-04: 16th Conference on Innovative Applications of Artificial Intelligence: July 25-29, 2004, San Jose, California: proceedings |
4.A |
AAAI / IAAI 1996 V 1 |
AAAI 1996 Volume 1: 13th National Conference on Artificial Intelligence AAAI-96: IAAI-96: 8th Conference on Innovative Applications of Artificial Intelligence: Volume 1: August 4-8, 1996, Portland, Oregon: proceedings |
4.A |
AAAI / IAAI 1996 V 2 |
AAAI 1996 Volume 2: 13th National Conference on Artificial Intelligence AAAI-93: IAAI-96: 8th Conference on Innovative Applications of Artificial Intelligence: Volume 2: August 4-8, 1996, Portland, Oregon: Proceedings |
4.A |
AAAI / IAAI 2005 V 1 |
AAAI 2005 Volume 1: 20th National Conference in Artificial Intelligence AAAI-05: IAAI-05: 17th Conference on Innovative Applications of Artificial Intelligence: Celebrating AAA' s Twenty-Fifth Anniversary. Volume 1. |
4.A |
AAAI / IAAI 2005 V 2 |
AAAI 2005 Volume 2: 20th National Conference in Artificial Intelligence AAAI-05: IAAI-05: 17th Conference on Innovative Applications of Artificial Intelligence: Celebrating AAA' s Twenty-Fifth Anniversary. Volume 2. |
4.A |
AAAI / IAAI 2005 V 3 |
AAAI 2005 Volume 3: 20th National Conference in Artificial Intelligence AAAI-05: IAAI-05: 17th Conference on Innovative Applications of Artificial Intelligence: Celebrating AAA' s Twenty-Fifth Anniversary. Volume 3. |
4.A |
AAAI / IAAI 2005 V 4 |
AAAI 2005 Volume 4: 20th National Conference in Artificial Intelligence AAAI-05: IAAI-05: 17th Conference on Innovative Applications of Artificial Intelligence: Celebrating AAA' s Twenty-Fifth Anniversary. Volume 4. |
4.A |
AAAI / IAAI 2006 V 1 |
AAAI 2006 Volume 1: 21st National Conference in Artificial Intelligence AAAI-06: IAAI-06: 18th Conference on Innovative Applications of Artificial Intelligence: Boston, Massachusetts, July 16-20, 2006. Volume 1. |
4.A |
AAAI / IAAI 2006 V 2 |
AAAI 2006 Volume 2: 21st National Conference in Artificial Intelligence AAAI-06: IAAI-06: 18th Conference on Innovative Applications of Artificial Intelligence: Boston, Massachusetts, July 16-20, 2006. Volume 2. |
4.A |
AAAI / IAAI 2007 V 1 |
AAAI 2007 Volume 1: 22nd National Conference in Artificial Intelligence AAAI-07: IAAI-06: 19th Conference on Innovative Applications of Artificial Intelligence: Vancouver, British Columbia, Canada, 22-26 July 2007, proceedings. Volume 1. |
4.A |
AAAI / IAAI 2007 V 2 |
AAAI 2007 Volume 2: 22nd National Conference in Artificial Intelligence AAAI-07: IAAI-06: 19th Conference on Innovative Applications of Artificial Intelligence: Vancouver, British Columbia, Canada, 22-26 July 2007, proceedings. Volume 2. |
4.A |
AAAI / IAAI 2008 V 1 |
AAAI 2008 Volume 1: 23rd AAAI Conference on Artificial Intelligence AAAI-08: IAAAI-08: 20th Innovative Applications of Artificial Intelligence Conference. Volume 1.: Chicago, Illinois USA, 13-17 July 2008 |
4.A |
AAAI / IAAI 2008 V 2 |
AAAI 2008 Volume 2: 23rd AAAI Conference on Artificial Intelligence AAAI-08: IAAAI-08: 20th Innovative Applications of Artificial Intelligence Conference. Volume 2.: Chicago, Illinois USA, 13-17 July 2008 |
4.A |
AAAI / IAAI 2008 V 3 |
AAAI 2008 Volume 3: 23rd AAAI Conference on Artificial Intelligence AAAI-08: IAAAI-08: 20th Innovative Applications of Artificial Intelligence Conference: Chicago, Illinois USA, 13-17 July 2008 |
4.A |
AAAI SS-08-01 |
AI Meets Business Rules and Process Management: Papers from the AAAI Spring Symposium Technical Report SS-08-01 |
4.A |
AAAI SS-08-02 |
AI in Eldercare: New Solutions to Old Problems: Papers from the AAAI Spring Symposium Technical Report FS-08-02 |
4.A |
AAAI SS-08-02 |
Architectures for Intelligent Theory-Based Agents: Papers from the AAAI Spring Symposium Technical Report SS-08-02 |
4.A |
AAAI SS-08-03 |
Creative Intelligent Systems: Papers from the AAAI Spring Symposium Technical Report SS-08-03 |
4.A |
AAAI SS-08-04 |
Emotion, Personality, and Social Behavior: Papers from the AAAI Spring Symposium Technical Report SS-08-04 |
4.A |
AAAI SS-08-05 |
Semantic Sicentific Knowledge Integration: Papers from the AAAI Spring Symposium Technical Report SS-08-05 |
4.A |
AAAI SS-08-06 |
Social Information Processing: Papers from the AAAI Spring Symposium Technical Report SS-08-06 |
4.A |
AAAI SS-08-07 |
Symbiotic Relationships between Semantic Web and Knowledge Engineering: Papers from the AAAI Spring Symposium Technical Report SS-08-07 |
4.A |
ACAI |
ACAI 1987: Advanced Topics in Artificial Intelligence: 2nd Advanced Course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987 |
4.A |
ACSC |
ACSC ´95: Algorithms, Concurrency, and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995: proceedings |
4.A |
ADG |
ADG 1996: Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996: selected papers |
4.A |
ADG |
ADG 1998: Automated Deduction in Geometry: 2nd International Workshop, ADG'98, Beijing, China, August 1-3, 1998: proceedings |
4.A |
ADG |
ADG 2000: Automated Deduction in Geometry: 3rd International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers |
4.A |
ADG |
ADG 2002: Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers |
4.A |
ADG |
ADG 2004: Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004: revised papers |
4.A |
AGENT |
Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems |
4.A |
AGENT |
Agent Mediated Electronic Commerce: The European AgentLink Perspective |
4.A |
AGI |
AGI 2006: Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms. Proceedings of the AGI Workshop 2006. |
4.A |
AGRE, PHILIP |
Computational Theories of Interaction and Agency |
4.A |
AI |
AI 1988: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings. AI '88 |
4.A |
AI |
AI 1997: Advanced Topics in Artificial Intelligence: 10th Australian Joint Conference on Artificial Intelligence, AI'97, Perth, Australia, November 30 - December 4, 1997, Proceedings |
4.A |
AI |
AI 1998: Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998, Selected Papers |
4.A |
AI |
AI 1999: Advanced Topics in Artificial Intelligence: 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings |
4.A |
AI |
AI 2001: Advances in Artificial Intelligence: 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings |
4.A |
AI |
AI 2002: Advances in Artificial Intelligence: 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6 2002, Proceedings |
4.A |
AI*IA |
AI*IA 1991: Trends in Artificial Intelligence. 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October 29-31, 1991: proceedings |
4.A |
AI*IA |
AI*IA 1993: Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993, Proceedings |
4.A |
AI*IA |
AI*IA 1995: Topics in Artificial Intelligence. 4th Congress of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995: proceedings |
4.A |
AI*IA |
AI*IA 1997: Advances in Artificial Intelligence: 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997: proceedings |
4.A |
AI*IA |
AI*IA 1999: Advances in Artificial Intelligence: 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Selected Papers |
4.A |
AI*IA |
AI*IA 2001: Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001: proceedings |
4.A |
AII CIM |
Artificial Intelligence: Implications for CIM |
4.A |
AIIDE |
AIIDE 2005: The First Artificial Intelligence and Interactive Digital Entertainment Conference |
4.A |
AIIDE |
AIIDE 2006: The Second Artificial Intelligence and Interactive Digital Entertainment Conference: Marina del Rey, Califrnoa, June 20-23, 2006 |
4.A |
AIIDE |
AIIDE 2007: The Third Artificial Intelligence and Interactive Digital Entertainment Conference: 6-8 June 2007, Stanford, California |
4.A |
AIME |
AIME 1995: Artificial Intelligence in Medicine: 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25-28, 1995, Proceedings |
4.A |
AIME |
AIME 1997: Artificial Intelligence in Medicine: 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, Grenoble, France, March 23-26, 1997, Proceedings |
4.A |
AIME |
AIME 1999: Artificial Intelligence in Medicine: Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 20-24, 1999, Proceedings |
4.A |
AIME |
AIME 2001: Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings |
4.A |
AIMSA |
AIMSA 1984: Artificial Intelligence I: Methodology, Systems, Applications, Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria, 17-20 September 1984 |
4.A |
AIMSA |
AIMSA 1986: Artificial Intelligence II: Methodology, Systems, Applications: Proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '86), Varna, Bulgaria, 16-19 September 1986 |
4.A |
AIMSA |
AIMSA 1988: Artificial Intelligence III: Methodology, Systems, Applications: Proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '88), Varna, Bulgaria, 20-23 September, 1988 |
4.A |
AIMSA |
AIMSA 1990: Artificial Intelligence IV: Methodology, Systems, Applications: Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '90), Albena, Bulgaria, 19-22 September, 1990 |
4.A |
AIMSA |
AIMSA 1992: Artificial Intelligence V: Methodology, Systems, Applications: Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92), Sofia, Bulgaria, 21-24 September, 1992 |
4.A |
AIMSA |
AIMSA 1996: Artificial Intelligence VII: Methodology, Systems, Applications: Proceedings of the Seventh International Conference on Artificial Intelligence, Methodology, Systems, Applications (AIMSA '96), Sozopol, Bulgaria, September, 18-20, 1996 |
4.A |
AIMSA |
AIMSA 1998: Artificial Intelligence 8: Methodology, Systems, and Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998: proceedings |
4.A |
AIMSA |
AIMSA 2000: Artificial Intelligence 9: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000: proceedings |
4.A |
AIMSA |
AIMSA 2002: Artificial Intelligence 10: Methodology, Systems, and Applications, 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002: proceedings |
4.A |
AIMSA |
AIMSA 2004: Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings: [Elektronisk resurs] |
4.A |
AIPS |
AIPS 1992: Artificial Intelligence Planning Systems: Proceedings of the First International Conference, June 15-17, 1992, College Park, Maryland |
4.A |
AIPS |
AIPS 1994: Artficial Intelligence Planning Systems: Proceedings of the Second International Conference on Artificial Intelligence Planning Systems |
4.A |
AIPS |
AIPS 1996: Artificial Intelligence Planning Systems: Proceedings of the Third International Conference on Artificial Intelligence Planning Systems |
4.A |
AIPS |
AIPS 1998: Artificial Intelligence Planning Systems: Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems |
4.A |
AIPS |
AIPS 2000: Artificial Intelligence Planning and Scheduling: Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling |
4.A |
AIPS |
AIPS 2002: Artificial Intelligence Planning and Scheduling: Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling Toulouse, France, 23-27 April 2002 |
4.A |
AI REALITY |
AI: Reality of Fantasy: Artificial Intelligence: Reality of Fantasy |
4.A |
AISB 1987 |
AISB87: Advances in Artificial Intelligence: Proceedings of the 1987 AISB conference, University of Edinburgh, 6-10 April 1987 |
4.A |
AISB 1991 |
AISB91: Eighth Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, 16-19 April 1991, University of Leeds |
4.A |
AISC |
AISC 1998: Artificial Intelligence and Symbolic Computation: International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998: proceedings |
4.A |
AISC |
AISC 2000: Artificial Intelligence and Symbolic Computation: International Conference AISC 2000, Madrid, Spain, July 17-19, 2000: revised papers |
4.A |
AISC |
AISC 2002: Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002: proceedings |
4.A |
AISC |
AISC 2004: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004: Proceedings |
4.A |
AISC |
AISC 2006: Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006: Proceedings |
4.A |
AISMC |
AISMC 1992: Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings |
4.A |
AISMC |
AISMC 1994: Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994, Selected Papers |
4.A |
AISMC |
AISMC 1996: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings |
4.A |
ALEKSANDER, IGOR |
The World Yearbook of New Generation Computing Research and Development: [microform]. |
4.A |
ALLEN, JAMES |
Readings in planning |
4.A |
ALLEN, JAMES F |
Reasoning about plans |
4.A |
ALP |
ALP 1988: Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings |
4.A |
ALP |
ALP 1990: Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990, Proceedings |
4.A |
ALP |
ALP 1992: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings |
4.A |
ALP |
ALP 1994: Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994, Proceedings |
4.A |
ALP |
ALP 1996: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996, Proceedings |
4.A |
ALP |
ALP 1997: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997: proceedings |
4.A |
AMDO |
AMDO 2000: Articulated Motion and Deformable Objects: First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000, Proceedings |
4.A |
AMR |
AMR 2006: Adaptive Multimedia Retrieval: User, Context, and Feedback: 4th International Workshop, AMR 2006, Geneva, Switzerland, July, 27-28, 2006: revised selected papers: [electronic resource] |
4.A |
AMR |
AMR 2007: Adaptive Multimedial Retrieval: Retrieval, User, and Semantics: 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007, Revised Selected Papers |
4.A |
ANDREASEN, TROELS |
Flexible Query Answering Systems |
4.A |
ANTONIU, GRIGORIS |
Reasoning Web: 3rd International Summer School 2007, Dresden, Germany, September 3-7, 2007: tutorial lectures |
4.A |
AOSE |
AOSE 2000: Agent-Oriented Software Engineering: First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers |
4.A |
APT, KRZYSZTOF R |
Principles of Constraint Programming |
4.A |
ARTIFICIAL |
The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications, 1954-1987. |
4.A |
ARTIFICIAL |
The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications, 1954-1987. |
4.A |
ARTIFICIAL |
The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications, 1954-1987. |
4.A |
ARTIFICIAL |
The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications, 1954-1987. |
4.A |
ARTIFICIAL |
The Artificial Intelligence Compendium: Abstracts and Index to Research on AI Theory and Applications, 1954-1987. |
4.A |
ASC |
ASC 2004: Proceedings of the Eighth IASTED International Conference on Artificial Intelligence and Soft Computing: September 1-3, 2004, Marbella, Spain |
4.A |
ATAL |
ATAL 1998: Intelligent Agents V: Agent Theories, Architectures, and Languages: 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings |
4.A |
ATAL |
ATAL 1999: Intelligent Agents VI: Agent Theories, Architectures, and Languages: 6th International Workshop, ATAL'99, Orlando, Florida, USA, July 15-17, 1999, Proceedings |
4.A |
ATAL |
ATAL 2000: Intelligent Agents VII: Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings |
4.A |
ATAL 1995 |
Intelligent Agents II: Agent Theories, Architectures, and Languages: IJCAI'95 Workshop (ATAL), Montreal, Canada, August 19-20, 1995: proceedings |
4.A |
ATAL 1996 |
Intelligent Agents III: Agent Theories, Architectures, and Languages: ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996: proceedings |
4.A |
ATAL 1997 |
Intelligent Agents IV: Agent Theories, Architectures, and Languages: 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997: proceedings |
4.A |
AUTONOMOUS |
AUTONOMOUS: 5th International Conference on Autonomous Agents: Montreal, Canada, May 28-June 1, 2001 |
4.A |
BALLARD, DANA H |
An Introduction to Natural Computation |
4.A |
BAROGLIO, CRISTINA |
Reasoning Web: 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures |
4.A |
BARSTOW, DAVID R |
Knowledge-Based Program Construction |
4.A |
BAUMANN, JOACHIM |
Mobile Agents: Control Algorithms |
4.A |
BEETZ, MICHAEL |
Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures |
4.A |
BENHAMOU, F |
Constraint Logic Programming: Selected Research |
4.A |
BENNUN, MERVYN E |
Computers, Artificial Intelligence and the Law |
4.A |
BENSON, IAN |
Intelligent Machinery: Theory and Practice |
4.A |
BIBEL, WOLFGANG |
Fundamentals of Artificial Intelligence: An Advanced Course |
4.A |
BISFAI |
BISFAI -95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence: June 20-22, 1995, Ramat Gan and Jerusalem, Israel. Proceedings. |
4.A |
BISHOP, PETER |
Fifth Generation Computers: Concepts, Implementations and Uses |
4.A |
BOBROW, DANIEL G |
Artificial Intelligence in Perspective |
4.A |
BODEN, MARGARET A |
Artificial Intelligence |
4.A |
BODEN, MARGARET A |
The Philosophy of Artificial Intelligence |
4.A |
BOND, ALAN H |
Readings in distributed artificial intelligence |
4.A |
BOURBAKIS, NIKOLAOS G |
Artificial Intelligence and Automation |
4.A |
BRADSHAW, JEFFREY M |
Software agents |
4.A |
BRINK, JEAN R |
The Computer and the Brain: Perspectives on Human and Artificial Intelligence |
4.A |
BROMLEY, HANK |
Lisp Lore: A Guide to Programming the Lisp Machine |
4.A |
BURKE, EDMUND K. |
Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques |
4.A |
CADE |
CADE 1980: 5th International Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 |
4.A |
CADE |
CADE 1982: 6th International Conference on Automated Deduction: New York, USA, June 7-9, 1982 |
4.A |
CADE |
CADE 1984: 7th International Conference on Automated Deduction: Napa, California, USA, May 14-16, 1984 |
4.A |
CADE |
CADE 1986: 8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986: proceedings |
4.A |
CADE |
CADE 1988: 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: proceedings |
4.A |
CADE |
CADE 1990: 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990: proceedings |
4.A |
CADE |
CADE 1992: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992: proceedings |
4.A |
CADE |
CADE 1994: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994: proceedings |
4.A |
CADE |
CADE 1996: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996: proceedings |
4.A |
CADE |
CADE 1997: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997: proceedings |
4.A |
CADE |
CADE 1998: 15th International Conference on Automated Deduction Lindau, Germany, July 5-10, 1998: proceedings |
4.A |
CADE |
CADE 1999: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999: proceedings |
4.A |
CADE |
CADE 2000: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000: proceedings |
4.A |
CADE |
CADE 2002: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002: proceedings |
4.A |
CADE |
CADE 2003: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003: proceedings |
4.A |
CADE |
CADE 2005: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005: proceedings |
4.A |
CADE |
CADE 2007: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007: proceedings |
4.A |
CADE |
CADE 2009: Automated Deduction - CADE-22: [Elektronisk resurs]: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009, Proceedings |
4.A |
CAMPBELL, J. A |
Perspectives in Artificial Intelligence: Volume 1: Expert Systems: Applications and Technical Foundations |
4.A |
CAMPBELL, J. A |
Perspectives in Artificial Intelligence: Volume 2: Machine Translation, Nlp, Databases and Computer-Aided Instruction |
4.A |
CANADIAN AI |
Canadian AI 1996: Advances in Artificial Intelligence: 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21-24, 1996, Proceedings |
4.A |
CANADIAN AI |
Canadian AI 1998: Advances in Artificial Intelligence: 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98, Vancouver, BC, Canada, June 18-20, 1998, Proceedings |
4.A |
CANADIAN AI |
Canadian AI 2000: Advances in Artificial Intelligence: 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings |
4.A |
CANADIAN AI |
Canadian AI 2001: Advances in Artificial Intelligence: 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001, Proceedings |
4.A |
CANTONI, VIRGINIO |
Human and Machine Perception 2: Emergence, Attention, and Creativity |
4.A |
CANTONI, VIRGINIO |
Human and Machine Perception: Information Fusion |
4.A |
CHARNIAK, EUGENE |
Artificial Intelligence Programming |
4.A |
CHARNIAK, EUGENE |
Introduction to Artificial Intelligence |
4.A |
CHEN, PETER P |
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development |
4.A |
CIA |
CIA 1997: Cooperative Information Agents: First International Workshop, CIA '97, Kiel, Germany, February 26-28, 1997, Proceedings |
4.A |
CIA |
CIA 1998: Cooperative Information Agents II: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet: Second International Workshop, CIA'98, Paris, France, July 4-7, 1998, Proceedings |
4.A |
CIA |
CIA 1999: Cooperative Information Agents III: Third International Workshop, CIA'99, Uppsala, Sweden, July 31 - August 2, 1999, Proceedings |
4.A |
CIA |
CIA 2000: Cooperative Information Agents IV: The Future of Information Agents in Cyberspace: 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000, Proceedings |
4.A |
CIA |
CIA 2001: Cooperative Information Agents V: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings |
4.A |
CIA |
CIA 2004: Cooperative Information Agents VIII: 8th International Workshop, CIA 2004, Erfurt, Germany, September 27-29, 2004, Proceedings |
4.A |
CIKM |
CIKM 2000: Information and Knowledge Management: Ninth International Conference on Information Knowledge Management, November 6-11, 2000, McLean, VA |
4.A |
CIKM |
CIKM 2001: Information and Knowledge Management: Tenth International Conference on Information and Knowledge Management: November 5-November 10, 2001, Atlanta, Georgia, USA |
4.A |
CIKM |
CIKM 2002: Information and Knowledge Management: Eleventh International Conference on Information and Knowledge Management, November 4-9, 2002, McLean, Virginia, USA |
4.A |
CIKM |
CIKM 2003: Information and Knowledge Management: Twelfth ACM Conference on Information and Knowledge Management: November 3-8, 2003, New Orleans, Louisiana, USA |
4.A |
CIKM |
CIKM 2004: Information and Knowledge Management: Thirteenth ACM Conference on Information and Knowledge Management: November 8-13, 2004, Washington, DC, USA |
4.A |
CIKM |
CIKM 2005: Information and Knowledge Management: 14th ACM International Conference on Information and Knowledge Management, October 31-November 5, 2005, Bremen, Germany |
4.A |
CIKM |
CIKM 2006: Information and Knowledge Management: 15th ACM Conference on Information and Knowledge Management. November 6-11, 2006, Arlington, VA, USA |
4.A |
CIKM |
CIKM '92: Information and Knowledge Management: Expanding the Definition of "Database": 1st International Conference, CIKM '92, Baltimore, Maryland, USA, November 8-11, 1992: selected papers |
4.A |
CIKM |
CIKM '94: Information and Knowledge Management: Third International Conference on Information and Knowledge Management, November 29-Dec. 2, 1994, Gaithersburg, Maryland. Proceedings.: [electronic resource] |
4.A |
CIKM |
CIKM '95: Information and Knowledge Management: Fourth International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, MD: [electronic resource] |
4.A |
CIKM |
CIKM '98: Information and Knowledge Management: Seventh International Conference on Information and Knowledge Management November 3-7, 1998, Bethesda, Maryland, USA |
4.A |
CIKM |
CIKM '99: Information and Knowledge Management: Eighth International Conference on Information Knowledge Management, November 2-6, 1999, Kansas City, Missouri |
4.A |
CI, YUNGUI |
New Generation Computing: Recent Research |
4.A |
CLEMENTI, ENRICO |
Biological and Artificial Intelligence Systems |
4.A |
CMC 1998 |
Cooperative Multimodal Communication: Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998: selected papers |
4.A |
COHN, A.G |
Artificial Intelligence and Its Applications |
4.A |
CONTEXT |
CONTEXT 1999: Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings |
4.A |
CONTEXT 2001 |
CONTEXT 2001: Modeling and Using Context: 3rd International and Interdisciplinary Conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001, Proceedings |
4.A |
CONTEXT 2003 |
CONTEXT 2003: Modeling and Using Context: 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings |
4.A |
CONTEXT 2005 |
CONTEXT 2005: Modeling and Using Context: 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings |
4.A |
CONTEXT 2007 |
CONTEXT 2007: Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings |
4.A |
CP |
CP 1995: Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19-22, 1995, Proceedings |
4.A |
CP |
CP 1996: Principles and Practice of Constraint Programming - CP96: Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996, Proceedings |
4.A |
CP |
CP 1997: Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997, Proceedings |
4.A |
CP |
CP 1998: Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings |
4.A |
CP |
CP 1999: Principles and Practice of Constraint Programming: 5th International Conference, CP99, Alexandria, VA, USA, October 11-14, 1999: Proceedings |
4.A |
CP |
CP 2000: Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000, Singapore, September 18-21, 2000, Proceedings |
4.A |
CP |
CP 2004: Principles and Practice of Constraint Programming - CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004: Proceedings |
4.A |
CSCLP |
CSCLP 2002: Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002: selected papers |
4.A |
CSCLP |
CSCLP 2003: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selected papers |
4.A |
CSCLP |
CSCLP 2004: 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 |
4.A |
DAI |
DAI 1995: Distributed Artificial Intelligence: Architecture and Modelling: First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995: proceedings |
4.A |
DAI |
DAI 1998: Multi-Agent Systems: Theories, Languages, and Applications: 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998: selected papers |
4.A |
DATIG, WILLIAM E |
An Introduction to Knowledge Processors: The Authoritative Guide to Machines that Think |
4.A |
DAVIES, ROY |
Intelligent Information Systems: Progress and Prospects |
4.A |
DE CALLATAY, ARMAND M |
Natural and Artificial Intelligence: Processor Systems Compared to the Human Brain |
4.A |
DECHTER, RINA |
Constraint Processing |
4.A |
DIAGRAMS |
DIAGRAMS 2000: Theory and Application of Diagrams: 1st International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000: Proceedings |
4.A |
DIGNUM, FRANK |
Agent-Mediated Electronic Commerce III: Current Issues in Agent-Based Electronic Commerce Systems |
4.A |
DISCO |
DISCO '90: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings |
4.A |
DISCO |
DISCO '92: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992: proceedings |
4.A |
DISCO |
DISCO '93: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993: proceedings |
4.A |
DISCO |
DISCO '96: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings |
4.A |
DISTRIBUTED |
Distributed Artificial Intelligence: Volume 1 |
4.A |
DISTRIBUTED |
Distributed Artificial Intelligence: Volume II: Vol. 2 |
4.A |
DOLD, A |
Symposium on Automatic Demonstration: held at Versailles, France, December 1968 |
4.A |
EASSS |
EASSS 2001: Multi-Agent Systems and Applications: 9th ECCAI Advanced Course, ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001, Selected Tutorial Papers |
4.A |
ECAI |
ECAI 1986: Advances in Artificial Intelligence - II: 7th European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20-25, 1986 |
4.A |
ECAI |
ECAI 1988: 8th European Conference on Artificial Intelligence, [Munich] August 1-5, 1988 |
4.A |
ECAI |
ECAI 2000: 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany: including Prestigious Applications of Intelligent Systems (PAIS-2000): proceedings |
4.A |
ECAI |
ECAI 2002: 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon France: including Prestigious Applications of Intelligent Systems (PAIS 2002): proceedings |
4.A |
ECAI |
ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain: including Prestigious Applicants [sic] of Intelligent Systems (PAIS 2004): proceedings |
4.A |
ECAI |
ECAI 2006: 17th European Conference on Artificial Intelligence, August 29-September 1, 2006, Riva del Garda, Italy: including Prestigious Applications of Intelligent Systems (PAIS 2006): proceedings |
4.A |
ECAI |
ECAI 2008: 18th European Conference on Artificial Intelligence, 21-25 July 2008, Patras, Greece: proceedings |
4.A |
ECAI |
ECAI 92: 10th European Conference on Artificial Intelligence, August 3-7, 1992, Vienna, Austria. proceedings |
4.A |
ECAI |
ECAI 94: 11th European Conference on Artificial Intelligence, August 8-12, 1994, Amsterdam, the Netherlandsproceedings |
4.A |
ECAI |
ECAI 98 Brighton: 13th European Conference on Artificial Intelligence, August 23-28, 1998, Brighton, UK: proceedings |
4.A |
ECAI |
Local Search for Planning and Scheduling: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000: revised papers |
4.A |
ECAL |
ECAL 1995: Advances in Artificial Life: Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995, Proceedings |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 2nd European Workshop, EWCBR-94, Chantilly, France, November 7-10, 1994: selected papers |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 3rd European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996: proceedings |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 4th European Workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998: proceedings |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000: proceedings |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 6th European Conference, ECCBR 2002, Aberdeen, Scotland, UK, September 4-7, 2002: proceedings |
4.A |
ECCBR |
Advances in Case-Based Reasoning: 7th European Conference, ECCBR 2004, Madrid, Spain, August 30-September 2, 2004: proceedings |
4.A |
ECCBR |
Topics in Case-Based Reasoning: 1st European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993: selected papers |
4.A |
ECP |
ECP 1999: Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings |
4.A |
ECSQARU |
ECSQARU 1991: Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU, Marseille, France, October 15-17, 1991, Proceedings |
4.A |
ECSQARU |
ECSQARU 1993: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993, Proceedings |
4.A |
ECSQARU |
ECSQARU 1995: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995, Proceedings |
4.A |
ECSQARU |
ECSQARU 1997: Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings |
4.A |
ECSQARU |
ECSQARU 1999: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings |
4.A |
ECSQARU |
ECSQARU 2001: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings |
4.A |
ECSQARU |
ECSQARU 2003: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003, Proceedings |
4.A |
ECSQARU |
ECSQARU 2005: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings |
4.A |
ECSQARU |
ECSQARU 2007: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings |
4.A |
ECSQARU |
ECSQARU 2009: Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings |
4.A |
EDELKAMP, STEFAN |
Heuristic Search: Theory and Applications |
4.A |
EJCIMKB |
EJCIMKB II: Advances in Information Modelling and Knowledge Bases |
4.A |
EJCIMKB |
EJCIMKB III: Information Modelling and Knowledge Bases III: foundations, theory and applications |
4.A |
EJCIMKB |
EJCIMKB I: Information Modelling and Knowledge Bases |
4.A |
EJCIMKB |
EJCIMKB IV: Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems |
4.A |
EJCIMKB |
EJCIMKB IX: Information Modelling and Knowledge Bases IX |
4.A |
EJCIMKB |
EJCIMKB VIII: Information Modelling and Knowledge Bases VIII |
4.A |
EJCIMKB |
EJCIMKB VII: Information Modelling and Knowledge Bases VII |
4.A |
EJCIMKB |
EJCIMKB VI: Information Modelling and Knowledge Bases VI |
4.A |
EJCIMKB |
EJCIMKB V: Information Modelling and Knowledge Bases V: principles and formal techniques |
4.A |
EJCIMKB |
EJCIMKB XIII: Information Modelling and Knowledge Bases XIII |
4.A |
EJCIMKB |
EJCIMKB XII: Information Modelling and Knowledge Bases XII |
4.A |
EJCIMKB |
EJCIMKB XI: Information Modelling and Knowledge Bases XI |
4.A |
EJCIMKB |
EJCIMKB X: Information Modelling and Knowledge Bases X |
4.A |
EJCIMKB |
EJCIMKB XIV: Information Modelling and Knowledge Bases XIV |
4.A |
EJCIMKB |
EJCIMKB XVII: Information Modelling and Knowledge Bases XVII |
4.A |
EJCIMKB |
EJCIMKB XVI: Information Modelling and Knowledge Bases XVI |
4.A |
EJCIMKB |
EJCIMKB XV: Information Modelling and Knowledge Bases XV |
4.A |
EKAW |
EKAW 2000: Knowledge Engineering and Knowledge Management: Methods, Models, and Tools: 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000: proceedings |
4.A |
EKAW |
EKAW 2002: Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web: 13th international conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002: proceedings |
4.A |
EKAW |
EKAW 2004: Engineering Knowledge in the Age of the Semantic Web: 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004: proceedings |
4.A |
EKAW |
EKAW '92: Current Developments in Knowledge Acquisition: 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992: proceedings |
4.A |
EKAW |
EKAW '94: A Future for Knowledge Acquisition: 8th European Knowledge Acquisition Workshop, EKAW '94, Hoegaarden, Belgium, September 1994: proceedings |
4.A |
EKAW |
EKAW '96: Advances in Knowledge Acquisition: 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996: proceedings |
4.A |
EKAW |
EKAW '97: Knowledge Acquisition, Modeling and Management: 10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997: proceedings |
4.A |
EKAW |
EKAW '99: Knowledge Acquisition, Modeling and Management: 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999: proceedings |
4.A |
ELITHORN, ALICK |
Artificial and Human Intelligence: Edited Review Papers Presented at the International NATO Symposium on Artificial and Human Intelligence |
4.A |
ELITHORN, ALICK |
Artificial and Human Thinking |
4.A |
ELLIPTIC |
Elliptic Problem Solvers: Proceedings of the Elliptic Problem Solvers Conference held in Santa Fe, New Mexico, June 30-July 2, 1980 |
4.A |
ELP |
ELP 1989: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings |
4.A |
ELP |
ELP 1991: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991, Proceedings |
4.A |
ELP |
ELP 1992: Extensions of Logic Programming: 3rd International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992, Proceedings |
4.A |
ELP |
ELP 1993: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993, Proceedings |
4.A |
ELP |
ELP 1996: Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996, Proceedings |
4.A |
EPIA |
EPIA 1989: 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings |
4.A |
EPIA |
EPIA 1991: 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991: proceedings |
4.A |
EPIA |
EPIA 1993: Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings |
4.A |
EPIA |
EPIA 1995: Progress in Artificial Intelligence: 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995: proceedings |
4.A |
EPIA |
EPIA 1999: Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA'99, Evora, Portugal, September 21-24, 1999, Proceedings |
4.A |
EPIA |
EPIA 2001: Progress in Artificial Intelligence: Knowledge Extraction, Multi-Agent Systems, Logic Programming and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001: proceedings |
4.A |
EPIA |
EPIA 2003: Progress in Artificial Intelligence: 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003: proceedings |
4.A |
ER |
ER 1993: Entity-Relationship Approach: ER '93: 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13-16, 1994: Proceedings |
4.A |
ER |
ER 1995: OOER '95: Object-Oriented and Entity-Relationship Modeling: 14th International Conference, Gold Coast, Australia, December 13-15, 1995, Proceedings |
4.A |
ER |
ER 1996: Conceptual Modeling - ER '96: 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings |
4.A |
ER |
ER 2000: Conceptual Modeling: 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000: proceedings |
4.A |
ER |
ER 2000 Workshops: Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000: proceedings |
4.A |
ER |
ER 2001: Conceptual Modeling: 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001: proceedings |
4.A |
ER |
ER 2001 Workshops: Conceptual Modeling for New Information Systems Technologies: HUMACS, DASWIS, ECOMO, and DAMA, Yokohama, November 27-30, 2001: revised papers |
4.A |
ER |
ER 2002: Conceptual Modeling: 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002: proceedings |
4.A |
ER |
ER 2002 Workshops: Advanced Conceptual Modeling Techniques: ECDM, MobiMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002: revised papers |
4.A |
ER |
ER 2003: Conceptual Modeling: 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003: proceedings |
4.A |
ER |
ER 2003 Workshops: Conceptual Modeling for Novel Application Domains: ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003: proceedings |
4.A |
ER |
ER 2004: Conceptual Modeling: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004: proceedings |
4.A |
ER |
ER 2004 Workshops: Conceptual Modeling for Advanced Application Domains: CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004: proceedings |
4.A |
ER |
ER 2006: Conceptual Modeling - ER 2006: 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006: Proceedings |
4.A |
ER |
ER 2007: Conceptual Modeling: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007: proceedings: [electronic resource] |
4.A |
ER |
ER 2007 Workshops: Advances in Conceptual Modeling: Foundations and Applications: ER 2007 workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007: proceedings |
4.A |
ER |
ER 2008: Advances in Conceptual Modeling - Challenges and Opportunities: ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008, Proceedings |
4.A |
ER |
ER '92: Entity-Relationship Approach - ER '92: 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992, Proceedings |
4.A |
ER |
ER '93: Entity-Relationship Approach: 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993: proceedings |
4.A |
ER |
ER '97: Conceptual Modeling: 16th International Conference on Conceptual Modeling, Los Angeles, California, USA, November 3-5, 1997: proceedings |
4.A |
ER |
ER '97 Workshops: Conceptual Modeling: Current Issues and Future Directions |
4.A |
ER |
ER '98: Conceptual Modeling: 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998: proceedings |
4.A |
ER |
ER '98 Workshops: Advances in Database Technologies: ER '98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998: proceedings |
4.A |
ER |
ER '99: Conceptual Modeling: 18th International Conference on Conceptual Modeling, Paris, France, November 15-18, 1999: proceedings |
4.A |
ER |
ER '99 Workshops: Advances in Conceptual Modeling: ER'99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999: proceedings |
4.A |
ERCIM / COMPULOG NET 1999 |
ERCIM / Compulog Net 1999: New Trends in Constraints: Joint ERCIM Compulog-Net workshop, Paphos, Cyprus, Greece, October 1999: selected papers |
4.A |
ESAW 2001 |
Engineering Societies in the Agents World II: Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001: revised papers |
4.A |
ESSLLI |
ESSLLI 1997: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop: Aix-en-Provence, France, August 11-22, 1997: revised lectures |
4.A |
ESWC |
ESWC 2007: The Semantic Web: Research and Applications: 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007: proceedings |
4.A |
EUROHAPTICS |
EuroHaptics 2008: Haptics: Perception, Devices and Scenarios: 6th International Conference, EuroHaptics 2008, Madrid, Spain, June 10-13, 2008, Proceedings |
4.A |
EUROSAM |
EUROSAM 1979: Symbolic and Algebraic Computation: EUROSAM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 |
4.A |
EUROSAM |
EUROSAM 1984: EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings |
4.A |
EWLR |
EWLR 1997: Learning Robots: 6th European Workshop, EWLR-6, Brighton, England, August 1-2, 1997, Proceedings |
4.A |
EWLR |
EWLR 1999: Advances in Robot Learning: 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999, Proceedings |
4.A |
EWSP |
EWSP 1991: European Workshop on Planning: EWSP '91, Sankt Augustin, FRG, March 18-19, 1991: proceedings |
4.A |
EWSP |
EWSP 1993: Current Trends in AI Planning: EWSP '93, 2nd European Workshop on Planning |
4.A |
EXPERT 1990 |
Expert Systems in Engineering: Principles and Applications: International Workshop, Vienna, Austria, September 24-26, 1990: proceedings |
4.A |
FAIR |
FAIR 1991: Fundamentals of Artificial Intelligence Research: International Workshop FAIR '91, Smolenice, Czechoslovakia, September 3-13, 1991: proceedings |
4.A |
FAPR |
FAPR '96: Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996: proceedings |
4.A |
FEIGENBAUM, EDWARD A |
Computers and Thought |
4.A |
FLACH, PETER A |
Future Directions in Artificial Intelligence: IFIP TC12 Founding Workshop Collected Papers |
4.A |
FLFP |
FLFP 1986: Foundations of Logic and Functional Programming Workshop: Trento, Italy, December 15-19, 1986: proceedings |
4.A |
FLOPS |
FLOPS 1999: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999: Proceedings |
4.A |
FLOPS |
FLOPS 2001: Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings |
4.A |
FOIS |
FOIS 1998: Formal Ontology in Information Systems: Proceedings of the First International Conference (FOIS'98), June 6-8, Trento, Italy |
4.A |
FOIS |
FOIS 2001: Formal Ontology in Information Systems: Collected Papers from the Second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA |
4.A |
FOIS |
FOIS 2004: Formal Ontology in Information Systems: Proceedings of the Third Conference (FOIS-2004) |
4.A |
FORBES, NANCY |
Imitation of Life: How Biology is Inspiring Computing |
4.A |
FORMAL |
FORMAL 1997: Formal Models of Agents: ESPRIT Project ModelAge Final Workshop, Selected Papers |
4.A |
FOX, MARK S |
Constraint-Directed Search: A Case-Study of Job-Shop Scheduling |
4.A |
FQAS |
FQAS 1998: Flexible Query Answering Systems: 3rd International Conference, FQAS '98, Roskilde, Denmark, May 13-15, 1998, Proceedings |
4.A |
FQAS |
FQAS 2000: Flexible Query Answering Systems: Recent Advances: 4th International Conference on Flexible Query Answering Systems, FQAS 2000, October 25.-28. 2000, Warsaw, Poland ; proceedings |
4.A |
FQAS |
FQAS 2002: Flexible Query Answering Systems: 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002: proceedings |
4.A |
FQAS |
FQAS 2004: Flexible Query Answering Systems: 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004 ; proceedings |
4.A |
FRUHWIRTH, THOM |
Essentials of Constraint Programming |
4.A |
GAMS, MATJAZ |
Weak intelligence: through the principle and paradox of multiple knowledge |
4.A |
GARDNER, ANNE VON DER LIETH |
An Artificial Intelligence Approach to Legal Reasoning |
4.A |
GENESERETH, MICHAEL R. |
Logical Foundations of Artificial Intelligence |
4.A |
GEVARTER, WILLIAM B |
Artificial Intelligence, Expert Systems, Computer Vision, and Natural Language Processing |
4.A |
GHALLAB, MALIK |
New Directions in AI Planning |
4.A |
GINSBERG, MATTHEW L |
Essentials of Artificial Intelligence |
4.A |
GLASGOW, JANICE |
Diagrammatic Reasoning: Cognitive and Computational Perspectives |
4.A |
GLORIOSO, ROBERT M |
Engineering Cybernetics |
4.A |
GLORIOSO, ROBERT M |
Engineering Intelligent Systems: Concepts, Theory, and Applications |
4.A |
GOERTZEL, BEN |
Artificial General Intelligence: With 42 figures and 16 tables |
4.A |
GÖRZ, G |
Handbuch der Kunstlichen Intelligenz |
4.A |
GUSGEN, HANS WERNER |
CONSAT: A System for Constraint Satisfaction |
4.A |
HAMMOND, KRISTIAN J |
Case-Based Planning: Viewing Planning as a Memory Task |
4.A |
HAMSCHER, WALTER |
Readings in model-based diagnosis |
4.A |
HANDBOOK 1 |
The Handbook of Artificial Intelligence: Volume 1: Vol. 1 |
4.A |
HANDBOOK 2 |
The Handbook of Artificial Intelligence: Volume 2: Vol. 1 |
4.A |
HANDBOOK 3 |
The Handbook of Artificial Intelligence: volume 3: Vol. 1 |
4.A |
HANDBOOK 4 |
The Handbook of Artificial Intelligence: Volume 4: Vol. 1 |
4.A |
HATON, JEAN-PAUL |
Fundamentals in Computer Understanding: Speech and Vision |
4.A |
HCI-AERO |
HCI-AERO 2002: Proceedings, International Conference on Human-Computer Interaction in Aeronautics |
4.A |
HELBIG, HERMANN |
Künstliche Intelligenz und automatische Wissensverarbeitung |
4.A |
HM |
HM 2006: Hybrid Metaheuristics: 3rd International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006 proceedings |
4.A |
HM |
HM 2007: Hybrid Metaheuristics: 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007: proceedings |
4.A |
HOFFMAN, FREDERICK |
Mathematical Aspects of Artificial Intelligence: American Mathematical Society short course, January 8-9, 1996, Orlando, Florida |
4.A |
HOFFMANN, JÖRG |
Utilizing problem structure in planning: a local search approach |
4.A |
HUHNS, MICHAEL N |
Readings in agents |
4.A |
HUNT, EARL B |
Artificial Intelligence |
4.A |
HUTTER, MARCUS |
Universal artificial intelligence: sequential decisions based on algorithmic probability |
4.A |
IAAI |
IAAI 1989: Innovative Applications of Artificial Intelligence |
4.A |
IAAI |
IAAI 1990: Innovative Applications of Artificial Intelligence 2 |
4.A |
IAAI |
IAAI 1991: Innovative Applications of Artificial Intelligence 3: Proceedings of the IAAI-91 Conference |
4.A |
IAAI |
IAAI 1992: Innovative Applications of Artificial Intelligence 4: Proceedings of the IAAI-92 Conference |
4.A |
IAAI |
IAAI 1993: Proceedings of the Fifth Innovative Applications of Artificial Intelligence Conference: July 11-15, 1993, Washington, DC |
4.A |
IAAI |
IAAI 1994: Proceedings of the Sixth Innovative Applications of Artificial Intelligence Conference: August 1-3, 1994, Seattle, Washington |
4.A |
IAAI |
IAAI 1995: Proceedings of the Seventh Innovative Applications of Artificial Intelligence Conference: August 21-23, 1995, Montréal, Québec |
4.A |
IAAI |
IAAI 2001: Proceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference: August 7-9, 2001, Seattle, Washington |
4.A |
IAAI |
IAAI 2003: Proceedings of the Fifteenth Innovative Applications of Artificial Intelligence Conference: August 12-14, 2003, Acapulco, Mexico |
4.A |
IAAI |
IAAI 2009: Proceedings of the Twenty-First Innovative Applications of Artificial Intelligence Conference: July 14-16, 2009, Pasadena, California, USA |
4.A |
IAAIL 1 |
IAAIL Workshop Series 1: 2nd International ODR workshop (odrworkshop.info) |
4.A |
IAAIL 2 |
IAAIL Workshop Series 2: Argumentation in Artificial Intelligence and Law |
4.A |
IAAIL 3 |
IAAIL Workshop Series 3: The Role of Knowledge in E-Government |
4.A |
IAAIL 4 |
IAAIL Workshop Series 4: LOAIT - Legal Ontologies and Artificial Intelligence Techniques |
4.A |
IAAIL 5 |
IAAIL Workshop Series 5: LEA 2005 - The Law of Electronic Agents |
4.A |
IATA |
IATA 1998: Intelligent Agents for Telecommunication Applications: Second International Workshop, IATA'98, Paris, France, July 4-7, 1998, Proceedings |
4.A |
IATA |
IATA 1999: Intelligent Agents for Telecommunication Applications: Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings |
4.A |
IBERAMIA |
IBERAMIA 1998: Progress in Artificial Intelligence - IBERAMIA 98: 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings |
4.A |
IBERAMIA-SBIA |
IBERAMIA-SBIA 2000: Advances in Artificial Intelligence: International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings |
4.A |
ICADL |
ICADL 2006: Digital Libraries: Achievements, Challenges, and Opportunities. 9th International Conference on Asian Digital Librarues, ICADL 2006, Kyoto, Japan, November 2006, Proceedings |
4.A |
ICADL |
ICADL 2007: Asian Digital Libraries: Looking Back 10 Years and Forging New Frontiers. 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings |
4.A |
ICAT |
ICAT 2006: Advances in Artificial Reality and Tele-Existence: 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006: proceedings |
4.A |
ICCBR 1995 |
Case-Based Reasoning Research and Development: 1st International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995: proceedings |
4.A |
ICCBR 1997 |
Case-Based Reasoning Research and Development: 2nd International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997: proceedings |
4.A |
ICCBR 1999 |
Case-Based Reasoning Research and Development: 3rd International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999: proceedings |
4.A |
ICCBR 2001 |
Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001: proceedings |
4.A |
ICCBR 2003 |
Case-Based Reasoning Research and Development: 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003: proceedings |
4.A |
ICCS |
ICCS 1992: Conceptual Structures: Theory and Implementation: 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992, Proceedings |
4.A |
ICCS |
ICCS 2009: Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings |
4.A |
ICCS 1993 |
ICCS '93: Conceptual Graphs for Knowledge Representation: 1st International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993: proceedings |
4.A |
ICCS 1994 |
ICCS '94: Conceptual Structures: Current Practices: 2nd International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA, August 16-20, 1994: proceedings |
4.A |
ICCS 1995 |
ICCS '95: Conceptual Structures: Applications, Implementation, and Theory: 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995: proceedings |
4.A |
ICCS 1996 |
ICCS '96: Conceptual Structures: Knowledge Representation as Interlingua: 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996: proceedings |
4.A |
ICCS 1997 |
ICCS '97: Conceptual Structures: Fulfilling Peirce's Dream: 5th International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997: proceedings |
4.A |
ICCS 1998 |
ICCS '98: Conceptual Structures: Theory, Tools, and Applications: 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998: proceedings |
4.A |
ICCS 1999 |
ICCS '99: Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999: proceedings |
4.A |
ICCS 2000 |
ICCS 2000: Conceptual Structures: Logical, Linguistic, and Computational Issues: 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000: proceedings |
4.A |
ICCS 2001 |
ICCS 2001: Conceptual Structures: Broadening the Base: 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001: proceedings |
4.A |
ICCS 2002 |
ICCS 2002: Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002: proceedings |
4.A |
ICCS 2003 |
ICCS 2003: Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003: proceedings |
4.A |
ICCS 2004 |
ICCS 2004: Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004: proceedings |
4.A |
ICCS 2005 |
ICCS 2005: Conceptual Structures: Common Semantics for Sharing Knowledge: 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005: proceedings |
4.A |
ICCS 2006 |
ICCS 2006: Conceptual Structures: Inspiration and Application: 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006: proceedings |
4.A |
ICCS 2007 |
ICCS 2007: Conceptual Structures: 15th International Workshops on Conceptual Structures |
4.A |
ICCS 2008 |
ICCS 2008: Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 2008, Proceedings |
4.A |
ICFCA |
ICFCA 2004: Concept Lattices: 2nd International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004: proceedings |
4.A |
ICFCA |
ICFCA 2005: Formal Concept Analysis: 3rd International Conference, ICFCA 2005, Lens, France, February 14-18, 2005: proceedings |
4.A |
ICFCA |
ICFCA 2006: Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006: proceedings |
4.A |
ICFCA |
ICFCA 2007: Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007: proceedings |
4.A |
ICIC |
ICIC 2006: Intelligent Computing: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006: proceedings |
4.A |
ICIC |
ICIC 2007: Advanced Intelligent Computing Theories and Applications: With Aspects of Theoretical and Methodological Issues: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007: proceedings |
4.A |
ICIC |
ICIC 2008: Advanced Intelligent Computing Theories and Applications: With Aspects of Theoretical and Methodological Issues: 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings |
4.A |
ICLP |
ICLP 2004: Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004: Proceedings |
4.A |
ICMAS 1995 |
ICMAS-95: 1st International Conference on Multi-Agent Systems June 12-14, 1995, San Francisco, California |
4.A |
ICMAS 1996 |
ICMAS-96: 2nd International Conference on Multi-Agent Systems, December 10-13, 1996, Kyoto, Japan |
4.A |
ICNC |
ICNC 2006 P 1: Advances in Natural Computation, Part 1: 2nd International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006: proceedings |
4.A |
ICNC |
ICNC 2006 P 2: Advances in Natural Computation, Part 2: 2nd International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006: proceedings |
4.A |
IFIP |
IFIP 1985: Fifth Generation Computer Architectures: Proceedings of the IFIP TC 10 Working Conference on Fifth Generation Computer Architectures, Manchester, U.K., 15-18 July, 1985 |
4.A |
IJCAI |
IJCAI 1969: Proceedings of the International Joint Conference on Artificial Intelligence: IJCAI-69: 7-9 May 1969, Washington, D.C. |
4.A |
IJCAI |
IJCAI 1991 V1: Proceedings of the Twelfth International Conference on Artificial Intelligence: IJCAI-91: Volume 1: Darling Harbour, Sydney, Australia, 24-30 August 1991 |
4.A |
IJCAI |
IJCAI 1991 V2: Proceedings of the Twelfth International Conference on Artificial Intelligence: IJCAI-91: Volume 2: Darling Harbour, Sydney, Australia, 24-30 August 1991 |
4.A |
IJCAI |
IJCAI 1991 Workshop: Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991, Proceedings |
4.A |
IJCAI |
IJCAI 1993 Workshop: Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993, Proceedings |
4.A |
IJCAI |
IJCAI 1993 Workshop: Fuzzy Logic in Artificial Intelligence: IJCAI '93 Workshop, Chamberry, France, August 28, 1993, Proceedings |
4.A |
IJCAI |
IJCAI 1995 Workshop: Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems: IJCAI '95 Workshop, Montréal, Canada, August 19-21, 1995, Selected Papers |
4.A |
IJCAI |
IJCAI 1997 Workshop: Fuzzy Logic in Artificial Intelligence: IJCAI'97 Workshop, Nagoya, Japan, August 23-24, 1997, Selected and Invited Papers |
4.A |
IJCAI |
IJCAI 2007 V1: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence: Hyderabad, India, 6-12 January, 2007 |
4.A |
IJCAI |
IJCAI 2007 V2: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence: Hyderabad, India, 6-12 January, 2007 |
4.A |
IJCAI |
IJCAI 2009 V1: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: Pasadena, California, USA, July 11-17, 2009, Volume One |
4.A |
IJCAI |
IJCAI 2009 V2: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: Pasadena, California, USA, July 11-17, 2009, Volume Two |
4.A |
IJCAI |
IJCAI 2009 V3: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence: Pasadena, California, USA, July 11-17, 2009, Volume Three |
4.A |
IJCAI 1971 |
IJCAI-71: 2nd International Joint Conference on Artificial Intelligence: 1-3 September 1971, Imperial College, London: proceedings |
4.A |
IJCAI 1973 |
IJCAI-73: 3rd International Joint Conference on Artificial Intelligence: 20-23 August, 1973, Standford University, Standford, California: advance papers of the conference |
4.A |
IJCAI 1975 |
IJCAI-75: 4th International Joint Conference on Artificial Intelligence: 3-8 September 1975 Tbilisi, Georgia, USSR: advance papers |
4.A |
IJCAI 1977 V 1 |
IJCAI-77: 5th International Joint Conference on Artificial Intelligence: volume 1: Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, August 22-25, 1977: proceedings |
4.A |
IJCAI 1977 V 2 |
IJCAI-77: 5th International Joint Conference on Artificial Intelligence: volume 2: Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, August 22-25, 1977: proceedings |
4.A |
IJCAI 1979 V 1 |
IJCAI-79: 6th International Joint Conference on Artificial Intelligence: volume 1: Tokyo, August 20-23, 1979: proceedings |
4.A |
IJCAI 1979 V 2 |
IJCAI-79: 6th International Joint Conference on Artificial Intelligence: volume 2: Tokyo, August 20-23, 1979: proceedings |
4.A |
IJCAI 1981 V 1 |
IJCAI-81: 7th International Joint Conference on Artificial Intelligence: volume 1: 24-28 August 1981, University of British Columbia Vancouver, B.C., Canada: proceedings |
4.A |
IJCAI 1981 V 2 |
IJCAI-81: 7th International Joint Conference on Artificial Intelligence: volume 2: 24-28 August 1981, University of British Columbia Vancouver, B.C., Canada: proceedings |
4.A |
IJCAI 1983 V 1 |
IJCAI-83: 8th International joint conference on artificial intelligence: volume 1: 8-12 August 1983, Karlsruhe, West Germany: proceedings |
4.A |
IJCAI 1983 V 2 |
IJCAI-83: 8th International joint conference on artificial intelligence: volume 2: 8-12 August 1983, Karlsruhe, West Germany: proceedings |
4.A |
IJCAI 1985 V 1 |
IJCAI-85: 9th International Joint Conference on Artificial Intelligence: volume 1: August 18-23, 1985, Los Angeles, California: proceedings |
4.A |
IJCAI 1985 V 2 |
IJCAI-85: 9th International Joint Conference on Artificial Intelligence: volume 2: August 18-23, 1985, Los Angeles, California: proceedings |
4.A |
IJCAI 1987 V 1 |
IJCAI-87: 10th International Joint Conference on Artificial Intelligence: volume 1: Milan, August 23-28, 1987: proceedings |
4.A |
IJCAI 1987 V 2 |
IJCAI-87: 10th International Joint Conference on Artificial Intelligence: volume 2: Milan, August 23-28, 1987: proceedings |
4.A |
IJCAI 1989 V 1 |
IJCAI-89 :11th International Joint Conference on Artificial Intelligence: volume 1: August 20-25, 1989, Detroit, Michigan, USA: proceedings |
4.A |
IJCAI 1989 V 2 |
IJCAI-89 :11th International Joint Conference on Artificial Intelligence: volume 2: August 20-25, 1989, Detroit, Michigan, USA: proceedings |
4.A |
IJCAI 1991 |
The Next Generation of Information Systems: From Data to Knowledge: A Selection of Papers Presented at two IJCAI -91 workshops, Sydney, Australia, August 1991 |
4.A |
IJCAI 1993 V 1 |
IJCAI-93: 13th International Joint Conference on Artificial Intelligence: volume 1: Chambéry, France, August 28-September 3, 1993: proceedings |
4.A |
IJCAI 1993 V 2 |
IJCAI-93: 13th International Joint Conference on Artificial Intelligence: volume 2: Chambéry, France, August 28-September 3, 1993: proceedings |
4.A |
IJCAI 1995 V 1 |
IJCAI-95: 14th International Joint Conference on Artificial Intelligence: volume 1: Montréal, Québec, Canada, August 20-25, 1995: proceedings |
4.A |
IJCAI 1995 V 2 |
IJCAI-95: 14th International Joint Conference on Artificial Intelligence: volume 2: Montréal, Québec, Canada, August 20-25, 1995: proceedings |
4.A |
IJCAI 1997 V 1 |
IJCAI-97: 15th International Joint Conference on Artificial Intelligence: volume 1: Nagoya, Japan, August 23-29, 1997: proceedings |
4.A |
IJCAI 1997 V 2 |
IJCAI-97: 15th International Joint Conference on Artificial Intelligence: volume 2: Nagoya, Japan, August 23-29, 1997: proceedings |
4.A |
IJCAI 1999 V 1 |
IJCAI-99: 16th International Joint Conference on Artificial Intelligence: volume 1: Stockholm, Sweden, July 31 - August 6, 1999: proceedings |
4.A |
IJCAI 1999 V 2 |
IJCAI-99: 16th International Joint Conference on Artificial Intelligence: volume 2: Stockholm, Sweden, July 31 - August 6, 1999: proceedings |
4.A |
IJCAI 2001 V 1 |
IJCAI 2001: 17th International Joint Conference on Artificial Intelligence: volume 1: Seattle, Washington, USA, August 4-10, 2001: proceedings |
4.A |
IJCAI 2001 V 2 |
IJCAI 2001: 17th International Joint Conference on Artificial Intelligence: volume 2: Seattle, Washington, USA, August 4-10, 2001: proceedings |
4.A |
IJCAI 2003 |
IJCAI 2003: 18th International Joint Conference on Artificial Intelligence: Acapulco, Mexico, August 9-15, 2003: proceedings |
4.A |
IJCAI 2005 |
IJCAI 2005: 19th International Joint Conference on Artificial Intelligence: Edinburgh, Scotland, July 30 - August 5, 2005 |
4.A |
IJCAR |
IJCAR 2006: Automated Reasoning: [electronic resource] /: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
4.A |
IJCAR |
IJCAR 2008: Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings |
4.A |
IJCAR 2001 |
Automated Reasoning: 1st International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: proceedings |
4.A |
IJCAR 2004 |
Automated Reasoning: 2nd International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004: proceedings |
4.A |
INCE, D. C |
Mechanical Intelligence: Collected works of A. M. Turing |
4.A |
INEX |
INEX 2006: Comparative Evaluation of XML Information Retrieval Systems: 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006: revised and selected papers |
4.A |
INTELLIGENT |
Intelligent Systems Volume II: Third Golden West International Conference: edited and Selected Papers |
4.A |
INTELLIGENT |
Intelligent Systems Volume I: Third Golden West International Conference: Edited and Selected Papers |
4.A |
IPMU |
IPMU '90: Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, Proceedings |
4.A |
IPMU |
IPMU '94: Advances in Intelligent Computing: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994: selected papers |
4.A |
IPMU 1986 |
IMPU '86: Uncertainty in Knowledge-Based Systems: International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems: Paris, France, June 30-July 4, 1986: selected and extended contributions |
4.A |
IPMU 1988 |
IPMU '88: Uncertainty and Intelligent Systems: 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU '88), Urbino, Italy, July 4-7, 1988: proceedings |
4.A |
IPMU 1992 |
IPMU '92: Advanced Methods in Artificial Intelligence: 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992: proceedings |
4.A |
ISICA |
ISICA 2007: Advances in Computation and Intelligence: Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007: proceedings |
4.A |
IS/KI |
IS/KI 1990: Information Systems and Artificial Intelligence: Integration Aspects: 1st Workshop, Ulm, FRG, March 19-21, 1990: Proceedings |
4.A |
IS/KI |
IS/KI 1994: Management and Processing of Complex Data Structures: 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28-March 2, 1994: proceedings |
4.A |
ISMB 1993 |
ISMB 1993: First International Conference on Intelligent Systems for Molecular Biology: Proceedings. National Library of Medicine, Bethesda, MD. July 6-9, 1993 |
4.A |
ISMB 1995 |
ISMB 1995: Third International Conference on Intelligent Systems for Molecular Biology: Proceedings. Robinson College, Cambridge, England, July 16-19, 1995 |
4.A |
ISMB 1996 |
ISMB 1996: Fourth International Conference on Intelligent Systems for Molecular Biology: Proceedings. Washington University, St. Louis, Missouri, June 12-15, 1996 |
4.A |
ISMB 1997 |
ISMB 1997: Fifth International Conference on Intelligent Systems for Molecular Biology: Proceedings. Halkidiki, Greece, June 21-26 1997 |
4.A |
ISMB 1998 |
ISMB 1998: Sixth International Conference on Intelligent Systems for Molecular Biology: Proceedings. Montreal, Quebec, Canada, June 28 - July 1, 1998 |
4.A |
ISMB 1999 |
ISMB 1999: Seventh International Conference on Intelligent Systems for Molecular Biology: Proceedings. Heidelberg, Germany, August 6-10, 1999 |
4.A |
ISMB 2000 |
ISMB 2000: Eight International Conference on Intelligent Systems for Molecular Biology: Proceedings, La Jolla, California, August 16-23, 2000 |
4.A |
ISMIS |
ISMIS 1993: Methodologies for Intelligent Systems: 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings |
4.A |
ISMIS |
ISMIS 1997: Foundations of Intelligent Systems: 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings |
4.A |
ISMIS |
ISMIS 2000: Foundations of Intelligent Systems: 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings |
4.A |
ISMIS 1991 |
ISMIS 1991: Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings |
4.A |
ISMIS 1994 |
ISMIS 1994: Methodologies for Intelligent Systems: 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings |
4.A |
ISMIS 1996 |
ISMIS 1996: Foundations of Intelligent Systems: 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings |
4.A |
ISMIS 1999 |
ISMIS 1999: Foundations of Intelligent Systems: 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings |
4.A |
ISMIS 2002 |
ISMIS 2002: Foundations of Intelligent Systems: 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings |
4.A |
ISMIS 2003 |
ISMIS 2003: Foundations of Intelligent Systems: 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings |
4.A |
ISWC/ASWC |
ISWC/ASWC 2007: The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007: proceedings |
4.A |
IVA 2001 |
Intelligent Virtual Agents: 3rd International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001: proceedings |
4.A |
IWINAC |
IWINAC 2007 P II: Nature Inspired Problem-Solving Methods in Knowledge Engineering: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings |
4.A |
IWINAC |
IWINAC 2007 P I: Second International Work-Conference on the Interplay Between Natural and Artificial Computation: IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings |
4.A |
JACKSON, PHILIP C |
Introduction to Artificial Intelligence |
4.A |
JCKBSE 2000 |
Knowledge-Based Software Engineering: Proceedings of the 4th Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000 |
4.A |
JCKBSE 2002 |
Knowledge-Based Software Engineering: Proceedings of the 5th Joint Conference on Knowledge-Based Software Engineering |
4.A |
JCKBSE 2004 |
Knowledge-Based Software Engineering: Proceedings of the 6th Joint Conference on Knowledge-Based Software Engineering |
4.A |
JCKBSE 2006 |
Knowledge-Based Software Engineering: Proceedings of the 7th Joint Conference on Knowledge-based Software Engineering |
4.A |
JELIA 1990 |
JELIA '90: Logics in AI: European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990: proceedings |
4.A |
JELIA 1992 |
JELIA '92: Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992: proceedings |
4.A |
JELIA 1994 |
JELIA '94: Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994: proceedings |
4.A |
JELIA 1996 |
JELIA '96: Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996: proceedings |
4.A |
JELIA 1998 |
JELIA '98: Logics in Artificial Intelligence: European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998: proceedings |
4.A |
JELIA 2000 |
JELIA 2000: Logics in Artificial Intelligence: European workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000: proceedings |
4.A |
JELIA 2002 |
JELIA 2002: Logics in Artificial Intelligence: 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002: proceedings |
4.A |
JELIA 2004 |
JELIA 2004: Logics in Artificial Intelligence: 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004: proceedings |
4.A |
JODS |
JoDS 01: Journal on Data Semantics I |
4.A |
JODS |
JoDS 02: Journal on Data Semantics II |
4.A |
JODS |
JoDS 03: Journal on Data Semantics III |
4.A |
JODS |
JoDS 04: Journal on Data Semantics IV |
4.A |
JODS |
JoDS 05: Journal on Data Semantics V: [electronic resource] |
4.A |
JODS |
JoDS 06: Journal on Data Semantics VI: Special Issue on Emergent Semantics |
4.A |
JODS |
JoDS 07: Journal on Data Semantics VII |
4.A |
JODS |
JoDS 08: Journal on Data Semantics VIII |
4.A |
JODS |
JoDS 09: Journal on Data Semantics IX |
4.A |
JODS |
JoDS 10: Journal on Data Semantics X: [electronic resource] |
4.A |
JOHNSON, JEFFREY |
Mechatronics: Designing Intelligent Machines: Volume 2: Concepts in Artificial Intelligence |
4.A |
JOHNSON, W. LEWIS |
Intention-Based Diagnosis of Novice Programing Errors |
4.A |
JSAI 2001 |
New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop: Post-Proceedings |
4.A |
KAUFMANN, A |
Graphs, Dynamic Programming, and Finite Games |
4.A |
KBCS |
KBCS 1989: Knowledge Based Computer Systems: International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings |
4.A |
KBSE'95 |
KBSE'95: 10th Knowledge-Based Software Engineering Conference, Boston, Massachusetts, November 12-15, 1995 |
4.A |
KBSE'96 |
KBSE'96: 11th Knowledge-based Software Engineering Conference. Syracuse, New York. September 25-28, 1996 |
4.A |
K-CAP |
K-CAP 2001: First International Conference on Knowledge Capture: October 21-23, 2001, Victoria, British Columbia, Canada |
4.A |
K-CAP |
K-CAP 2003: Proceedings of the Second International Conference on Knowledge Capture: October 23-26, 2003, Florida, USA |
4.A |
K-CAP |
K-CAP 2005: Proceedings of the Third International Conference on Knowledge Capture: October 2-5, 2005, Banff, Alberta, Canada |
4.A |
K-CAP |
K-CAP 2007: Proceedings of the Fourth International Conference on Knowledge Capture: Whistler, British Columbia, Canada, October 28-31, 2007 |
4.A |
KI |
GWAI-81: 5th German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 |
4.A |
KI |
GWAI-82: 6th German Workshop on Artificial Intelligence, Bad Honnef, September 1982 |
4.A |
KI |
GWAI-83: 7th German Workshop on Artificial Intelligence, Dassel/Solling, September 19-23, 1983 |
4.A |
KI |
GWAI-84: 8th German Workshop on Artificial Intelligence, Wingst/Stade, October 8-12, 1984 |
4.A |
KI |
GWAI-85: 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985 |
4.A |
KI |
GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992: proceedings |
4.A |
KI |
KI 1994: Advances in Artificial Intelligence: 18th German annual Conference on Artificial Intelligence, Saarbrucken, Germany, September 18-23, 1994: proceedings |
4.A |
KI |
KI 1995: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld,AGermany, September 11-13, 1995: proceedings |
4.A |
KI |
KI 1996: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996: proceedings |
4.A |
KI |
KI 1997: Advances in Artificial Intelligence: 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 1997: proceedings |
4.A |
KI |
KI 1998: Advances in Artificial Intelligence: 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998: proceedings |
4.A |
KI |
KI 1999: Advances in Artificial Intelligence: 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings |
4.A |
KI |
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001: proceedings |
4.A |
KI |
KI 2002: Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002: proceedings |
4.A |
KI |
KI 2003: Advances in Artificial Intelligence: 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003: proceedings |
4.A |
KI |
KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004: proceedings |
4.A |
KI |
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings |
4.A |
KI |
KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings |
4.A |
KI |
KI 2007: Advances in Artificial Intelligence. 30th Annual German Conference on AI, KI 2007, Osnabruck, Germany, September 2007. Proceedings. |
4.A |
KI |
KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings |
4.A |
KI |
KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings |
4.A |
KIRSH, DAVID |
Foundations of Artificial Intelligence |
4.A |
KITANO, HIROAKI |
Massively Parallel Artificial Intelligence |
4.A |
KLIX, FRIEDHART |
Human and Artificial Intelligence |
4.A |
KOGNITIOTIEDE 1991 |
Kognitiotiede ja koneäly: seminaari 20. 3. 1991, Helsingin yliopisto |
4.A |
KR |
KR 2000: Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000 |
4.A |
KR |
KR 2002: Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference, Toulouse, France, April 22-25, 2002 |
4.A |
KR |
KR 2004: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004) |
4.A |
KR |
KR 2006: Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006) |
4.A |
KR |
KR 2008: Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning: Sydney, Australia, September 16-19, 2008 |
4.A |
KR |
KR 2010: Proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning: Toronto, Ontario, Canada, May 9-13, 2010 |
4.A |
KR 1989 |
KR '89: Principles of Knowledge Representation and Reasoning. Proceedings of the First International Conference.: Toronto, Ontario, Canada, May 15-18, 1989: proceedings |
4.A |
KR 1991 |
KR '91: Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference: Cambridge, Massachusetts, April 22-25, 1991 |
4.A |
KR 1992 |
KR '92: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, Cambridge, Massachusetts, October 25-29, 1992 |
4.A |
KR 1994 |
KR '94: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR'94), Bonn, Germany, May 24-27, 1994 |
4.A |
KR 1996 |
KR '96: Principles of Knowledge Representation and Reasoning: Proceedings of the fifth international conference, Cambridge, Massachusetts, November 5-8, 1996 |
4.A |
KR 1998 |
KR '98: Principles of Knowledge Representation and Reasoning: proceedings of the sixth international conference, Trento, Italy, June 2-5, 1998 |
4.A |
KRAS |
KRAS '05: Proceedings of the 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems: November 5, 2005, Bremen, Germany co-located with CIKM 2005 |
4.A |
KREUTZER, WOLFGANG |
Programming for Artificial Intelligence: Methods, Tools and Applications |
4.A |
LAVALLE, STEVEN MICHAEL |
Planning Algorithms |
4.A |
LEAKE, DAVID B |
Case-Based Reasoning: Experiences, Lessons, & Future Directions |
4.A |
LENZ, MARIO |
Case-Based Reasoning Technology: From Foundations to Applications |
4.A |
LOGIC |
LOGIC 1985: Logic Programming '85: Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 |
4.A |
LOGIC |
LOGIC 1986: Logic Programming '86: Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 |
4.A |
LOGIC |
LOGIC 1987: Logic Programming '87: Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987 |
4.A |
LOGIC |
LOGIC 1988: Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 |
4.A |
LOGIC |
LOGIC 1989: Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 |
4.A |
LOGIC |
Logic Programming 1986: Third International Conference on Logic Programming: London, United Kingdom, July 1986. Proceedings. |
4.A |
LOGIC |
Logic Programming 1987 V 1: Fourth International Vonference, Volume 1: Vol. 1 |
4.A |
LOGIC |
Logic Programming 1987 V 2: Fourth International Conference, Volume 2: Vol. 1 |
4.A |
LOGIC |
Logic Programming 1989 V 1: North American Conference, 1989, Volume 1: Vol. 2 |
4.A |
LOGIC |
Logic Programming 1989 V 2: North American Conference, 1989, Volume 2: Vol. 2 |
4.A |
LOGIC |
Logic Programming 1991: Eighth International Conference |
4.A |
LOGIC |
Logic Programming 1992: Joint International Conference and Symposium on Logic Programming |
4.A |
LOGIC |
Logic Programming 1993: Logic Programming: Proceedings of the Tenth International Conference on Logic Programming |
4.A |
LOGIC |
Logic Programming 1993: Tenth International Conference |
4.A |
LOGIC |
Logic Programming 1994: Eleventh International Conference. Proceedings of the 1994 International Symposium |
4.A |
LOGIC |
Logic Programming 1995: Logic Programming: Proceedings of the Twelfth International Conference |
4.A |
LOGIC |
Logic Programming 1997: Fourteenth International Conference on Logic Programming. Proceedings of the 1997 International Symposium |
4.A |
LOGIC |
Logic Programming 1998: Joint International Conference and Symposium on Logic Programming (JICSLP'98) |
4.A |
LOGIC |
Logic Programming 1999: Sixteenth International Conference on Logic Programming |
4.A |
LOGICS OF PROGRAMS |
Logics of Programs 1981: Proceedings 1981 |
4.A |
LOGICS OF PROGRAMS |
Logics of Programs 1983: Proceedings 1983 |
4.A |
LOGICS OF PROGRAMS |
Logics of Programs 1985: Proceedings 1985 |
4.A |
LOGICS OF PROGRAMS |
Logics of Programs and Their Applications 1980: Proceedings, Poznan, August 23-29, 1980 |
4.A |
LOIA, VINCENZO |
Soft computing agents: a new perspective for dynamic information systems |
4.A |
LOMAPS |
LOMAPS 1996: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996: selected papers |
4.A |
LOPSTR |
LOPSTR 1994: Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994, Proceedings |
4.A |
LOPSTR |
LOPSTR 1995: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings |
4.A |
LOPSTR |
LOPSTR 1996: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings |
4.A |
LOPSTR |
LOPSTR 1997: Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings |
4.A |
LOPSTR |
LOPSTR 1998: Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers |
4.A |
LOPSTR |
LOPSTR 1999: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR '99, Venice, Italy, September 22-24, 1999, Selected Papers |
4.A |
LOPSTR |
LOPSTR 2000: Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000, Selected Papers |
4.A |
LOPSTR |
LOPSTR 2004: Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers |
4.A |
LOPSTR |
LOPSTR 2006: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006: revised selected papers |
4.A |
LOPSTR |
LOPSTR 2007: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007: Revised Selected Papers |
4.A |
LPAR |
LPAR 1990 / 1991: Logic Programming: 1st Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: 2nd Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings |
4.A |
LPAR |
LPAR 2000: Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000: proceedings |
4.A |
LPAR |
LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001: proceedings |
4.A |
LPAR |
LPAR 2002: Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002: proceedings |
4.A |
LPAR |
LPAR 2003: Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003: proceedings |
4.A |
LPAR |
LPAR 2004: Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings |
4.A |
LPAR |
LPAR 2005: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings |
4.A |
LPAR |
LPAR 2006: Logic for Programming, Artificial Intelligence, and Reasoning: 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006: proceedings |
4.A |
LPAR |
LPAR '92: Logic Programming and Automated Reasoning: 3rd International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992: proceedings |
4.A |
LPAR |
LPAR '93: Logic Programming and Automated Reasoning: 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993: proceedings |
4.A |
LPAR |
LPAR '94: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994: proceedings |
4.A |
LPAR |
LPAR '99: Logic for Programming and Automated Reasoning: 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999: proceedings |
4.A |
LPKR |
LPKR 1997: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97: Port Jefferson, New York, USA, October 1997: selected papers |
4.A |
LPNMR |
LPNMR 2001: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001: proceedings |
4.A |
LPNMR |
LPNMR 2004: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004: proceedings |
4.A |
LPNMR |
LPNMR 2005: Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005: proceedings |
4.A |
LPNMR |
LPNMR 2007: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings |
4.A |
LPNMR |
LPNMR '93: Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop |
4.A |
LPNMR |
LPNMR '95: Logic Programming and Nonmonotonic Reasoning: 3rd International Conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995: proceedings |
4.A |
LPNMR |
LPNMR '97: Logic Programming and Nonmonotonic Reasoning: 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997: proceedings |
4.A |
LPNMR |
LPNMR '99: Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999: proceedings |
4.A |
LUGER, GEORGE F |
Artificial Intelligence: Structures and Strategies for Complex Problem Solving |
4.A |
LUGER, GEORGE F |
Computation and Intelligence: Collected Readings |
4.A |
LUNGARELLA, MAX |
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence |
4.A |
MA |
MA 1997: Mobile Agents: First International Workshop, MA '97, Berlin, Germany, April 7-8, 1997, Proceedings |
4.A |
MA |
MA 1998: Mobile Agents: Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998, Proceedings |
4.A |
MA |
MA 2000: Agent Systems, Mobile Agents, and Applications: Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000, Proceedings |
4.A |
MAAMAW |
MAAMAW 1992: Artificial Social Systems: 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29-31, 1992, Selected Papers |
4.A |
MAAMAW |
MAAMAW 1993: From Reaction to Cognition: 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchâtel, Switzerland, August 25-27, 1993, Selected Papers |
4.A |
MAAMAW |
MAAMAW 1994: Distributed Software Agents and Applications: 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 3-5, 1994, Proceedings |
4.A |
MAAMAW |
MAAMAW 1996: Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'96, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings |
4.A |
MAAMAW |
MAAMAW 1999: Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99, Valencia, Spain, June 30 - July 2, 1999, Proceedings |
4.A |
MABS |
MABS 1998: Multi-Agent Systems and Agent-Based Simulation: First International Workshop, MABS'98, Paris, France, July 4-6, 1998, Proceedings |
4.A |
MACHINE |
Machine Intelligence 1 |
4.A |
MACHINE |
Machine Intelligence 10: Intelligent Systems: Practice and Perspective |
4.A |
MACHINE |
Machine Intelligence 11: Logic and the Acquisition of Knowledge |
4.A |
MACHINE |
Machine Intelligence 12: Towards an Automated Logic of Human Thought |
4.A |
MACHINE |
Machine Intelligence 13: Machine Intelligence and Inductive Learning |
4.A |
MACHINE |
Machine Intelligence 14: Applied Machine Intelligence |
4.A |
MACHINE |
Machine Intelligence 15: Intelligent Agents |
4.A |
MACHINE |
Machine Intelligence 2 |
4.A |
MACHINE |
Machine Intelligence 3 |
4.A |
MACHINE |
Machine Intelligence 4 |
4.A |
MACHINE |
Machine Intelligence 5 |
4.A |
MACHINE |
Machine Intelligence 6 |
4.A |
MACHINE |
Machine Intelligence 7 |
4.A |
MACHINE |
Machine Intelligence 8 |
4.A |
MACHINE |
Machine Intelligence 9 |
4.A |
MARÍK, VLADIMÍR |
Advanced Topics in Artificial Intelligence: International Summer School, Prague, Czechoslovakia, July 6-17, 1992, Proceedings |
4.A |
MARRIOTT, KIM |
Programming with constraints: an introduction |
4.A |
MAYBURY, MARK T |
New Directions in Question Answering |
4.A |
MCCARTHY, JOHN |
Defending AI Research: A Collection of Essays and Reviews |
4.A |
MECHANISATION 1958 V 1 |
Mechanisation of Thought Processes: Volume 1: Proceedings of a Symposium held at the National Physical Laboratory on 24th, 25th, 26th and 27th November 1958 |
4.A |
MECHANISATION 1958 V 2 |
Mechanisation of Thought Processes: Volume 2: Proceedings of a Symposium Held at the National Physical Laboratory on 24th, 25th, 26th and 27th November 1958 |
4.A |
MEERSMAN, R. A |
Artificial Intelligence in Databases and Information Systems (DS-3): Proceedings of the IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, Guangzhou, PR China, 4-8 July, 1988 |
4.A |
MEYER, ALBERT R |
Research Directions in Computer Science: An MIT Perspective |
4.A |
MEYER, MANFRED |
Constraint Processing: Selected Papers |
4.A |
MIGUEL, IAN |
Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning |
4.A |
MITTAL, VIBHU O |
Assistive Technology and Artificial Intelligence: Applications in Robotics, User Interfaces and Natural Language Processing |
4.A |
MOTO-OKA, T |
Fifth Generation Computer Systems: Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981 |
4.A |
MULTI-AGENT |
Multi-Agent 1996: Multi-Agent Systems: Methodologies and Applications: Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996, Selected Papers |
4.A |
MYLES, MAXFIELD |
Biophysics and Cybernetic Systems: Proceedings of the Second Cybernetic Sciences Symposium |
4.A |
MYLOPOULOS, JOHN |
Readings in artificial intelligence and databases |
4.A |
NARAYANAN, AJIT |
Law, Computer Science and Artificial Intelligence |
4.A |
NARAYANAN, AJIT |
On Being a Machine: Volume 1: Formal Aspects of Artificial Intelligence |
4.A |
NARAYANAN, AJIT |
On Being a Machine: Volume 2: Philosophy of Artificial Intelligence |
4.A |
NAREYEK, ALEXANDER |
Constraint-Based Agents: An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds |
4.A |
NEC 1993 |
NEC Research Symposium 1993: cognitive processing for vision & voice: proceedings of the Fourth NEC Research Symposium |
4.A |
NEMES, T |
Cybernetic Machines |
4.A |
NEURAL 1993 |
Neural Network Research in Finland: Symposium 21, January 1993, Åbo Akademi, Turku, Finland |
4.A |
NICKLES, MATTHIAS |
Agents and Computational Autonomy: Potential, Risks, and Solutions |
4.A |
NILSSON, NILS J |
Principles of Artificial Intelligence |
4.A |
NISENFELD, A. ELI |
Artificial Intelligence Handbook: Volume 1: Principles |
4.A |
NISENFELD, A. ELI |
Artificial Intelligence Handbook: Volume 2: Applications |
4.A |
NISHIDA, T |
Dynamic Knowledge Interaction |
4.A |
NMELP 1994 |
NMELP '94: Non-Monotonic Extensions of Logic Programming: ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994: selected papers |
4.A |
NMELP 1996 |
NMELP '96: Non-Monotonic Extensions of Logic Programming: 2nd International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996: selected papers |
4.A |
NORVIG, PETER |
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp |
4.A |
NWANA, HYACINTH SAMA |
Software agents and soft computing: towards enhancing machine intelligence: concepts and applications |
4.A |
O'HARE, G. M. P |
Foundations of Distributed Artificial Intelligence |
4.A |
OSSOWSKI, SASCHA |
Co-ordination in Artificial Agent Societies: Social Structures and Its Implications for Autonomous Problem-Solving Agents |
4.A |
PADGET, JULIAN A |
Collaboration between Human and Artificial Societies: Coordination and Agent-Based Distributed Computing |
4.A |
PAIVA, ANA |
Affective Interactions: Towards a New Generation of Computer Interfaces |
4.A |
PAL, SANKAR K |
Foundations of Soft Case-Based Reasoning |
4.A |
PAL, SANKAR K |
Soft computing in case based reasoning |
4.A |
PARALLEL |
Parallel Processing for Artificial Intelligence 1 |
4.A |
PARALLEL |
Parallel Processing for Artificial Intelligence 2 |
4.A |
PARALLEL |
Parallel Processing for Artificial Intelligence 3 |
4.A |
PARTRIDGE, DEREK |
The Foundations of Artificial Intelligence: A Sourcebook |
4.A |
PCK50 |
PCK50: Principles of Computing & Knowledge: Paris C. Kanellakis Memorial Workshop, on the Occasion of His 50th birthday: San Diego, California, USA, June 8th, 2003 |
4.A |
PDK 1991 |
PDK '91: Processing Declarative Knowledge: International Workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991: proceedings |
4.A |
PELITI, LUCA |
Measures of Complexity: Proceedings of the Conference held in Rome, September 30 - October 2, 1987 |
4.A |
PLILP |
PLILP 1990: Programming Language Implementation and Logic Programming: International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990, Proceedings |
4.A |
PLILP |
PLILP 1991: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991, Proceedings |
4.A |
PLILP |
PLILP 1992: Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992, Proceedings |
4.A |
PLILP |
PLILP 1994: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994, Proceedings |
4.A |
PLILP |
PLILP 1995: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings |
4.A |
PLILP |
PLILP 1996: Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24-27, 1996, Proceedings |
4.A |
PLILP |
PLILP 1997: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings |
4.A |
PLILP |
PLILP 1998: Principles of Declarative Programming: 10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings |
4.A |
POPOVIC, DOBRIVOJE |
Methods and Tools for Applied Artificial Intelligence |
4.A |
PPSN |
PPSN III: Parallel Problem Solving from Nature: International Conference on Evolutionary Computation, the 3rd Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994: proceedings |
4.A |
PPSN |
PPSN I: Parallel Problem Solving from Nature: 1st workshop, PPSN I, Dortmund, FRG, October 1-3, 1990: proceedings |
4.A |
PPSN |
PPSN IV: Parallel Problem Solving from Nature: International Conference on Evolutionary Computation: the 4th Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996: proceedings |
4.A |
PPSN |
PPSN IX: Parallel Problem Solving from Nature: 9th International Conference, Reykjavik, Iceland, September 9-13, 2006: proceedings |
4.A |
PPSN |
PPSN VIII: Parallel Problem Solving from Nature: 8th International Conference, Birmingham, UK, September 18-22, 2004: proceedings |
4.A |
PPSN |
PPSN VII: Parallel Problem Solving from Nature: 7th International Conference, Granada, Spain, September 7-11, 2002: proceedings |
4.A |
PPSN |
PPSN VI: Parallel Problem Solving from Nature: 6th International Conference, Paris, France, September 18-20, 2000: proceedings |
4.A |
PPSN |
PPSN V: Parallel Problem Solving from Nature: 5th International Conference, Amsterdam, The Netherlands, September 1998: proceedings |
4.A |
PRICAI |
PRICAI 1996 Workshop: Intelligent Agent Systems: Theoretical and Practical Issues: Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996 |
4.A |
PRICAI |
PRICAI 2000: Topics in Artificial Intelligence. 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28-September 1, 2000: proceedings |
4.A |
PRICAI |
PRICAI 2000 WORKSHOPS: Advances in Artificial Intelligence: PRICAI 2000 workshop reader: four workshops held at PRICAI 2000, Melbourne, Australia, August 28-September 1, 2000: revised papers |
4.A |
PRICAI |
PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002: proceedings |
4.A |
PRICAI |
PRICAI 2004: Trends in Artificial Intelligence: 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004: proceedings |
4.A |
PRICAI |
PRICAI '96: Topics in Artificial Intelligence: 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings |
4.A |
PRICAI |
PRICAI '98: Topics in Artificial Intelligence: 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998: proceedings |
4.A |
PRIETULA, MICHAEL J |
Simulating organizations: computational models of institutions and groups |
4.A |
PRIMA |
PRIMA 1998: Multiagent Platforms: First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998, Selected Papers |
4.A |
PRIMA |
PRIMA 1999: Approaches to Intelligent Agents: Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999, Proceedings |
4.A |
PRIMA |
PRIMA 2000: Design and Applications of Intelligent Agents: Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000, Melbourne, Australia, August 28-29, 2000, Proceedings |
4.A |
PRIMA |
PRIMA 2001: Intelligent Agents: Specification, Modeling, and Applications: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings |
4.A |
RAS, ZBIGNIEW W |
Intelligent Systems: State of the Art and Future Directions |
4.A |
REVUE |
Revue d'intelligence artificielle: volume 3, No. 2, 1989 |
4.A |
RICH, ELAINE |
Artificial Intelligence |
4.A |
ROSENBLOOM, PAUL S |
The Soar papers: research on integrated intelligence: volume 1 |
4.A |
ROSENBLOOM, PAUL S |
The Soar papers: research on integrated intelligence: volume 2 |
4.A |
ROSENSCHEIN, JEFFREY S |
Rules of encounter: designing conventions for automated negotiation among computers |
4.A |
ROUGH |
Rough 06: Transactions on Rough Sets VI: Commemorating the Life and Work of Zdzis±aw Pawlak: [electronic resource] |
4.A |
ROUGH |
Rough 08: Transactions on Rough Sets VIII |
4.A |
RR |
RR 2007: Web Reasoning and Rule Systems: 1st International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007: proceedings |
4.A |
RR |
RR 2008: Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008, Proceedings |
4.A |
RSFDGRC |
RSFDGrC 1999: New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999, Proceedings |
4.A |
RSFDGRC |
RSFDGrC 2007: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007: proceedings |
4.A |
RUSSELL, STUART |
Artificial Intelligence: A Modern Approach |
4.A |
RUSSELL, STUART J |
Artificial Intelligence: A Modern Approach |
4.A |
RUSSELL, STUART J |
Do the Right Thing: Studies in Limited Rationality |
4.A |
SAB |
SAB 2006: Swarm Robotics: Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006: revised selected papers |
4.A |
SBIA |
SBIA 1995: Advances in Artificial Intelligence: 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings |
4.A |
SCHAEFFER, JONATHAN |
One Jump Ahead: Computer Perfection at Checkers |
4.A |
SCHÄFERS, LARS |
Parallel Monte-Carlo Tree Search for HPC Systems and its Application to Computer Go |
4.A |
SCHALKOFF, ROBERT J |
Artificial Intelligence: An Engineering Approach |
4.A |
SCHANK, ROGER C |
Inside Computer Understanding: Five Programs Plus Miniatures |
4.A |
SCHMID, UTE |
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning |
4.A |
SCHUMACHER, MICHAEL |
Objective Coordination in Multi-Agent System Engineering: Design and Implementation |
4.A |
SETLIFF, DOROTHY |
Knowledge-Based Software Engineering |
4.A |
SHAPIRO, EHUD Y |
Algorithmic Program Debugging |
4.A |
SHAPIRO, STUART CHARLES |
Encyclopedia of Artificial Intelligence V1: Volume 1: A-N |
4.A |
SHAPIRO, STUART CHARLES |
Encyclopedia of Artificial Intelligence V2: Volume 2: O-Z |
4.A |
SHARPLES, MIKE |
Computers and Thought: A Practical Introduction to Artificial Intelligence |
4.A |
SHROBE, HOWARD E |
Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence |
4.A |
SIMULATION |
From Animals to Animats 8: Proceedings of the Seventh [i.e. Eighth] International Conference on Simulation of Adaptive Behavior |
4.A |
SINGH, MUNINDAR P |
Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications |
4.A |
SKARMEAS, NIKOLAOS |
Agents as Objects with Knowledge Base State |
4.A |
SLEEMAN, D |
Artificial Intelligence |
4.A |
SNEPS 1989 |
Current Trends in SNePS - Semantic Network Processing System: First Annual SNePS Workshop, Buffalo, NY, November 13, 1989: proceedings |
4.A |
STARK, W. RICHARD |
LISP, Lore, and Logic: An algebraic View of LISP Programming, Foundations, and Applications |
4.A |
STEFIK, MARK |
Introduction to Knowledge Systems |
4.A |
STEP |
STEP 1992 V 1: Tekoälyn uudet suunnat (New directions in artificial intelligence): vol 1: esitelmät (conference papers): Suomen Tekoälytutkimuksen päivät (Finnish Artificial Intelligence Conference), STeP-92, Teknillinen korkeakoulu, 9-11. 6. 1992, Otaniemi, Finland |
4.A |
STEP |
STEP 1992 V 2: Tekoälyn uudet suunnat (New directions in artificial intelligence): vol 1: symposiot (symposia): Suomen Tekoälytutkimuksen päivät (Finnish Artificial Intelligence Conference), STeP-92, Teknillinen korkeakoulu, 9-11. 6. 1992, Otaniemi, Finland |
4.A |
STEP |
STEP 1992 V 3: Tekoälyn uudet suunnat (New directions in artificial intelligence): vol 3: työkokoukset (workshops): Suomen Tekoälytutkimuksen päivät (Finnish Artificial Intelligence Conference), STeP-92, Teknillinen korkeakoulu, 9-11. 6. 1992, Otaniemi, Finland |
4.A |
STEP |
STEP 1994: Multiple Paradigms for Artificial Intelligence: Conference on Artificial Intelligence Research in Finland (Suomen Tekoälytutkimuksen päivät) STeP-92, Turku Technology Center, 29-31 August 1992 [sic!], Turku: proceedings of contributed session papers |
4.A |
STRATEGIC |
Strategic computing: new-generation computing technology: a strategic plan for its development and application to critical problems in defense |
4.A |
SUN, RON |
Computational Architectures Integrating Neural and Symbolic Processes: A Perspective on the State of the Art |
4.A |
SZUBA, TADEUSZ M |
Computational Collective Intelligence |
4.A |
TANIMOTO, STEVEN L |
The Elements of Artificial Intelligence: An Introduction Using LISP |
4.A |
TARK |
TARK 1986: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 conference, March 19-22, 1986, Monterey, California |
4.A |
TARK |
TARK 1988: Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, March 7-9, 1988, Pacific Grove, California |
4.A |
TARK |
TARK 1990: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference, March 4-7, 1990, Pacific Grove, California |
4.A |
TARK |
TARK 1992: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fourth Conference, March 22-25, 1992, Monterey, California |
4.A |
TARK |
TARK 1994: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fifth Conference, March 13-16, 1994, Pacific Grove, California |
4.A |
TARK |
TARK 2001: Theoretical Aspects of Rationality and Knowledge: Proceedings of the Eighth Conference (TARK 2001), July 8-10, 2001, Certosa di Pontignano, University of Siena, Italy |
4.A |
TARK |
TARK 2003: Theoretical Aspects of Rationality and Knowledge: Proceedings of the Ninth Conference (TARK 2003) |
4.A |
TARK |
TARK 2005: Theoretical Aspects of Rationality and Knowledge: Proceedings of the Tenth Conference (TARK 2005), June 10-12, 2005, National University of Singapore, Singapore |
4.A |
TATE, AUSTIN |
Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative |
4.A |
TECUCI, GHEORGHE |
Building Intelligent Agents: An Apprenticeship Multistrategy Learning Theory, Methodology, Tool and Case Studies |
4.A |
TEKOÄLY |
Tekoäly 2 |
4.A |
TELLO, ERNEST R |
Object-Oriented Programming for Artificial Intelligence: A Guide to Tools and System Design |
4.A |
UAI |
UAI 1985: Uncertainty in Artificial Intelligence 1 |
4.A |
UAI |
UAI 1986: Uncertainty in Artificial Intelligence 2 |
4.A |
UAI |
UAI 1987: Uncertainty in Artificial Intelligence 3 |
4.A |
UAI |
UAI 1988: Uncertainty in Artificial Intelligence 4 |
4.A |
UAI |
UAI 1989: Uncertainty in Artificial Intelligence 5 |
4.A |
UAI |
UAI 1990: Uncertainty in Artificial Intelligence 6 |
4.A |
UAI |
UAI 1991: Uncertainty in Artificial Intelligence 7: Proceedings of the Seventh Conference, July 13-15, 1991, University of California, Los Angeles |
4.A |
UAI |
UAI 1992: Uncertainty in Artificial Intelligence 8: Proceedings of the Eighth Conference, July 17-19, 1992, Standford University |
4.A |
UAI |
UAI 1993: Uncertainty in Artificial Intelligence 9: Proceedings of the Ninth conference (1993), July 9-11, 1993 |
4.A |
UAI |
UAI 1994: Uncertainty in Artificial Intelligence 10: Proceedings of the Tenth Conference (1994), July 29-31, 1994 |
4.A |
UAI |
UAI 1995: Uncertainty in Artificial Intelligence 11: Proceedings of the Eleventh Conference, August 18-20, 1995, McGill University, Montreal, Quebec, Canada |
4.A |
UAI |
UAI 1996: Uncertainty in Artificial Intelligence 12: Proceedings of the Twelfth Conference (1996), August 1-4, 1996, Reed College, Portland, Oregon, USA |
4.A |
UAI |
UAI 1997: Uncertainty in Artificial Intelligence 13: Proceedings of the Thirteenth Conference (1997), August 1-3, 1997, Brown College, Providence, Rhode Island, USA |
4.A |
UAI |
UAI 1998: Uncertainty in Artificial Intelligence 14: Proceedings of the Fourteenth Conference (1998), July 24-26, 1998, University of Wisconsin, Madison, Wisconsin, USA |
4.A |
UAI |
UAI 1999: Uncertainty in Artificial Intelligence 15: Proceedings of the Fifteenth Conference (1999), July 30-August 1, 1999, Royal Institute of Technology (KTH), Stockholm, Sweden |
4.A |
UAI |
UAI 2000: Uncertainty in Artificial Intelligence 16: Proceedings of the Sixteenth Conference (2000), June 30-July 3, 2000, Stanford University, Stanford, California |
4.A |
UAI |
UAI 2001: Uncertainty in Artificial Intelligence 17: Proceedings of the Seventeenth Conference (2001), August 2-5, 2001, University of Washington, Seattle, Washington |
4.A |
UAI |
UAI 2002: Uncertainty in Artificial Intelligence 18: Proceedings of the Eighteenth Conference (2002), August 1-4, 2002, University of Alberta, Edmonton |
4.A |
UAI |
UAI 2003: Uncertainty in Artificial Intelligence 19: Proceedings of the Nineteenth Conference (2003), August 7-10, 2003, Acapulco, Mexico |
4.A |
UAI |
UAI 2004: Uncertainty in Artificial Intelligence 20: Proceedings of the Twentieth Conference (2004), July 7-11, 2004, Banff, Canada |
4.A |
UAI |
UAI 2005: Uncertainty in Artificial Intelligence 21: Proceedings of the Twenty-First Conference (2005), July 26-29, 2005, Edinburgh, Scotland |
4.A |
UAI |
UAI 2006: Uncertainty in Artificial Intelligence: Proceedings of the Twenty-Second Conference, July 13-16, 2006, Cambridge, MA |
4.A |
UAI |
UAI 2008: Uncertainty in Artificial Intelligence 24: Proceedings of the Twenty-Fourth Conference (2008), July 9-12, 2008 |
4.A |
UHR, LEONARD MERRICK |
Multi-Computer Architectures for Artificial Intelligence: Toward Fast, Robust, Parallel Systems |
4.A |
VAN HENTENRYCK, PASCAL |
Constraint Satisfaction in Logic programming |
4.A |
VANLEHN, KURT |
Architectures for Intelligence: the 22nd Carnegie Mellon Symposium on Cognition |
4.A |
VON FOERSTER, HEINZ |
Purposive Systems: First Annual Symposium of ASC The American Society for Cybernetics |
4.A |
VON MARTIAL, FRANK |
Coordinating Plans of Autonomous Agents |
4.A |
VW 1998 |
Virtual worlds: 1st international conference, VW '98, Paris, France, July 1-3, 1998: proceedings |
4.A |
WAH, BENJAMIN |
Computers for Artificial Intelligence Applications: Tutorial |
4.A |
WAHLGREN, PETER |
Automation of Legal Reasoning: A Study on Artificial Intelligence and Law |
4.A |
WALTON, DOUGLAS |
Argumentation Methods for Artificial Intelligence in Law |
4.A |
WATERMAN, D. A |
Pattern-Directed Inference Systems |
4.A |
WEBBER, BONNIE LYNN |
Readings in artificial intelligence: a collection of articles |
4.A |
WEISS, GERHARD |
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence |
4.A |
WELD, DANIEL S |
Theories of comparative analysis |
4.A |
WERTZ, H |
Automatic Correction and Improvement of Programs |
4.A |
WILENSKY, ROBERT |
Planning and Understanding: A Computational Approach to Human Reasoning |
4.A |
WILKINS, DAVID EDWARD |
Practical Planning: Extending the Classical AI Planning Paradigm |
4.A |
WINOGRAD, TERRY |
Understanding Computers and Cognition: A New Foundation for Design |
4.A |
WINSTON, PATRICK HENRY |
Artificial Intelligence: an MIT Perspective: Volume 1: Expert Problem Solving, Natural Language Understanding, Intelligent Computer Coaches, Representation and Learning |
4.A |
WINSTON, PATRICK HENRY |
Artificial Intelligence: an MIT Perspective: Volume 2: Understanding Vision, Manipulation, Computer Design, Symbol Manipulation |
4.A |
WINSTON, PATRICK HENRY |
Artificial Intelligence at MIT: Expanding Frontiers: Volume 1 |
4.A |
WINSTON, PATRICK HENRY |
Artificial Intelligence at MIT: Expanding Frontiers: Volume 2 |
4.A |
WINTER, H |
Artificial Intelligence and Man-Machine Systems: Proceedings of an International Seminar Organized by Deutsche Forschungs- und Versuchsanstalt fur Luft- und Raumfahrt (DFVLR), Bonn, Germany, May 1986 |
4.A |
WOBCKE, WAYNE |
Agents and Multi-Agent Systems: Formalisms, Methodologies, and Applications: Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 |
4.A |
WOLLIC |
WoLLIC 2007: Logic, Language, Information, and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007: proceedings |
4.A |
WOOLDRIDGE, MICHAEL J |
Reasoning about rational agents |
4.A |
WOOLRIDGE, MICHAEL J |
Artificial Intelligence Today: Recent Trends and Developments |
4.A |
WOSS |
WOSS 2002: First ACM SIGSOFT Workshop on Self-Healing Systems (WOSS '02): November 18-19, 2002, Charleston, South Carolina, USA |
4.A |
WWAI |
WWAI 1988: Who's Who in Artificial Intelligence: Update '88 |
4.A |
XPS |
XPS-99: Knowledge-Based Systems: Survey and Future Directions: 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999, Proceedings |
4.A |
XSYM |
XSYM 2007: Database and XML Technologies: 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007: proceedings |
4.A |
YAZDANI, MASOUD |
Artificial Intelligence: Principles and Applications |