LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.
Published in: LPAR (2023)
Keyphrases
- lecture notes in artificial intelligence
- artificial intelligence
- human reasoning
- lecture notes
- computer science
- advances in artificial intelligence
- automated reasoning
- international workshop
- proof theory
- order of magnitude reasoning
- deductive reasoning
- computational properties
- international conference
- scientific discovery
- knowledge representation
- proof theoretic
- knowledge representation and reasoning
- reasoning engine
- intuitionistic logic
- probabilistic logic
- logic programming
- knowledge processing
- intelligent systems
- programming language
- logical framework
- computational logic
- fuzzy logic
- knowledge base
- reasoning systems
- expert systems
- computational intelligence
- rule based reasoning
- commonsense reasoning
- reasoning tasks
- cognitive psychology
- international symposium
- logic programs
- logical inference
- proof procedure
- abductive reasoning
- cognitive science
- logical rules
- classical logic
- derivation rules
- natural language processing
- linear logic
- computational linguistics
- working conference
- probabilistic reasoning
- ambient intelligence
- book constitutes the refereed proceedings
- description logics
- horn logic
- causal reasoning