The following pages link to Journal of Applied Logic (Q124852):
Displaying 50 items.
- Special issue: Logics for intelligent agents and multi-agent systems (WLIAMAS 2008). Selected papers based on the presentations at the workshop, Sydney, Australia, December 2008. (Q654878) (← links)
- The structure of ideas in \textit{The Port Royal Logic} (Q729710) (← links)
- On the applicability of the ``number of possible states'' argument in multi-expert reasoning (Q729711) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Using abduction and induction for operational requirements elaboration (Q833728) (← links)
- Towards refinement of abductive or inductive hypotheses through propagation (Q833731) (← links)
- Reconsideration of circumscriptive induction with pointwise circumscription (Q833732) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Why indeterminate probability is rational (Q846519) (← links)
- Propositional relevance through letter-sharing (Q846520) (← links)
- Blueprint for a dynamic deontic logic (Q846521) (← links)
- Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack (Q846524) (← links)
- Mathematical foundations of consciousness (Q846525) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- TIME-ICTL 2003. Selected papers from the 10th international symposium on temporal representation and reasoning, TIME, and the 4th international conference on temporal logic, ICTL, Cairns, Australia, July 2003 (Q853514) (← links)
- Methods for modalities 3 (M4M-3). Selected papers of the modalities workshop, Nancy, France, September 22--23, 2003 (Q854799) (← links)
- Towards computer aided mathematics (Q865628) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics (Q865658) (← links)
- Question answering and database querying: bridging the gap with generalized quantification (Q881829) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Possibilistic reasoning with partially ordered beliefs (Q893599) (← links)
- A proof-theoretic universal property of determiners (Q893600) (← links)
- Computing the Lagrangians of the standard model (Q893602) (← links)
- Lexicographic pseudo MV-algebras (Q893603) (← links)
- The complement of a point subset in a projective space and a Grassmann space (Q898770) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Towards the logic of projective identification (Q898773) (← links)
- On classifying abduction (Q898774) (← links)
- A concept approach to input/output logic (Q898776) (← links)
- The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction (Q898777) (← links)
- Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras (Q898779) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
