Congresses 79 Artificial intelligence 57 Expert systems (Computer science) 20 Logic programming 20 Logic, Symbolic and mathematical 17 Reasoning 15 Automatic theorem proving 14 Knowledge representation (Information theory) 14 Natural language processing (Computer science) 9 Machine learning 8 Data processing 7 Computer algorithms 5 Conceptual structures (Information theory) 4 Knowledge acquisition (Expert systems) 4 Nonclassical mathematical logic 4 Uncertainty (Information theory) 4 Analogy 3 Graph theory 3 Industrial applications 3 Inference 3 Logic diagrams 3 Nonmonotonic reasoning 3 Case-based reasoning 2 Computational linguistics 2 Computer science 2 Decision making 2 Distributed artificial intelligence 2 Electronic commerce 2 Fuzzy systems 2 Induction (Logic) 2