- Artificial intelligence--Congresses (14)
- Logic, Symbolic and mathematical--Congresses (14)
- Reasoning--Congresses (5)
- Knowledge, Theory of--Congresses (4)
- Abstract data types (Computer science)--Congresses (1)
- Computer science--Congresses (1)
- Intelligent agents (Computer software)--Congresses (1)
- Logic programming--Congresses (1)
- Nonclassical mathematical logic--Congresses (1)
- Semantics--Data processing--Congresses (1)
- Sorting (Electronic computers)--Congresses (1)
- Uncertainty (Information theory)--Congresses (1)