default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Non-Classical Logics, Volume 12
Volume 12, Number 1, 2002
- Costas D. Koutras
, Christos Nomikos, Pavlos Peppas:
Canonicity and Completeness Results for Many-Valued Modal Logics. 7-42 - Abir Nour:
The Tableau Method for a Logical System Based on a Finite Poset. 43-62 - Diderik Batens, Timothy Vermeir:
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. 63-84 - Ross T. Brady:
Ordering Properties for the Routley-Meyer Relation R. J. Appl. Non Class. Logics 12(1): 85-98 (2002) - László Aszalós:
Automated Puzzle Solving. 99-116
Volume 12, Number 2, 2002
- Salem Benferhat, Philippe Besnard:
Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. J. Appl. Non Class. Logics 12(2): 133-134 (2002) - Thomas D. Nielsen:
Decomposition of influence diagrams. 135-150 - Andrés Cano, Juan M. Fernández-Luna, Serafín Moral:
Computing probability intervals with simulated annealing and probability trees. 151-171 - Norman E. Fenton, Paul Krause, Martin Neil:
Probability modelling for software quality control. 173-188 - Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo:
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. 189-213 - Gabriele Kern-Isberner:
Handling conditionals adequately in uncertain reasoning and belief revision. 215-237 - Frédéric Koriche:
Approximate coherence-based reasoning. 239-258 - James P. Delgrande, Torsten Schaub:
Reasoning Credulously and skeptically within a single extension. 259-285 - Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
Realistic desires. 287-308
Volume 12, Numbers 3-4, 2002
- Philippe Balbiani:
Foreword. 317-318 - Marco Aiello, Johan van Benthem:
A Modal Walk Through Space. 319-364 - Philippe Balbiani, Valentin Goranko:
Modal Logics for Parallelism, Orthogonality, and Affine Geometries. 365-398 - Isabelle Bloch:
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning. 399-424 - Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
Axiomatizing Distance Logics. 425-440 - Ian Pratt-Hartmann:
A Topological Constraint Language with Component Counting. 441-468 - Jochen Renz:
A Canonical Model of the Region Connection Calculus. 469-494 - Paolo Torrini, John G. Stell, Brandon Bennett:
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. 495-526 - Dimiter Vakarelov, Georgi D. Dimov, Ivo Düntsch, Brandon Bennett:
A Proximity Approach to Some Region-Based Theories of Space. 527-559
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
