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 Declarative View of Inheritance in Logic Programming
A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari
A Concurrent Logical Framework: The Propositional Fragment ? Kevin Watkins
A Computational Logic Approach to the Belief
Automatic Interface Generation for Enumerative Model Checking
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
Action-Based Alternating Transition Systems for Arguments about Action
The Symbolic Distance (descriminability) effect
Uncertainty, probability
ualitative ase e*
W-reading: Logic: Deductions With Assumptions
Why are there names - The Institute for Logic, Language and
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu
Toward a General Framework for Hierarchical Task-Network Planning
Topological Reasoning for Identifying a Complete Set of
Veri cation of Concurrent Programs: The Automata-Theoretic Framework Moshe Y. Vardi
Variables, Debugging, Control Structures Topics
Useful Transformations in Answer set programming Mauricio Osorio Chris Giannella
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
sea_ausra_1772830
Scalable Semantic Retrieval Through Summarization and Refinement Li Ma Aaron Kershenbaum
Satisfiability Modulo Theories
Satisfiability for Propositional Contexts Luciano Serafini Floris Roelofsen
«
prev
1 ...
187
188
189
190
191
192
193
194
195
... 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