Lecture notes in computer science, Lecture notes in artificial intelligence
Resource Information
The series Lecture notes in computer science, Lecture notes in artificial intelligence represents a set of related resources, especially of a specified kind, found in Missouri University of Science & Technology Library.
The Resource
Lecture notes in computer science, Lecture notes in artificial intelligence
Resource Information
The series Lecture notes in computer science, Lecture notes in artificial intelligence represents a set of related resources, especially of a specified kind, found in Missouri University of Science & Technology Library.
- Label
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Title part
- Lecture notes in artificial intelligence
A sample of Items in the Series Lecture notes in computer science, Lecture notes in artificial intelligence See All
Context
Context of Lecture notes in computer science, Lecture notes in artificial intelligenceMembers
No resources found
No enriched resources found
- A perspective of constraint-based reasoning : an introductory tutorial
- A resolution principle for a logic with restricted quantifiers
- A tight, practical integration of relations and functions
- AI '88 : 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988 : proceedings
- AI 2001 : advances in artificial intelligence : 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001 : proceedings
- AI 2002 : advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
- AI 2003 : advances in artificial intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003 : proceedings
- AI 2004 : advances in artificial intelligence : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004 : proceedings
- AI 2005 : advances in artificial intelligence : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005 : proceedings
- AI 2006 : advances in artificial intelligence : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006 : proceedings
- AI 2007 : advances in artificial intelligence : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007 : proceedings
- AI 2008 : advances in artificial intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008, proceedings
- AI 2009 : advances in artificial intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009 : proceedings
- AI 2010 : advances in artificial intelligence : 23rd Australasian joint conference, Adelaide, Australia, December 2010 : proceedings
- AI*IA 2001 : advances in artificial intelligence : 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 2001 : proceedings
- AI*IA 2003 : advances in artificial intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003 : proceedings
- AI*IA 2005 : advances in artificial intelligence : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005 ; proceedings
- AI*IA 2007 : artificial intelligence and human-oriented computing : 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007 ; proceedings
- AI*IA 2009 : emergent perspectives in artificial intelligence : XIth international conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009 : proceedings
- AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 : proceedings
- AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers
- Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings
- Abstraction, reformulation, and approximation : 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
- Abstraction, reformulation, and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
- Abstraction, reformulation, and approximation : 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings
- Active mining : second international workshop, AM 2003, Maebashi, Japan, October 28, 2003 : revised selected papers
- Adaptive agents and multi-agent systems III : adaptation and multi-agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems : revised selected papers
- Adaptive agents and multi-agent systems, adaptation and multi-agent learning
- Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello" Vietri sul Mare, Salerno, Italy, September 6-13 1997, tutorial lectures
- Advanced data mining and applications : 4th international conference, ADMA 2010, Chengdu, China, November 19-21, 2010 : proceedings., Part I
- Advanced data mining and applications : 5th international conference, ADMA 2009, Beijing, China, August 17-19, 2009 : proceedings
- Advanced data mining and applications : 8th international conference, ADMA 2012, Nanjing, China, December 15-18, 2012 : proceedings
- Advanced data mining and applications : first international conference, ADMA 2005, Wuhan, China, July 22-24, 2005 : proceedings
- Advanced data mining and applications : second international conference, ADMA 2006, Xi'an, China, August 14-16, 2006 : proceedings
- Advanced data mining and applications : third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 : proceedings
- Advanced data mining and applications : third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 : proceedings
- Advanced information systems engineering : 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings
- Advanced lectures on machine learning : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003 [and] Tübingen, Germany, August 4-16, 2003 : revised lectures
- Advanced lectures on machine learning : Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002 : revised lectures
- Advanced topics in artificial intelligence : 10th Australian Joint Conference on Artificial Intelligence, AI'97, Perth, Australia, November 30- December 4, 1997, proceedings
- Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers
- Advanced topics in artificial intelligence : 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999 : proceedings
- Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August 7, 1987
- Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings
- Advances in Web intelligence : First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 2003, proceedings
- Advances in Web intelligence : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004, proceedings
- Advances in agent communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers
- Advances in applied artificial intelligence : 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006 : proceedings
- 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
- Advances in artificial intelligence : 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Québec, Canada, May 14-17, 2000 : proceedings
- 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
- Advances in artificial intelligence : 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998 : proceedings
- Advances in artificial intelligence : 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002 : proceedings
- Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings
- Advances in artificial intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003 : proceedings
- Advances in artificial intelligence : 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004 : proceedings
- Advances in artificial intelligence : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005 : proceedings
- Advances in artificial intelligence : 19th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2006, Québec City, Québec, Canada, June 7-9, 2006 : proceedings
- Advances in artificial intelligence : 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007 : proceedings
- Advances in artificial intelligence : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008 : proceedings
- Advances in artificial intelligence : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, Kelowna, Canada, May 25-27, 2009 : proceedings
- Advances in artificial intelligence : 23rd Canadian Conference on Artificial Intelligence, Canadian AI 2010, Ottawa, Canada, May 31 - June 2, 2010 : proceedings
- Advances in artificial intelligence : 4th Helenic [i.e. Hellenic] Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006 : proceedings
- Advances in artificial intelligence : PRICAI 2000 workshop reader : four workshops held at PRICAI 2000, Melbourne, Australia, August 28- September 1, 2000 : revised papers
- Advances in artificial intelligence : SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings
- Advances in artificial intelligence : SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings
- Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings
- 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
- Advances in artificial intelligence-- IBERAMIA 2004 : 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004 : proceedings
- Advances in artificial intelligence--IBERAMIA-SBIA 2006 : 2nd international joint conference: 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006 : proceedings
- Advances in artificial life : 5th European Conference, ECAL'99, Lausanne, Switzerland, September 13-17, 1999 : proceedings
- Advances in artificial life : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001 : proceedings
- Advances in artificial life : 8th European conference, ECAL 2005, Canterbury, UK, September 5-9, 2005 : proceedings
- Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings
- Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings
- Advances in case-based reasoning : 6th European conference, ECCBR 2002, Aberdeen, Scotland, UK, September 4-7, 2002 : proceedings
- Advances in case-based reasoning : 7th European conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004 : proceedings
- Advances in case-based reasoning : 9th European conference, ECCBR 2008, Trier, Germany, September 1-4, 2008 : proceedings
- Advances in case-based reasoning : Second European Workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers
- Advances in data mining : [medical applications, e-commerce, marketing, and theoretical aspects] : 8th industrial conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008 : proceedings
- Advances in data mining : applications and theoretical aspects : 10th industrial conferences, ICDM 2010, Berlin, Germany, July 12-14, 2010 : proceeedings
- Advances in data mining : applications and theoretical aspects : 11th industrial conference, ICDM 2011, New York, NY, August 30-September 3, 2011 : proceedings
- Advances in data mining : applications and theoretical aspects ; 9th industrial conference, ICDM 2009, Leipzig, Germany, July 20-22, 2009 : proceedings
- Advances in data mining : applications in E-commerce, medicine, and knowledge management
- Advances in data mining : applications in image mining, medicine and biotechnology, management and environmental control, and telecommunications : 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4-7, 2004 : revised selected papers
- Advances in data mining : applications in medicine, web mining, marketing, image and signal mining : 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006 : proceedings
- Advances in data mining : theoretical aspects and applications : 7th industrial conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007 : proceedings
- Advances in hybrid information technology : first international conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006 : revised selected papers
- Advances in knowledge acquisition and management : Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006 : revised selected papers
- Advances in knowledge discovery and data mining : 10th Asia-Pacific Conference, PAKDD 2006, Singapore, April 9-12, 2006 : proceedings
- Advances in knowledge discovery and data mining : 11th Pacific-Asia conference, PAKDD 2007, Nanjing, China, May 22-25, 2007 ; proceedings
- Advances in knowledge discovery and data mining : 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 : proceedings
- Advances in knowledge discovery and data mining : 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 : proceedings
- Advances in knowledge discovery and data mining : 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009 ; proceedings
- Advances in knowledge discovery and data mining : 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings
- Advances in knowledge discovery and data mining : 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings. Part II
- Advances in knowledge discovery and data mining : 5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings
- Advances in knowledge discovery and data mining : 6th Pacific-Asia conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002 : proceedings
- Advances in knowledge discovery and data mining : 7th Pacific-Asia Conference, PAKDD 2003, Seoul. Korea, April 30-May 2, 2003 : proceedings
- Advances in knowledge discovery and data mining : 8th Pacific-Asia conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004 : proceedings
- Advances in knowledge discovery and data mining : 9th Pacific-Asia conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005 ; proceedings
- Advances in learning classifier systems : 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers
- Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers
- Advances in machine learning : first Asian conference on machine learning, ACML 2009, Nanjing, China, November 2-4, 2009 ; proceedings
- Advances in machine learning and cybernetics : 4th international conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005 : revised selected papers
- Advances in mass data analysis of images and signals in medicine, biotechnology, chemistry, and food industry : Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 : proceedings
- Advances in mass data analysis of signals and images in medicine, biotechnology, and chemistry : international conferences, MDA 2006/2007, Leipzig, Germany, July 18, 2007 : selected papers
- Advances in natural language processing : 4th international conference, EsTAL 2004, Alicante, Spain, October 20-22, 2004 : proceedings
- Advances in natural language processing : 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006 : proceedings
- Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
- Advances in natural language processing : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 : proceedings
- Advances in natural language processing : 8th international conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012 : proceedings
- Advances in natural language processing : third international conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002 : proceedings
- Advances in nonlinear speech processing : International Conference on Nonlinear Speech Processing, NOLISP 2007, Paris, France, May 22-25, 2007 : revised selected papers
- Advances in plan-based control of robotic agents : international seminar, Dagstuhl Castle, Germany, October 21-26, 2001 : revised papers
- Advances in robot learning : 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999 : proceedings
- Advances in soft computing : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010 : proceedings, part 2
- Advances in soft computing : AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcutta, India, February 3-6, 2002 : proceedings
- Advances in web intelligence : Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005 : proceedings
- Advances in web mining and web usage analysis : 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004 : revised selected papers
- Advances in web mining and web usage analysis : 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005 : revised papers
- Advances in web mining and web usage analysis : 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006, Philadelphia, PA, USA, August 20, 2006 : revised papers
- Advances in web mining and web usage analysis : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007 : revised papers
- Affective dialogue systems : tutorial and research workshop, ADS 2004, Kloster Irsee, Germany, June 14-16, 2004 ; proceedings
- Affective interactions : toward a new generation of computer interfaces
- Agent and multi-agent systems : technologies and applications : 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29-July 1, 2011 : proceedings
- Agent and multi-agent systems : technologies and applications : first KES international symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007 : proceedings
- Agent and multi-agent systems: technologies and applications : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010 ; proceedings
- Agent communication : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004 : revised, selected and invited papers
- Agent communication II : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006 : selected and revised papers
- Agent computing and multi-agent systems : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 ; revised papers
- Agent computing and multi-agent systems : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006 : proceedings
- Agent mediated electronic commerce : selected papers
- Agent mediated electronic commerce : the European agentlink perspective
- Agent mediated electronic commerce II : towards next-generation agent-based electronic commerce systems
- Agent-based hybrid intelligent systems : an agent-based fromework for complex problem solving
- Agent-mediated electronic commerce : automated negotiation and strategy design for electronic markets : AAMAS 2006 workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006 : selected and revised papers
- Agent-mediated electronic commerce III : current issues in agent-based electronic commerce systems
- Agent-mediated electronic commerce IV : designing mechanisms and systems
- Agent-mediated electronic commerce V : designing mechanisms and systems
- Agent-mediated electronic commerce VI : AAMAS 2004 workshop, AMEC 2004, New York, NY, USA, July 19, 2004 : revised selected papers
- Agent-mediated electronic commerce [VII] : designing trading agents and mechanisms : AAMAS 2005 workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 workshop, TADA 2005, Edinburgh, UK, August 1, 2005 : selected and revised papers
- Agent-mediated knowledge management : international symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003 : revised and invited papers
- Agent-oriented Information Systems IV : 8th international bi-conference workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006 : revised selected papers
- Agent-oriented information systems : 5th international bi-conference workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers
- Agent-oriented programming : from prolog to guarded definite clauses
- Agent-technologies, infrastructures, tools, and applications for E-services : NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002 : revised papers
- Agents and computational autonomy : potential, risks, and solutions
- 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
- Agents and peer-to-peer computing : 4th International workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005 : revised papers
- Agents and peer-to-peer computing : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009 : revised selected papers
- Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 : revised and invited papers
- Agents and peer-to-peer computing : second international workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003 : revised and invited papers
- Agents and peer-to-peer computing : third international workshop, AP2PC 2004, New York, NY, USA, July 19, 2004 : revised and invited papers
- Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday
- Algorithmic decision theory : first international conference, ADT 2009, Venice, Italy, October 2009 : proceedings
- Algorithmic learning theory : 10th International Conference, ALT'99, Tokyo, Japan, December 6-8, 1999 : proceedings
- Algorithmic learning theory : 11th international conference, ALT 2000 Sydney, Australia, December 11-13, 2000, proceedings
- Algorithmic learning theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings
- Algorithmic learning theory : 13th international conference, ALT 2002, Lübeck, Germany, November 24-26, 2002 : proceedings
- Algorithmic learning theory : 14th international conference, ALT 2003, Sapporo, Japan, October 2003 : proceedings
- Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings
- Algorithmic learning theory : 16th international conference, ALT 2005, Singapore, October 8-11, 2005 : proceedings
- Algorithmic learning theory : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings
- Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings
- Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings
- Algorithms in bioinformatics : First International Workshop, WABI 2001, Århus, Denmark, August 28-31, 2001: proceedings
- Ambient intelligence for scientific discovery : foundations, theories, and systems
- Ambient intelligence in everyday life
- An approach to knowledge base management
- Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989 : proceedings
- Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings
- Anaphora : analysis, algorithms, and applications : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007 : selected papers
- Anaphora processing and applications : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009 : proceedings
- Ant algorithms : third international workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002 : proceedings
- Anticipatory behavior in adaptive learning systems : foundations, theories, and systems
- Anticipatory behavior in adaptive learning systems : from brains to individual and social behavior
- Anticipatory behavior in adaptive learning systems : from psychological theories to artificial cognitive systems
- Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers
- Applications of fuzzy sets theory : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings
- Applications of uncertainty formalisms
- Approaches to intelligent agents : second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 : proceedings
- Argumentation in multi-agent systems : 5th international workshop, ArgMAS 2008, Estori, Portugal, May 12, 2008 : revised selected and invited papers
- Argumentation in multi-agent systems : 6th international workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009 : revised selected and invited papers
- Argumentation in multi-agent systems : 7th international workshop, ArgMAS 2010, Toronto, ON, Canada, May 2010 : revised, selected and invited papers
- Argumentation in multi-agent systems : first international workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers
- Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers
- Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers
- Artificial intelligence : an international perspective
- Artificial intelligence : methodology, systems, and applications : 12th international conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006 : proceedings
- Artificial intelligence : methodology, systems, and applications : 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008 : proceedings
- Artificial intelligence : methodology, systems, and applications : 8th international conference, AIMSA'98, Sozopol, Bulgaria, Sptember 21-23, 1998 : proceedings
- Artificial intelligence : methodology, systems, and applications : 9th international conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 : proceedings
- Artificial intelligence and cognitive science : 13th Irish conference, AICS 2002, Limerick, Ireland, September 12-13, 2002, proceedings
- Artificial intelligence and cognitive science : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009 : revised selected papers
- Artificial intelligence and computational intelligence : International Conference, AICI 2009 Shanghai, China, November 7-8, 2009 proceedings
- Artificial intelligence and computational intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, proceedings, part I
- Artificial intelligence and neural networks : 14th Turkish symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005 : revised selected papers
- Artificial intelligence and soft computing - ICAISC 2004 : 7th international conference, Zakopane, Poland, June 7-11, 2004 : proceedings
- Artificial intelligence and soft computing : 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010., Part I
- Artificial intelligence and soft computing : 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010., Part II
- Artificial intelligence and soft computing, ICAISC 2006 : 8th international conference, Zakopane, Poland, June 25-29, 2006 : proceedings
- Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
- Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
- Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
- Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
- Artificial intelligence in education : 15th international conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011
- Artificial intelligence in medicine : 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005 ; proceedings
- Artificial intelligence in medicine : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007 : proceedings
- Artificial intelligence in medicine : 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009 : proceedings
- Artificial intelligence in medicine : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011 : proceedings
- Artificial intelligence in medicine : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29-June 1, 2013 : proceedings
- Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings
- Artificial intelligence in medicine : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001 : proceedings
- Artificial intelligence in medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 proceedings
- Artificial intelligence in medicine : proceedings
- Artificial intelligence in structural engineering : information technology for design, collaboration, maintenance, and monitoring
- Artificial intelligence today : recent trends and developments
- Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
- Artificial intelligence: methodology, systems, and applications : 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002 : proceedings
- Artificial life : borrowing from biology, 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009: proceedings
- Artificial neural networks in pattern recognition : 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010 : proceedings
- Artificial neural networks in pattern recognition : Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006 : proceedings
- Aspects of automated natural language generation : 6th international workshop, Trento, Italy, April 5-7, 1992 : proceedings
- Assistive technology and artificial intelligence : applications in robotics, user interfaces, and natural language processing
- Association rule mining : models and algorithms
- Attention in cognitive systems : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008, Fira, Santorini, Greece, May 12, 2008 : revised selected papers / Lucas Paletta, John K. Tsotsos (eds.)
- Attention in cognitive systems : theories and systems from an interdisciplinary viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007 : revised selected papers
- Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
- Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
- Automated deduction in classical and non-classical logics : selected papers
- Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
- Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
- Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
- Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
- Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
- Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
- Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings
- Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
- Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings
- Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
- Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
- Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
- Automatic generation of computer animation : using AI for movie animation
- Autonomous and intelligent systems : second international conference, AIS 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings
- Autonomous and intelligent systems : third international conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings
- Autonomous dynamic reconfiguration in multi-agent systems : improving the quality and efficiency of collaborative problem solving
- Autonomous dynamic reconfiguration in multi-agent systems : improving the quality and efficiency of collaborative problem solving
- Autonomous intelligent systems : agents and data mining : international workshop, AIS-ADM 2005, St. Petersburg, Russia, June 6-8, 2005 : proceedings
- Autonomous intelligent systems : agents and data mining ; second international workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007 : proceedings
- Balancing reactivity and social deliberation in multi-agent systems : from RoboCup to real-world applications
- Biomimetic neural learning for intelligent robots : intelligent systems, cognitive robotics, and neuroscience
- Bisociative knowledge discovery : an introduction to concept, algorithms, tools, and applications
- Brain informatics : international conference, BI 2009, Beijing, China, October 22-24, proceedings
- Brain informatics : international conference, BI 2010, Toronto, ON, Canada, August 28-30, 2010 : proceedings
- Brain informatics : international conference, BI 2018, Arlington, TX, USA, December 7-9, 2018, proceedings
- CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
- Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings
- Case-based reasoning research and development : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010 : proceedings
- Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings
- Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003 : proceedings
- Case-based reasoning research and development : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005 : proceedings
- Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings
- Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
- Case-based reasoning technology : from foundations to applications
- Challenges for action theories
- Charting the topic maps research and applications landscape : first International Workshop on Topic Maps Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005 : revised selected papers
- Citizen in sensor networks : First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012 : revised selected papers
- Co-ordination in artificial agent societies : social structures and its implications for autonomous problem-solving agents
- Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7-11, 2005 : revised selected papers
- Cognitive technology : instruments of mind : 4th International Conference, CT 2001, Coventry, UK, August 6-9, 2001 : proceedings
- Collaboration between human and artificial societies : coordination and agent-based distributed computing
- Collective robotics : First International Workshop, CRW '98, Paris, France, July 4-5, 1998 : proceedings
- Communication in multiagent systems : agent communication languages and conversation policies
- Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings
- Computable models of the law : languages, dialogues, games, ontologies
- Computation for metaphors, analogy, and agents
- Computational Collective Intelligence : technologies and applications : second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, proceedings., Part I
- Computational aspects of an order-sorted logic with term declarations
- Computational collective intelligence : semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009, proceedings
- Computational discovery of scientific knowledge : introduction, techniques, and applications in environmental and life sciences