Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Math
  2. Advanced Math
  3. Logic
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
A Computational Model of Belief
A Computational Model of Belief
A Computational Logic Approach to the Belief
A Computational Logic Approach to the Belief
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
A complete axiomatisation for the inclusion of series-parallel
A complete axiomatisation for the inclusion of series-parallel
A Compilation of the Full PDDL+ Language into SMT
A Compilation of the Full PDDL+ Language into SMT
A comparative study between XPDL, BPML 1.0 and
A comparative study between XPDL, BPML 1.0 and
A Classi cation of Symbolic Transition Systems
A Classi cation of Symbolic Transition Systems
Bible 120 New Testament 66-70
Bible 120 New Testament 66-70
BEYOND ω-REGULAR LANGUAGES The notion of ω
BEYOND ω-REGULAR LANGUAGES The notion of ω
Between Saying and Doing: Towards an Analytic Pragmatism
Between Saying and Doing: Towards an Analytic Pragmatism
Between Intω,ω> and intuitionistic propositional logic1
Between Intω,ω> and intuitionistic propositional logic1
Beth Definability in Expressive Description Logics ˙Inanc¸ Seylan Balder ten Cate Enrico Franconi
Beth Definability in Expressive Description Logics ˙Inanc¸ Seylan Balder ten Cate Enrico Franconi
Belief-Based Risk Analysis Audun Jøsang Daniel Bradley Svein J. Knapskog
Belief-Based Risk Analysis Audun Jøsang Daniel Bradley Svein J. Knapskog
Belief Update Using Graphs Konstantinos Georgatos
Belief Update Using Graphs Konstantinos Georgatos
Belief Update Revisited J´erˆome Lang IRIT – CNRS / Universit´e Paul Sabatier
Belief Update Revisited J´erˆome Lang IRIT – CNRS / Universit´e Paul Sabatier
Belief Revision with General Epistemic States Hua Meng Hui Kou Sanjiang Li
Belief Revision with General Epistemic States Hua Meng Hui Kou Sanjiang Li
Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
Belief Revision in the Propositional Closure of a Qualitative Algebra
Belief Revision in the Propositional Closure of a Qualitative Algebra
Belief Revision and Truth Maintenance Systems: An Overview and a Proposal
Belief Revision and Truth Maintenance Systems: An Overview and a Proposal
Belief Revision and Progression of Knowledge Bases
Belief Revision and Progression of Knowledge Bases