Fundamentals of Artificial Intelligence Research

User-oriented theorem proving with the ATINF graphic proof editor.- A modal analysis of possibility theory.- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I - A position paper.- Relational proof systems for some AI logics.- Formal grammars and cognitive architectures.- Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines.- A semantic characterization of disjunctive relations.- Execution of defeasible temporal clauses for building preferred models.- On the phenomenon of flattening "flexible prediction" concept hierarchy.- Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.- An approach to data-driven learning.- Extending abduction from propositional to first-order logic.- Building in equational theories into the connection method.- Logical fiberings and polycontextural systems.- Automated deduction with associative commutative operators.- Towards a lattice of knowledge representation systems.- Inconsistencies handling: nonmonotonic and paraconsistent reasoning.- An approach to structural synthesis of data processing programs.- Negation as failure and intuitionistic three-valued logic.- Symbolic Computation and Artificial Intelligence.