Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
An Action Preliminary Report
An Action Preliminary Report
Abductive Reasoning with Filtered Circumscription Abstract Department of Computer and Information Science
Abductive Reasoning with Filtered Circumscription Abstract Department of Computer and Information Science
Abductive and Default asoning: A Computational Core
Abductive and Default asoning: A Computational Core
Abduction and Question Answering
Abduction and Question Answering
Abduction and Conversational Implicature (Extended Abstract) Chiaki Sakama Katsumi Inoue
Abduction and Conversational Implicature (Extended Abstract) Chiaki Sakama Katsumi Inoue
Abbott`s paper in doc format
Abbott`s paper in doc format
ABA : Assumption-Based Argumentation with Preferences Kristijonas ˇ Cyras and Francesca Toni
ABA : Assumption-Based Argumentation with Preferences Kristijonas ˇ Cyras and Francesca Toni
a. p - People Server at UNCW - University of North Carolina
a. p - People Server at UNCW - University of North Carolina
A. Goldman - University of Windsor
A. Goldman - University of Windsor
A. Crandell English 9 4 February, 2015 Character Analysis Essay
A. Crandell English 9 4 February, 2015 Character Analysis Essay
A-Claim - Erick Ramirez
A-Claim - Erick Ramirez
a word has a meaning in a proposition only like a rod is a lever only
a word has a meaning in a proposition only like a rod is a lever only
A Well-Founded Semantics for Basic Logic Programs Yisong Wang Fangzhen Lin
A Well-Founded Semantics for Basic Logic Programs Yisong Wang Fangzhen Lin
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
A Unified Framework for Representing Logic Program Updates Yan Zhang Norman Foo
A Unified Framework for Representing Logic Program Updates Yan Zhang Norman Foo
A Type System for Certified Binaries
A Type System for Certified Binaries
A Type System for Certified Binaries
A Type System for Certified Binaries
A Tutorial Introduction to Structured Isar Proofs
A Tutorial Introduction to Structured Isar Proofs
A Triadic Model for the Study of Impossibility in the
A Triadic Model for the Study of Impossibility in the
A Transformational Proof System for Delta-Oriented Programming
A Transformational Proof System for Delta-Oriented Programming
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus Erik T. Mueller
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus Erik T. Mueller
A timeline for Whitehead and Russell as logician`s
A timeline for Whitehead and Russell as logician`s
A Theory of Vague Adjectives Grounded in Relevant Observables Brandon Bennett
A Theory of Vague Adjectives Grounded in Relevant Observables Brandon Bennett
A Theory of Termination via Indirection Aquinas Hobor
A Theory of Termination via Indirection Aquinas Hobor