LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024
Published in: LPAR (2024)
Keyphrases
- advances in artificial intelligence
- international conference
- artificial intelligence
- human reasoning
- databases and information systems
- lecture notes in artificial intelligence
- annual conference
- conference on artificial intelligence
- knowledge representation and reasoning
- proof theory
- automated reasoning
- progress in artificial intelligence
- scientific discovery
- computational intelligence
- knowledge representation
- deductive reasoning
- knowledge discovery and data mining
- association for artificial intelligence
- logic programming
- order of magnitude reasoning
- centre for advanced studies
- proof theoretic
- fuzzy logic
- programming language
- selected papers
- atlantic web intelligence
- australasian database conference
- cognitive psychology
- computational logic
- international workshop
- computational properties
- acm sigmis cpr
- intelligent web
- computer science
- acm sigkdd
- learning analytics and knowledge
- intuitionistic logic
- international symposium
- koli calling
- reasoning engine
- annual computer personnel research conference
- student research workshop
- web intelligence
- machine learning
- probabilistic logic
- computer personnel
- logical rules
- horn logic
- classical logic
- reasoning about actions
- logical framework
- knowledge base
- computer society
- intelligent systems
- web search and data mining
- software engineering
- invited talk
- expert systems
- default reasoning
- lecture notes
- logic programs
- acm conference
- book constitutes the refereed proceedings
- modal logic