Sökt på: Böcker av Leonard Bolc
totalt 40 träffar
Social Informatics
As information technology became ubiquitous, it did not take long for prac- cally minded ICT specialists to realize the technology's potential for supporting and enhancing our …
Natural Language Parsing Systems
Up to now there has been no scientific publication on natural lan- guage research that presents a broad and complex description of the current problems of parsing in the context of …
Representalion and Processing of Natural Language
Cooperative Interfaces to Information Systems
Information systems are large repositories of factual and inferential knowledge intended to be queried and maintained by a wide variety of users with different backgrounds and work …
Expert System Applications
While expert systems technology originated in the United States, its development has become an international concern. Since the start of the DENDRAL project at Stanford University …
Natural Language Generation Systems
Natural language generation is a field within artificial intelligence which looks ahead to the future when machines will communicate complex thoughts to their human users in a …
Time & Logic
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a …
The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
Augmented Transition Network Grammars are at present the most widely used method for analyzing natural languages. Despite the increasing po pularity of this method, however, no …
Many-Valued Logics 2
This is the second volume of a handbook on many-valued logics by two leading members of the Polish school of logic. It emphasizes automated reasoning, practical applications, and …
Time & Logic
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a …
Natural Language Based Computer Systems
Many-Valued Logics 1
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems …