Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Math
Advanced Math
Logic
LOYOLA COLLEGE (AUTONOMOUS), CHENNAI – 600 034
Logical Form and Knowledge Representation:
Literary Analysis and Composition 2014-2015
Knowledge Representation and Reasoning Logics for Artificial Intelligence Stuart C. Shapiro
Lecture 4: SAT and SMT-based Bounded Model Checking
A Representationalist Theory of Intention
Document13704302 13704302
Document13356808 13356808
2013_05_08-TextbookAndBackground
2 Knowledge Representations:
09-nondeterminism
01-LexAnalRegExFSM
A Probabilistic Logic for Sequences of Decisions
A LOGICAL MODEL DECISION-MAKING Department of Cmputer Science and Autmation
Agamben, Badiou, and Russell
An Efficient Framework Drive System Using Fuzzy Controller - April 2015
An Automata-Theoretic Approach to Branching-Time Model Checking
An Alternative Axiomatization of DEL and Its Applications
Basic Category Theory
Argumentation schemes in argument-as-process and argument-as-pr
Access Control on the Web via Proof
Abstract - International Association of Engineers
On the Fixpoint Theory of Equality and Its Applications Andrzej Szałas
On the Computational Complexity of Spatio-Temporal Logics
«
prev
1 ...
151
152
153
154
155
156
157
158
159
... 229
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send