Attribut:Titel EN
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics +
A Simplified Tableau Calculus for Standpoint LTL +
A Single Approach to Decide Chase Termination on Linear Existential Rules +
A diamond in the rough: Theorizing column stores +
A gentle introduction to partition width +
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation +
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation +
A proof of CSP Dichotomy conjecture +
A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications +
ASNP: a tame fragment of existential second-order logic +
ASPARTIX-D Ready for the Competition +
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors +
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning +
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning +
Abstract Domains for Database Manipulating Processes +
Academic Skills in Computer Science: Advanced LaTeX (Exercise) +
Academic Skills in Computer Science: Introduction and Motivation (Lecture) +
Academic Skills in Computer Science: Planning Your Research (Lecture) +
Academic Skills in Computer Science: Oral Presentations (2) (Lecture) +
Academic Skills in Computer Science: Writing and Structure (Exercise) +
Academic Skills in Computer Science: Oral Presentations (2) (Lecture) +
Academic Skills in Computer Science: Format, Layout, and Punctuation (Lecture) +
