Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A FUZZY LOGIC BASED INTELLIGENT NEGOTIATION AGENT
A Fully Verified Executable LTL Model Checker
A Fully Verified Executable LTL Model Checker
A Framework for Representing and Solving NP Search Problems
A Framework for Representing and Solving NP Search Problems
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Integration of Logical and Probabilistic Knowledge
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Framework for Inherent Vacuity Dana Fisman , Orna Kupferman , Sarai Sheinvald-Faragy
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
A Formal Analysis of Relevance
A Formal Analysis of Relevance
A Formal Account of Nondeterministic and Failed Actions
A Formal Account of Nondeterministic and Failed Actions
A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern
A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern
A First-Order Theory of Communicating First-Order Formulas Ernest Davis
A First-Order Theory of Communicating First-Order Formulas Ernest Davis
A few weather myths dispelled…
A few weather myths dispelled…
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