Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
Document13570613 13570613
Document13570613 13570613
Document10968883 10968883
Document10968883 10968883
Document13591602 13591602
Document13591602 13591602
Document11889453 11889453
Document11889453 11889453
Document13356838 13356838
Document13356838 13356838
Document10504230 10504230
Document10504230 10504230
Document10478113 10478113
Document10478113 10478113
Document13356830 13356830
Document13356830 13356830
Document11465992 11465992
Document11465992 11465992
Document13356808 13356808
Document13356808 13356808
a b with register $s2.
a b with register $s2.
a b c d
a b c d
a a+1
a a+1
A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE
A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE
A TENTATIVE NEW LOGICAL APPROACH FOR ... Luis M. Laita, Luis de Ledesma, ...
A TENTATIVE NEW LOGICAL APPROACH FOR ... Luis M. Laita, Luis de Ledesma, ...
A sequential reversible belief revision
A sequential reversible belief revision
A Semantic Characterization of an Algorit
A Semantic Characterization of an Algorit
A SAT-based decision procedure for AL:C
A SAT-based decision procedure for AL:C
A Representationalist Theory of Intention
A Representationalist Theory of Intention
A REPRESENTATION FOR COLLECTIONS OF TEMPORAL INTERVALS*
A REPRESENTATION FOR COLLECTIONS OF TEMPORAL INTERVALS*
A Pertinence Logic Characterization of Stable Models (Preliminary
A Pertinence Logic Characterization of Stable Models (Preliminary
A Parallel Resolution Procedure Based on Connection Graph
A Parallel Resolution Procedure Based on Connection Graph
A NEAT1 THEORY OF MARKER PASSING
A NEAT1 THEORY OF MARKER PASSING
A Model for Belief Revision ARTIFICIAL INTELLIGENCE 25
A Model for Belief Revision ARTIFICIAL INTELLIGENCE 25