Choose an application

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

The IBM project LILOG presented in this volume represents a fundamental stepbeyond computer science as hitherto understood. It was a successful project in every respect and has shed light on conjectured basic interrelations between knowledge processing and language definition. Knowledge processing is strongly coupled to the natural language used, and for applied knowledge processing an information base is neededwhich defines the semantic contents and interrelations of the language. The LILOG project was an implementation of an information basein the German language. A set of tools was also developed to work with the system, including structured man-machine interfaces using natural language, inference algorithms, and a complete subsystem to acquire and store the required knowledge. The LILOG project started in 1985 and a functional system was demonstrated in 1991. The project involved approximately 200 of the scientists working in Germany in the fields of computational linguistics, natural language understanding systems, and artificial intelligence. The project proves that a cooperative project between universities and industry can produce useful results both in pure research and in implemented methods and tools.

681.3*A1 --- 681.3*I2 --- Introductory and survey --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*A1 Introductory and survey --- Computational linguistics --- Congresses --- Artificial intelligence --- Artificial intelligence. --- Computer network architectures. --- Software engineering. --- Computer science. --- Database management. --- Artificial Intelligence. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Formal Languages. --- Database Management. --- Programming Techniques. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Informatics --- Science --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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

Choose an application

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

This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.

Artificial intelligence --- Congresses --- Artificial intelligence. --- Artificial Intelligence. --- 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