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
arXiv:1512.05177v1 [cs.LO] 16 Dec 2015
arXiv:1410.5037v2 [cs.LO] 18 Jun 2016
Artificial Intelligence Chapter 4: Knowledge Representation
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
article in press - School of Computer Science
