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
A Theory of Vague Adjectives Grounded in Relevant Observables Brandon Bennett
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs Kewen Wang
A Simple Model for Quotient Types
A Semântica e a Lógica das Predicações de Existência ANPOF 2010 J
A Preference Logic With Four Kinds of Preferences
A Parametrization of the Abstract Ramsey Theorem Una Parametrizaci´
A Meta-Level Inference Architecture for Contexts Abstract
A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks
A draft of The R language definition
Belief change operations: a short history of nearly everything
Belief as an Effect of ... Some Preliminary Remarks
Bayesian Networks for Logical Reasoning Jon Williamson
Basic Proof Techniques
bach-birs
Babylon University- Science College for Women- Advanced Intelligent App. 4
argumentation framework
Argumentation System with Changes of an Agent’s Knowledge Base
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Automatic Generation of Raven’s Progressive Matrices
Automated Theorem Proving
Authentication in the Taos Operating System
ANTI-COMPLEX SETS AND REDUCIBILITIES WITH TINY USE
Analytic Tableaux for KLM Preferential and Cumulative Logics
An Attempt to Reason about Shared-State Concurrency
«
prev
1 ...
162
163
164
165
166
167
168
169
170
... 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