Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Introduction to Iltis: An Interactive, Web-Based System for Teaching
  Logic   Logic is a foundation for many modern areas of computer science. In
artificial intelligence, as a basis of database query languages, as well as in
formal software and hardware verification --- modelling scenarios using logical
formalisms and inferring new knowledge are important skills for going-to-be
computer scientists. The Iltis project aims at providing a web-based,
interactive system that supports teaching logical methods. In particular the
system shall (a) support to learn to model knowledge and to infer new knowledge
using propositional logic, modal logic and first-order logic, and (b) provide
immediate feedback and support to students. This article presents a
prototypical system that currently supports the above tasks for propositional
logic. First impressions on its use in a second year logic course for computer
science students are reported.

34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol