Automata vs. Logics on Data Words
Automata theory
Automata for the modal µ-calculus and related results
Automata and formal languages ∗
Autoepistemic Logic and Introspective Circumscription
author`s
Attributive concept descriptions with complements
ATL with Strategy Contexts and Bounded Memory
Atheism, College Students, and the Logic behind God
Assumption/guarantee specifications in linear-time
Assumption-Based Argumentation with Preferences
Assumption Sets for Extended Logic Programs
ASSIGNMENT QUESTIONS UNIT 3 Fundamentals of Logic contd 1
Assignment MCS-013 Discrete Mathematics Q1: a) Make truth table
ASSIGNMENT 3
Assignment 2:
Assignment 1, 28 Aug 2015, due 7 Sep 2015
Aspects of relation algebras
Ascribing beliefs to resource bounded agents
as a PDF
