Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning.
Sandra DylusPublished in: CoRR (2020)
Keyphrases
- knowledge representation languages
- knowledge representation
- formal models
- highly expressive
- declarative language
- formal language
- description logics
- object oriented design
- abductive logic programming
- meta level
- knowledge base
- formal specification
- programming language
- expressive power
- logical reasoning
- declarative knowledge
- language independent
- formal model
- reactive systems
- programming paradigms
- databases
- formal languages
- artificial intelligence
- computer programs
- reasoning systems
- cross lingual
- natural language
- high level
- formal representation
- programming environment
- formal methods
- formal ontologies
- reasoning processes
- truth maintenance systems
- functional programming
- text summarization
- query language
- natural language processing
- domain independent
- object oriented programming
- knowledge processing