Computer Science and Information Technologies

2025

1. A Fixpoint Characterisation of Temporal Equilibrium Logic

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. A Study of Software Architects’ Cognitive Approaches: Kolb’s Learning Styles Inventory in Action

   Communications in Computer and Information Science

3. Compiling Metric Temporal Answer Set Programming

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

4. Identification and Behavior Pattern Recognition of Cows in Intensive and Extensive Farms Using Intelligent Collars and Dimensional Reduction Techniques

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

5. tExplain: Information Extraction with Explanations

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)