Jerzy Kalinowski's Logic of Normative Sentences Revisited.
Robert TrypuzPiotr KulickiPublished in: Stud Logica (2015)
Keyphrases
- normative systems
- multi agent systems
- logic programming
- logical formulas
- asynchronous circuits
- natural language
- multi valued
- proof theory
- sentence retrieval
- multi document summarization
- classical logic
- neural network
- predicate logic
- machine translation system
- deontic logic
- lexical features
- extractive summarization
- formal language
- digital circuits
- text corpus
- nonmonotonic logics
- computational properties
- automated reasoning
- text summarization
- modal logic
- information retrieval
- machine learning