Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A Faithful Integration of Description Logics with Logic Programming
A Faithful Integration of Description Logics with Logic Programming
R Language Definition v3.3.2
R Language Definition v3.3.2
A Dictionary for Foundations of Analysis Logic
A Dictionary for Foundations of Analysis Logic
A Description Logic of Change
A Description Logic of Change
A DEONTIC COUNTERPART OF LEWIS’ S1
A DEONTIC COUNTERPART OF LEWIS’ S1
A Demand-driven Algorithm for Generating Minimal Models Rachel Ben-Eliyahu - Zohary
A Demand-driven Algorithm for Generating Minimal Models Rachel Ben-Eliyahu - Zohary
A Defeasible Logic Programming System for the Web
A Defeasible Logic Programming System for the Web
A Declarative View of Inheritance in Logic Programming
A Declarative View of Inheritance in Logic Programming
A Decision Procedure for a Sublanguage of Set Theory Involving
A Decision Procedure for a Sublanguage of Set Theory Involving
A Decision Making and Problem Analysis Supporting System Norbert Sram
A Decision Making and Problem Analysis Supporting System Norbert Sram
A Decidable Temporal Logic of Repeating Values ? St´ephane Demri
A Decidable Temporal Logic of Repeating Values ? St´ephane Demri
A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari
A Decidable Logic for Time Intervals: Propositional Neighborhood Logic Angelo Montanari
A Davidsonian Semantics for Comparative Adjectives
A Davidsonian Semantics for Comparative Adjectives
A COUNTEREXAMPLE TO A RESULT CONCERNING CLOSURE OPERATORS
A COUNTEREXAMPLE TO A RESULT CONCERNING CLOSURE OPERATORS
A countably categorical theory which is not G
A countably categorical theory which is not G
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty
A Context Broker for Building Smart Meeting Rooms
A Context Broker for Building Smart Meeting Rooms
A Constructive Argumentation Framework Souhila Kaci Yakoub Salhi
A Constructive Argumentation Framework Souhila Kaci Yakoub Salhi
A Constructive Approach to the Resource Semantics of Substructural Logics
A Constructive Approach to the Resource Semantics of Substructural Logics
A Constructive Approach to Independent and Evidence
A Constructive Approach to Independent and Evidence
A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande
A Consistency-Based Model for Belief Change: Preliminary Report James P. Delgrande
A Concurrent Logical Framework: The Propositional Fragment ? Kevin Watkins
A Concurrent Logical Framework: The Propositional Fragment ? Kevin Watkins
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert