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 Unified Framework for Representing Logic Program Updates Yan Zhang Norman Foo
A Semantic Model For UNITY Zhiming Liu University of Warwick
A Modal Logic for Beliefs and Pro Attitudes Kaile Su
A Description Logic of Change
A Demand-driven Algorithm for Generating Minimal Models Rachel Ben-Eliyahu - Zohary
Admissible and Restrained Revision Richard Booth Thomas Meyer
Abstracting Abstraction in Search II: Complexity Analysis
Answering Queries Using Views over Description Logics Knowledge Bases
answering another alleged dilemma destroying dialetheism
Analytical Writing
An Integrative, Layered Approach to Lexical Semantics
An Epistemic Logic with Quantification over ...
An Integration of Theorem Proving 19104
Argument Theory Change Applied to Defeasible Logic Programming Mart´ın O. Moguillansky
Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty , Martin Magnusson
aphic Limitations se Logic Programs Abstract
Alon Y. Levy Marie-Christine Rousset
Belief Update Revisited J´erˆome Lang IRIT – CNRS / Universit´e Paul Sabatier
Belief Revision with General Epistemic States Hua Meng Hui Kou Sanjiang Li
Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
Belief Revision and Progression of Knowledge Bases
Baseline conditions and subtractive logic in neuroimaging
Baby Don`t Hurt Me
Authoring Environment for ShapeShifting Screen Media Productions
«
prev
1 ...
212
213
214
215
216
217
218
219
220
... 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