図書

Frontiers in artificial intelligence and applications

Icons representing 図書

Frontiers in artificial intelligence and applications

Material type
図書
Author
-
Publisher
IOS Press
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Related materials as well as pre- and post-revision versions

SAT2000 : highlights of satisfiability research in the year 2000Leave the NDL website. Algorithms and architectures of artificial intelligenceLeave the NDL website. ECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedingsLeave the NDL website. Design and application of hybrid intelligent systemsLeave the NDL website. Parallel genetic algorithms : theory and applicationsLeave the NDL website. Foundations, theory and applicationsLeave the NDL website. Many-agent simulation and artificial lifeLeave the NDL website. Norms, logics and information systems : new studies in deontic logic and computer scienceLeave the NDL website. Prospects for artificial intelligence : proceedings of AISB93 : the ninth biennial conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 29 March - 2 April 1993, The University of BirminghamLeave the NDL website. Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998Leave the NDL website. Legal knowledge and information systems : JURIX 2001 : the fourteenth annual conferenceLeave the NDL website. Legal knowledge and information systems : JURIX 2008 : the twenty-first annual conferenceLeave the NDL website. Advances in logic, artificial intelligence and robotics : LAPTEC 2002Leave the NDL website. Legal knowledge and information systems : JURIX 2016 : the twenty-ninth annual conferenceLeave the NDL website. Spatiotemporal models in biological and artificial systemsLeave the NDL website. An inductive logic programming approach to statistical relational learningLeave the NDL website. Intelligent condition monitoring and diagnosis systems : a computational intelligence approachLeave the NDL website. Ontology learning from text : methods, evaluation and applicationsLeave the NDL website. Artificial intelligence in education : supporting learning through intelligent and socially informed technologyLeave the NDL website. Advances in information modelling and knowledge basesLeave the NDL website. Adaptive stream mining : pattern learning and mining from evolving data streamsLeave the NDL website. Reusable components for knowledge modelling : case studies in parametric design problem solvingLeave the NDL website. Artificial intelligence in education : AI-ED in the wired and wireless futureLeave the NDL website. Knowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000Leave the NDL website. Formal Ontology in Information Systems : proceedings of the Third International Conference (FOIS-2004)Leave the NDL website. 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) : proceedingsLeave the NDL website. Chaos and societyLeave the NDL website. New directions in AI planningLeave the NDL website. Recent advances in artificial intelligence research and developmentLeave the NDL website. Scandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93Leave the NDL website. Intelligent agents for telecommunications applications : basics, tools, languages and applicationsLeave the NDL website. Law, ontologies and the semantic web : channelling the legal information floodLeave the NDL website. Intelligent technologies - theory and applications : new trends in intelligent technologiesLeave the NDL website. Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, ItalyLeave the NDL website. Advances in Molecular BioinformaticsLeave the NDL website. Concepts, methods and systemsLeave the NDL website. Legal knowledge and information systems : JURIX 2011 : the twenty-fourth annual conferenceLeave the NDL website. LISP evolution and standardization : proceedings of the First International Workshop, 22-23 February 1988, Paris, FranceLeave the NDL website. Designing cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000)Leave the NDL website. Legal knowledge engineering : a modelling approachLeave the NDL website. Legal knowledge and information systems : JURIX 2012 : the twenty-fifth annual conferenceLeave the NDL website. Artificial intelligence in education : shaping the future of learning through intelligent technologiesLeave the NDL website. Information modelling and knowledge basesLeave the NDL website. ECAI 2012 : 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France : including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track : proceedingsLeave the NDL website. Artificial intelligence : methodology, systems, applications : [proceedings of the Seventh International Conference on Artificial Intelligence, Methodology, Systems, Applications (AIMSA '96), Sozopol, Bulgaria, September, 18-20, 1996]Leave the NDL website. CommonKADS Library for expertise modelling : reusable problem solving componentsLeave the NDL website. Explorations in intelligent tutoring and helpLeave the NDL website. Active mining : new directions of data miningLeave the NDL website. Genetic algorithms in optimisation, simulation and modellingLeave the NDL website. Teaching and learning in a network world : TechEd 2000 proceedingsLeave the NDL website. ECAI 2010 : 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal : including Prestigious Applications of Artificial Intelligence (PAIS-2010) : proceedingsLeave the NDL website. The emerging semantic web : selected papers from the first semantic web working symposiumLeave the NDL website. Cooperative systems design : scenario-based design of collaborative systemsLeave the NDL website. Scandinavian Conference on Artificial Intelligence - 89 : proceedings of the SCAI '89, Tampere, Finland, 13-15 June 1989Leave the NDL website. Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software EngineeringLeave the NDL website. ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands : including Prestigious Applications of Artficial Intelligence (PAIS 2016)Leave the NDL website. Brain, mind and physicsLeave the NDL website. Handbook of satisfiabilityLeave the NDL website. Neuro-symbolic artificial intelligence : the state of the artLeave the NDL website. Advances in intelligent systems : theory and applicationsLeave the NDL website. Legal knowledge and information systems : JURIX 2014 : the twenty-seventh annual conferenceLeave the NDL website. Artificial intelligence in education : open learning environments : new computational technologies to support learning, exploration and collaborationLeave the NDL website. Legal knowledge and information systems : JURIX 2005 : the eighteenth annual conferenceLeave the NDL website. Legal knowledge and information systems : JURIX 2000 : the thirteenth annual conferenceLeave the NDL website. Handbook of satisfiabilityLeave the NDL website. ECAI 2000 : 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany : including Prestigious Applications of Intelligent Systems (PAIS-2000) : proceedingsLeave the NDL website. Current trends in AI planning : EWSP '93 - 2nd European Workshop on PlanningLeave the NDL website. From information to knowledge : online access to legal information : methodologies, trends and perspectivesLeave the NDL website. Model-based reasoning about learner behaviourLeave the NDL website. Legal knowledge and information systems : JURIX 2015 : the twenty-eignth annual conferenceLeave the NDL website. Current trends in knowledge acquisitionLeave the NDL website. Scandinavian Conference on Artificial Intelligence - 91 : "Odin's ravens" : proceedings of the SCAI '91, Roskilde, Denmark, 21-24 May 1991Leave the NDL website. Advanced research in computers and communications in education : new human abilities for the networked societyLeave the NDL website. Symbols versus neurons ?Leave the NDL website. Qualitative spatial resoning : theory and practice : application to robot navigationLeave the NDL website. Advances in mining graphs, trees and sequencesLeave the NDL website. ECAI 2008 : 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : including Prestigious Applications of Intelligent Systems (PAIS 2008) : proceedingsLeave the NDL website. ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic : including Prestigious Applications of Intelligent Systems (PAIS 2014)Leave the NDL website. Artificial intelligence in education : building learning systems that care : from knowledge representation to affective modellingLeave the NDL website. Ontology and the semantic webLeave the NDL website. Machine reconstruction of human control strategiesLeave the NDL website. Towards the learning grid : advances in human learning servicesLeave the NDL website. Stochastic models of neural networksLeave the NDL website. Advances in inductive logic programmingLeave the NDL website. Artificial intelligence in education : knowledge and media in learning systemsLeave the NDL website. Pattern recognition and applicationsLeave the NDL website. Artificial intelligence in education : building technology rich learning contexts that workLeave the NDL website. Towards sustainable and scalable educational innovations informed by the learning sciences : sharing good practices of research, experimentation and innovationLeave the NDL website. Legal knowledge and information systems : JURIX 2004 : the seventeenth annual conferenceLeave the NDL website. Legal knowledge and information systems : JURIX 2006 : the Nineteenth Annual ConferenceLeave the NDL website. Teaching and Learning in Logo-based Environments : proceedings of the Eurologo '89 conference, 30 August - 1 September 1989, Gent, BelgiumLeave the NDL website. ECAI 2004 : 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain : including Prestigious Applicants of Intelligent Systems (PAIS 2004) : proceedingsLeave the NDL website. Evolving knowledge bases : specification and semanticsLeave the NDL website. Legal knowledge and information systems : JURIX 2010 : the twenty-third annual conferenceLeave the NDL website. Knowledge transformation for the semantic webLeave the NDL website. Hybrid problems, hybrid solutionsLeave the NDL website. Artificial intelligence research and developmentLeave the NDL website. Knowledge-based intelligent information engineering systems & allied technologies : KES'2001Leave the NDL website. Legal knowledge and information systems : JURIX 2013 : the twenty-sixth annual conferenceLeave the NDL website. Annotation for the semantic webLeave the NDL website. Scandinavian Conference on Artificial Intelligence : proceedings of the SCAI'88, Tromsø, Norway, 9-11 March 1988Leave the NDL website. Advances in logic based intelligent systems : selected papers of LAPTEC 2005Leave the NDL website. Mind versus computer : Were Dreyfus and Winograd right ?Leave the NDL website. Worldwide intelligent systems : approaches to telecommunications and network managementLeave the NDL website. Agent-based approaches in economic and social complex systemsLeave the NDL website. Legal knowledge and information systems : JURIX 2002 : the fifteenth annual conferenceLeave the NDL website. Legal knowledge and information systems : JURIX 2007 : the twentieth annual conferenceLeave the NDL website. New frontiers in computational intelligence and its applicationsLeave the NDL website. Knowledge engineering and agent technologyLeave the NDL website. Soft computing systems : design, management and applicationsLeave the NDL website. Knowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software EngineeringLeave the NDL website. Invariant object recognition based on elastic graph matching : theory and applicationsLeave the NDL website. Fuzzy clustering via proportional membership modelLeave the NDL website. New trends in software methodologies, tools and techniques : proceedings of Lyee-W02Leave the NDL website. Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01Leave the NDL website. Multi-relational data miningLeave the NDL website. Knowledge modeling & expertise transfer : proceedings of the First International Conference on Knowledge Modeling & Expertise Transfer : Sophia-Antipolis, French Riviera, France, April 22-24, 1991Leave the NDL website. Software engineering : evolution and emerging technologiesLeave the NDL website. Legal theory, sources of law and the semantic webLeave the NDL website. Constraint reasoning for differential modelsLeave the NDL website. Legal knowledge and information systems : JURIX 2009 : the twenty-second annual conferenceLeave the NDL website. Approximation methods for efficient learning of Bayesian networksLeave the NDL website. Principles and formal techniquesLeave the NDL website. Handbook of satisfiabilityLeave the NDL website. Knowledge-based intelligent information engineering systems and allied technologies : KES 2002Leave the NDL website.

Search by Bookstore

Table of Contents

  • SAT2000 : highlights of satisfiability research in the year 2000

  • Algorithms and architectures of artificial intelligence

  • ECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedings

  • Design and application of hybrid intelligent systems

  • Parallel genetic algorithms : theory and applications

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Publication, Distribution, etc.
Place of Publication (Country Code)
ne
Text Language Code
en
Target Audience
一般
Related Material
SAT2000 : highlights of satisfiability research in the year 2000
Algorithms and architectures of artificial intelligence
ECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedings
Design and application of hybrid intelligent systems
Parallel genetic algorithms : theory and applications
Foundations, theory and applications
Many-agent simulation and artificial life
Norms, logics and information systems : new studies in deontic logic and computer science
Prospects for artificial intelligence : proceedings of AISB93 : the ninth biennial conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 29 March - 2 April 1993, The University of Birmingham
Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998
Legal knowledge and information systems : JURIX 2001 : the fourteenth annual conference
Legal knowledge and information systems : JURIX 2008 : the twenty-first annual conference
Advances in logic, artificial intelligence and robotics : LAPTEC 2002
Legal knowledge and information systems : JURIX 2016 : the twenty-ninth annual conference
Spatiotemporal models in biological and artificial systems
An inductive logic programming approach to statistical relational learning
Intelligent condition monitoring and diagnosis systems : a computational intelligence approach
Ontology learning from text : methods, evaluation and applications
Artificial intelligence in education : supporting learning through intelligent and socially informed technology
Advances in information modelling and knowledge bases
Adaptive stream mining : pattern learning and mining from evolving data streams
Reusable components for knowledge modelling : case studies in parametric design problem solving
Artificial intelligence in education : AI-ED in the wired and wireless future
Knowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
Formal Ontology in Information Systems : proceedings of the Third International Conference (FOIS-2004)
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
Chaos and society
New directions in AI planning
Recent advances in artificial intelligence research and development
Scandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93
Intelligent agents for telecommunications applications : basics, tools, languages and applications
Law, ontologies and the semantic web : channelling the legal information flood
Intelligent technologies - theory and applications : new trends in intelligent technologies
Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy
Advances in Molecular Bioinformatics
Concepts, methods and systems
Legal knowledge and information systems : JURIX 2011 : the twenty-fourth annual conference
LISP evolution and standardization : proceedings of the First International Workshop, 22-23 February 1988, Paris, France
Designing cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000)
Legal knowledge engineering : a modelling approach
Legal knowledge and information systems : JURIX 2012 : the twenty-fifth annual conference
Artificial intelligence in education : shaping the future of learning through intelligent technologies
Information modelling and knowledge bases
ECAI 2012 : 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France : including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track : proceedings
Artificial intelligence : methodology, systems, applications : [proceedings of the Seventh International Conference on Artificial Intelligence, Methodology, Systems, Applications (AIMSA '96), Sozopol, Bulgaria, September, 18-20, 1996]
CommonKADS Library for expertise modelling : reusable problem solving components
Explorations in intelligent tutoring and help
Active mining : new directions of data mining
Genetic algorithms in optimisation, simulation and modelling
Teaching and learning in a network world : TechEd 2000 proceedings
ECAI 2010 : 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal : including Prestigious Applications of Artificial Intelligence (PAIS-2010) : proceedings
The emerging semantic web : selected papers from the first semantic web working symposium
Cooperative systems design : scenario-based design of collaborative systems
Scandinavian Conference on Artificial Intelligence - 89 : proceedings of the SCAI '89, Tampere, Finland, 13-15 June 1989
Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering
ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands : including Prestigious Applications of Artficial Intelligence (PAIS 2016)
Brain, mind and physics
Handbook of satisfiability
Neuro-symbolic artificial intelligence : the state of the art
Advances in intelligent systems : theory and applications
Legal knowledge and information systems : JURIX 2014 : the twenty-seventh annual conference
Artificial intelligence in education : open learning environments : new computational technologies to support learning, exploration and collaboration
Legal knowledge and information systems : JURIX 2005 : the eighteenth annual conference
Legal knowledge and information systems : JURIX 2000 : the thirteenth annual conference
Handbook of satisfiability
ECAI 2000 : 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany : including Prestigious Applications of Intelligent Systems (PAIS-2000) : proceedings
Current trends in AI planning : EWSP '93 - 2nd European Workshop on Planning
From information to knowledge : online access to legal information : methodologies, trends and perspectives
Model-based reasoning about learner behaviour
Legal knowledge and information systems : JURIX 2015 : the twenty-eignth annual conference
Current trends in knowledge acquisition
Scandinavian Conference on Artificial Intelligence - 91 : "Odin's ravens" : proceedings of the SCAI '91, Roskilde, Denmark, 21-24 May 1991
Advanced research in computers and communications in education : new human abilities for the networked society
Symbols versus neurons ?
Qualitative spatial resoning : theory and practice : application to robot navigation
Advances in mining graphs, trees and sequences
ECAI 2008 : 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : including Prestigious Applications of Intelligent Systems (PAIS 2008) : proceedings
ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic : including Prestigious Applications of Intelligent Systems (PAIS 2014)
Artificial intelligence in education : building learning systems that care : from knowledge representation to affective modelling
Ontology and the semantic web
Machine reconstruction of human control strategies
Towards the learning grid : advances in human learning services
Stochastic models of neural networks
Advances in inductive logic programming
Artificial intelligence in education : knowledge and media in learning systems
Pattern recognition and applications
Artificial intelligence in education : building technology rich learning contexts that work
Towards sustainable and scalable educational innovations informed by the learning sciences : sharing good practices of research, experimentation and innovation
Legal knowledge and information systems : JURIX 2004 : the seventeenth annual conference
Legal knowledge and information systems : JURIX 2006 : the Nineteenth Annual Conference
Teaching and Learning in Logo-based Environments : proceedings of the Eurologo '89 conference, 30 August - 1 September 1989, Gent, Belgium
ECAI 2004 : 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain : including Prestigious Applicants of Intelligent Systems (PAIS 2004) : proceedings
Evolving knowledge bases : specification and semantics
Legal knowledge and information systems : JURIX 2010 : the twenty-third annual conference
Knowledge transformation for the semantic web
Hybrid problems, hybrid solutions
Artificial intelligence research and development
Knowledge-based intelligent information engineering systems & allied technologies : KES'2001
Legal knowledge and information systems : JURIX 2013 : the twenty-sixth annual conference
Annotation for the semantic web
Scandinavian Conference on Artificial Intelligence : proceedings of the SCAI'88, Tromsø, Norway, 9-11 March 1988
Advances in logic based intelligent systems : selected papers of LAPTEC 2005
Mind versus computer : Were Dreyfus and Winograd right ?
Worldwide intelligent systems : approaches to telecommunications and network management
Agent-based approaches in economic and social complex systems
Legal knowledge and information systems : JURIX 2002 : the fifteenth annual conference
Legal knowledge and information systems : JURIX 2007 : the twentieth annual conference
New frontiers in computational intelligence and its applications
Knowledge engineering and agent technology
Soft computing systems : design, management and applications
Knowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering
Invariant object recognition based on elastic graph matching : theory and applications
Fuzzy clustering via proportional membership model
New trends in software methodologies, tools and techniques : proceedings of Lyee-W02
Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01
Multi-relational data mining
Knowledge modeling & expertise transfer : proceedings of the First International Conference on Knowledge Modeling & Expertise Transfer : Sophia-Antipolis, French Riviera, France, April 22-24, 1991
Software engineering : evolution and emerging technologies
Legal theory, sources of law and the semantic web
Constraint reasoning for differential models
Legal knowledge and information systems : JURIX 2009 : the twenty-second annual conference
Approximation methods for efficient learning of Bayesian networks
Principles and formal techniques
Handbook of satisfiability
Knowledge-based intelligent information engineering systems and allied technologies : KES 2002
Data Provider (Database)
国立情報学研究所 : CiNii Research
Original Data Provider (Database)
CiNii Books