書店で探す
目次
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- 出版事項
- 出版地(国名コード)
- ne
- 本文の言語コード
- en
- 対象利用者
- 一般
- 関連情報
- SAT2000 : highlights of satisfiability research in the year 2000Algorithms and architectures of artificial intelligenceECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedingsDesign and application of hybrid intelligent systemsParallel genetic algorithms : theory and applicationsFoundations, theory and applicationsMany-agent simulation and artificial lifeNorms, logics and information systems : new studies in deontic logic and computer scienceProspects 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 BirminghamKnowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998Legal knowledge and information systems : JURIX 2001 : the fourteenth annual conferenceLegal knowledge and information systems : JURIX 2008 : the twenty-first annual conferenceAdvances in logic, artificial intelligence and robotics : LAPTEC 2002Legal knowledge and information systems : JURIX 2016 : the twenty-ninth annual conferenceSpatiotemporal models in biological and artificial systemsAn inductive logic programming approach to statistical relational learningIntelligent condition monitoring and diagnosis systems : a computational intelligence approachOntology learning from text : methods, evaluation and applicationsArtificial intelligence in education : supporting learning through intelligent and socially informed technologyAdvances in information modelling and knowledge basesAdaptive stream mining : pattern learning and mining from evolving data streamsReusable components for knowledge modelling : case studies in parametric design problem solvingArtificial intelligence in education : AI-ED in the wired and wireless futureKnowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000Formal 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) : proceedingsChaos and societyNew directions in AI planningRecent advances in artificial intelligence research and developmentScandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93Intelligent agents for telecommunications applications : basics, tools, languages and applicationsLaw, ontologies and the semantic web : channelling the legal information floodIntelligent technologies - theory and applications : new trends in intelligent technologiesFormal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, ItalyAdvances in Molecular BioinformaticsConcepts, methods and systemsLegal knowledge and information systems : JURIX 2011 : the twenty-fourth annual conferenceLISP evolution and standardization : proceedings of the First International Workshop, 22-23 February 1988, Paris, FranceDesigning 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 approachLegal knowledge and information systems : JURIX 2012 : the twenty-fifth annual conferenceArtificial intelligence in education : shaping the future of learning through intelligent technologiesInformation modelling and knowledge basesECAI 2012 : 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France : including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track : proceedingsArtificial 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 componentsExplorations in intelligent tutoring and helpActive mining : new directions of data miningGenetic algorithms in optimisation, simulation and modellingTeaching and learning in a network world : TechEd 2000 proceedingsECAI 2010 : 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal : including Prestigious Applications of Artificial Intelligence (PAIS-2010) : proceedingsThe emerging semantic web : selected papers from the first semantic web working symposiumCooperative systems design : scenario-based design of collaborative systemsScandinavian Conference on Artificial Intelligence - 89 : proceedings of the SCAI '89, Tampere, Finland, 13-15 June 1989Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software EngineeringECAI 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 physicsHandbook of satisfiabilityNeuro-symbolic artificial intelligence : the state of the artAdvances in intelligent systems : theory and applicationsLegal knowledge and information systems : JURIX 2014 : the twenty-seventh annual conferenceArtificial intelligence in education : open learning environments : new computational technologies to support learning, exploration and collaborationLegal knowledge and information systems : JURIX 2005 : the eighteenth annual conferenceLegal knowledge and information systems : JURIX 2000 : the thirteenth annual conferenceHandbook of satisfiabilityECAI 2000 : 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany : including Prestigious Applications of Intelligent Systems (PAIS-2000) : proceedingsCurrent trends in AI planning : EWSP '93 - 2nd European Workshop on PlanningFrom information to knowledge : online access to legal information : methodologies, trends and perspectivesModel-based reasoning about learner behaviourLegal knowledge and information systems : JURIX 2015 : the twenty-eignth annual conferenceCurrent trends in knowledge acquisitionScandinavian Conference on Artificial Intelligence - 91 : "Odin's ravens" : proceedings of the SCAI '91, Roskilde, Denmark, 21-24 May 1991Advanced research in computers and communications in education : new human abilities for the networked societySymbols versus neurons ?Qualitative spatial resoning : theory and practice : application to robot navigationAdvances in mining graphs, trees and sequencesECAI 2008 : 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : including Prestigious Applications of Intelligent Systems (PAIS 2008) : proceedingsECAI 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 modellingOntology and the semantic webMachine reconstruction of human control strategiesTowards the learning grid : advances in human learning servicesStochastic models of neural networksAdvances in inductive logic programmingArtificial intelligence in education : knowledge and media in learning systemsPattern recognition and applicationsArtificial intelligence in education : building technology rich learning contexts that workTowards sustainable and scalable educational innovations informed by the learning sciences : sharing good practices of research, experimentation and innovationLegal knowledge and information systems : JURIX 2004 : the seventeenth annual conferenceLegal knowledge and information systems : JURIX 2006 : the Nineteenth Annual ConferenceTeaching and Learning in Logo-based Environments : proceedings of the Eurologo '89 conference, 30 August - 1 September 1989, Gent, BelgiumECAI 2004 : 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain : including Prestigious Applicants of Intelligent Systems (PAIS 2004) : proceedingsEvolving knowledge bases : specification and semanticsLegal knowledge and information systems : JURIX 2010 : the twenty-third annual conferenceKnowledge transformation for the semantic webHybrid problems, hybrid solutionsArtificial intelligence research and developmentKnowledge-based intelligent information engineering systems & allied technologies : KES'2001Legal knowledge and information systems : JURIX 2013 : the twenty-sixth annual conferenceAnnotation for the semantic webScandinavian Conference on Artificial Intelligence : proceedings of the SCAI'88, Tromsø, Norway, 9-11 March 1988Advances in logic based intelligent systems : selected papers of LAPTEC 2005Mind versus computer : Were Dreyfus and Winograd right ?Worldwide intelligent systems : approaches to telecommunications and network managementAgent-based approaches in economic and social complex systemsLegal knowledge and information systems : JURIX 2002 : the fifteenth annual conferenceLegal knowledge and information systems : JURIX 2007 : the twentieth annual conferenceNew frontiers in computational intelligence and its applicationsKnowledge engineering and agent technologySoft computing systems : design, management and applicationsKnowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software EngineeringInvariant object recognition based on elastic graph matching : theory and applicationsFuzzy clustering via proportional membership modelNew trends in software methodologies, tools and techniques : proceedings of Lyee-W02Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01Multi-relational data miningKnowledge modeling & expertise transfer : proceedings of the First International Conference on Knowledge Modeling & Expertise Transfer : Sophia-Antipolis, French Riviera, France, April 22-24, 1991Software engineering : evolution and emerging technologiesLegal theory, sources of law and the semantic webConstraint reasoning for differential modelsLegal knowledge and information systems : JURIX 2009 : the twenty-second annual conferenceApproximation methods for efficient learning of Bayesian networksPrinciples and formal techniquesHandbook of satisfiabilityKnowledge-based intelligent information engineering systems and allied technologies : KES 2002
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research
- 提供元機関・データベース
- CiNii Books