You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Arti?cial intelligence has attracted a renewed interest from distinguished sci- tists and has again raised new, more realistic this time, expectations for future advances regarding the development of theories, models and techniques and the use of them in applications pervading many areas of our daily life. The borders of human-level intelligence are still very far away and possibly unknown. Nev- theless, recent scienti?c work inspires us to work even harder in our exploration of the unknown lands of intelligence. This volume contains papers selected for presentation at the 3rd Hellenic Conference on Arti?cial Intelligence (SETN 2004), the o?cial meeting of the Hellenic Society for Arti?cial ...
In the early 1980s, a trend towards formal undeIStanding and knowledge-based assistance for the development and maintenance of database-intensive information systems became apparent. The group of John Mylopoulos at the UniveISity of Toronto and their European collaboratoIS moved from semantic models of information systems design (Taxis project) towards earlier stages of the software lifecycle. Joachim Schmidt's group at the University of Hamburg completed their early work on the design and implementation of database programming languages (Pascal/R) and began to consider tools for the development of large database program packages. The Belgian company BIM developed a fast commercial Prolog wh...
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008. The 27 revised full papers together with 17 revised short papers were carefully reviewed and selected from 76 submissions. The papers address any area of artificial intelligence; particular fields of interest include: Adaptive Systems, AI and Creativity, AI rchitectures, Artificial Life,Autonomous Systems, Data Mining and Knowledge Discovery, Hybrid Intelligent Systems & Methods, Intelligent Agents, Multi-agent Systems, Intelligent Distributed Systems, Intelligent Information Retrieval, Intelligent/Natural Interactivity, Intelligent Virtual Environments, Knowledge Representation and Reasoning, Logic Programming, Knowledge-Based Systems, Machine Learning, Neural Nets, Genetic Algorithms, Natural Language Processing, Planning and Scheduling, Problem Solving, Constraint Satisfaction, Robotics, Machine Vision, Machine Sensing.
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research.
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Merín, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Mern, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.
This book constitutes the refereed proceedings of the 5th International Semantic Web Conference, ISWC 2006, held in Athens, GA, USA in November 2006. It features more than 52 papers that address all current issues in the field of the semantic Web, ranging from theoretical aspects to various applied topics. An additional 14 papers detail applications in government, public health, public service, academic, and industry.
This book constitutes the proceedings of the 8th Hellenic Conference on Artificial Intelligence, SETN 2014, held in Ioannina, Greece, in May 2014. There are 34 regular papers out of 60 submissions, in addition 5 submissions were accepted as short papers and 15 papers were accepted for four special sessions. They deal with emergent topics of artificial intelligence and come from the SETN main conference as well as from the following special sessions on action languages: theory and practice; computational intelligence techniques for bio signal Analysis and evaluation; game artificial intelligence; multimodal recommendation systems and their applications to tourism.