- Advances in Modal Logic,
- Deutscher Verein Math. Logik und Grundlagenforschung,
- Conferences on Automated Deduction,(*)
- Analytic Tableaux Conferences,
- Rewriting Techniques and Applications,
- Logic in Computer Science,
- Computer Assisted Verification,
- Formal Methods Europe,
- LOPSTR Program Development,
- Association of Symbolic Logic,
- Association for Logic Programming,(*)
- Conference on Logic Programming,
- Logic in Data Bases,
- Congress for Logic, Methodology and Phil. of Science,
- Non-monotonic Reasoning stream in CL2000,
- Higher-Order Logic (Conferences & Society),
- Reason Maintenance Systems,
- Knowledge Representation,
- Special Interest Group on Foundations of AI
of the Japanese Society for AI,i(*)
|
- Society for Symbolic Computation,
- Inductive Logic Programming,
- European Association for Logic, Language
and Information,
- Prolog Association of Japan,
- Formal and Applied Practical Reasoning Conferences,
- Euro Workshops Logics in AI,
- Description Logics,
- Many-Valued Logics,
- Logic Program + Natural Language Processing,
- European Network for Fuzzy Logic and
Uncertainty Modeling in Information Technology,
- European Association for Computer Science Logic,
- Polish Association for Logic and
Philosophy of Science,(*)
- Electronic Colloquium on Reasoning
about Actions and Change,(*)
- Compulog Net,(*)
- Australasian Association for Logic,
- Association for Automated Reasoning,(*)
- International Conference on LOGIC PROGRAMMING and NONOMONOTONIC REASONING,(*)
- Dutch Research School in Logic...
|
