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 Type System for Certified Binaries
A study of Probabilistic Logic frameworks
A Puzzle Concerning Ground
A Psychology-Inspired Approach to Automated Narrative Text Comprehension Irene-Anna Diakidoy Antonis Kakas
A Proof-Carrying Authorization System
A Probabilistic Extension of the Stable Model Semantics
A New Perspective on the Continuum Hypothesis: Why Freiling’s... Symmetry is Irrelevant by William C. Abram
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty
A Constructive Approach to Independent and Evidence
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
anguage ,A escript ion Adding
An Epistemic Halpern–Shoham Logic
An algorithmic approach for belief revision
An Algorithm for Adapting Cases Represented in ALC
An Action Description Language for Iterated Belief Change
An Abstract Logical Approach to Characterizing Strong Equivalence in
Lecture 11
Least and greatest fixed points in linear logic
Learning from Textbook William W. Cohen Abstract
Motion Planning and Control from Temporal Logic Specifications
Modular Reuse of Ontologies: Theory and Practice
Model Counting in Product Configuration
«
prev
1 ...
203
204
205
206
207
208
209
210
211
... 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