- Artificial intelligence--Congresses (1)
- Computer science (1)
- Logic programming--Congresses (1)
- Logic, Symbolic and mathematical (1)
- Logic, Symbolic and mathematical--Congresses (1)
- Natural language processing (Computer science) (1)
- Nonclassical mathematical logic--Congresses (1)
- Semantics--Data processing--Congresses (1)