Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg".
Yuri V. MatiyasevichAnil NerodePublished in: Ann. Pure Appl. Log. (1996)
Keyphrases
- invited talk
- book constitutes the refereed proceedings
- selected papers
- international workshop
- logical representation
- logical operations
- predicate calculus
- international conference
- papers cover
- truth values
- information retrieval and extraction
- logical framework
- computer science
- probabilistic logic
- special issue
- lambda calculus
- logical rules
- carefully reviewed and selected from submissions
- multi valued
- predicate logic
- artificial intelligence
- human computer interaction
- logic programming
- knowledge discovery and data mining
- abductive reasoning
- special section
- modal logic
- review process
- dynamic logic
- invited paper
- expert systems
- computational intelligence
- data analysis
- probabilistic knowledge
- logical structure
- workshop on data mining