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
An introduction to Concurrency Theory
An Intro to the MOLE
AN EFFICIENT GRAPH ALGORITHM FOR DOMINANCE CONSTRAINTS
An Automata-Theoretic Approach to Uniform Interpolation Carsten Lutz and ˙Inanc¸ Seylan
Automatic Verification of Knowledge and Time with NuSMV
Automated Search for Impossibility Theorems Christian Geist Ulle Endriss
Abstract Dialectical Frameworks Revisited Johannes Peter Wallner and Stefan Woltran
A Semantic Decomposition of Defeasible Logics M.J. Maher
A Logic-based Approach to Combinatorial Testing with Constraints
A Decision Procedure for a Sublanguage of Set Theory Involving
A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande
Two Problems with Reasoning and Acting in Time
The Pragmatics of Word Meaning
Victor W. Marek
Variable-Strength Conditional Preferences for Matchmaking in Description Logics Thomas Lukasiewicz J¨org Schellhase
Yale University Department of Computer Science
XPath for DL Ontologies Egor V. Kostylev Juan L. Reutter Domagoj Vrgoˇc
Tractable Theories of Multiple Defeasible Inheritance
Thresholded Tabulation in a Fuzzy Logic Setting
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction G´
The Tacton View of Configuration Tasks and Engines
The Search New Axioms for
Overview of the Temporal Logic CTL*: Part 2 by
Notes
«
prev
1 ...
179
180
181
182
183
184
185
186
187
... 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