Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.

Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Computer Appl. in Administrative Data Processing. --- Computer science. --- Data mining. --- Information storage and retrieval systems. --- Artificial intelligence. --- Information systems. --- Informatique --- Exploration de données (Informatique) --- Systèmes d'information --- Intelligence artificielle --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information storage and retrieval systems --- Mathematical logic. --- Information storage and retrieval. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Information storage and retrieva. --- Artificial Intelligence. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Natural language processing (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which tool place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissions. From the 3 workshops (LENLS11, JURISIN2014, and GABA2014), 23 papers were carefully selected and revised according to the comments of the workshop program committee. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-informatics) 2014 was the 8th event in the series, the purpose of this workshop was to discuss fundamental and practical issues for juris-informatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic and philosophy (including the area of AI and law). GABA (Graph-based Algorithms for Big Data and its Applications) 2014 was the first workshop on graph structures including string, tree, bipartite- and di-graph for knowledge discovery in big data. The purpose of this workshop was to discuss ideas for realizing big data integration, including algorithms with theoretical / experimental results.

Information retrieval --- Mathematical logic --- Office management --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- datamining --- applicatiebeheer --- apps --- informatica --- bedrijfsadministratie --- informatiesystemen --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- architectuur (informatica) --- data acquisition --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes extended, revised, and selected papers from the 10th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2018. It was held in November 2018 in Yokohama, Japan. The 28 paper full papers and 5 short papers were carefully selected from 97 submissions. The papers selected cover topics in Artificial Intelligence, such as AI and law, business intelligence, human intelligence, logic and engineering, and data analytics and applications.

Artificial intelligence. --- Information storage and retrieval. --- Computers. --- Application software. --- Artificial Intelligence. --- Information Storage and Retrieval. --- Theory of Computation. --- Computer Appl. in Administrative Data Processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- AI (Artificial intelligence) --- Artificial thinking --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence --- Law and legislation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- computers --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes extended, revised and selected papers from the 9th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2017. It was held in November 2017 in Tokyo, Japan. The 22 papers were carefully selected from 109 submissions and are organized in sections on juris-informatics, skill science, artificial intelligence of and for business, logic and engineering of natural language semantics, argument for agreement and assurance, scientific document analysis, knowledge explication for industry.

Computer science. --- Mathematical logic. --- Information organization. --- Information retrieval. --- Artificial intelligence. --- Text processing (Computer science). --- Computational linguistics. --- Application software. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Document Preparation and Text Processing. --- Language Translation and Linguistics. --- Information Storage and Retrieval. --- Computer Appl. in Administrative Data Processing. --- Mathematical Logic and Formal Languages. --- Information storage and retrieval. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Processing, Text (Computer science) --- Database management --- Electronic data processing --- Information storage and retrieval systems --- Word processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Data processing --- Natural language processing (Computer science). --- Information storage and retrieva. --- Information systems. --- Artificial Intelligence. --- Natural Language Processing (NLP). --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval