Search results for "class"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig	Foreword.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Karim Nour, Abir Nour	Propositional mixed logic: its syntax and semantics.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Xiaocong Fan, John Yen	A Logical Splitting Strategy for the Belief Structure of Agents.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Costas D. Koutras	A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Zofia Kostrzycka	On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Samir Farkh, Karim Nour	Complete types in an extension of the system AF2.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar, Guillermo Ricardo Simari	Computing Generalized Specificity.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Robert Demolombe	Belief Change: from Situation Calculus to Modal Logic.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Achille C. Varzi, Massimo Warglien	The Geometry of Negation.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Xavier Parent	Remedial Interchange, Contrary-to-Duty Obligation and Commutation.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Frédéric Koriche	Approximate coherence-based reasoning.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Gabriele Kern-Isberner	Handling conditionals adequately in uncertain reasoning and belief revision.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Isabelle Bloch	Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	László Aszalós	Automated Puzzle Solving.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Foreword.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Marco Aiello 0001, Johan van Benthem	A Modal Walk Through Space.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Jochen Renz	A Canonical Model of the Region Connection Calculus.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	James P. Delgrande, Torsten Schaub	Reasoning Credulously and skeptically within a single extension.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Salem Benferhat, Philippe Besnard	Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty.	J. Appl. Non Class. Logics	2002	DBLP BibTeX RDF
16	Thomas D. Nielsen	Decomposition of influence diagrams.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Ian Pratt-Hartmann	A Topological Constraint Language with Component Counting.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Costas D. Koutras, Christos Nomikos, Pavlos Peppas	Canonicity and Completeness Results for Many-Valued Modal Logics.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Diderik Batens, Timothy Vermeir	Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Abir Nour	The Tableau Method for a Logical System Based on a Finite Poset.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre	Realistic desires.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Paolo Torrini, John G. Stell, Brandon Bennett	Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Dimiter Vakarelov, Georgi D. Dimov, Ivo Düntsch, Brandon Bennett	A Proximity Approach to Some Region-Based Theories of Space.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Ross T. Brady	Ordering Properties for the Routley-Meyer Relation R.	J. Appl. Non Class. Logics	2002	DBLP BibTeX RDF
16	Andrés Cano, Juan M. Fernández-Luna, Serafín Moral	Computing probability intervals with simulated annealing and probability trees.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev	Axiomatizing Distance Logics.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Valentin Goranko	Modal Logics for Parallelism, Orthogonality, and Affine Geometries.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Norman E. Fenton, Paul Krause, Martin Neil	Probability modelling for software quality control.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
16	Pierre Marquis, Nadège Porquet	Computational Aspects of Quasi-Classical Entailment.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Gerhard Brewka	Declarative Representation of Revision Strategies.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Renata Wassermann	Local Diagnosis.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Raymond Lau 0001, Arthur H. M. ter Hofstede, Peter Bruza	Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Antonio Di Nola, Brunella Gerla	A discrete free MV-algebra over one generator.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Lawrence Peter Belluce, Ada Lettieri, Salvatore Sessa 0002	Products of Ideals in MV -algebras.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Adnan Darwiche	On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Sándor Jenei	Structure of left-continuous triangular norms with strong induced negations - Rotation-annihilation construction.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Richard Booth 0001	The lexicographic closure as a revision process.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Jayanta Sen, Mihir K. Chakraborty	Linear Logic and Lukasiewicz - Valued Logic: A Logico-Algebraic Study.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Gabriele Kern-Isberner	Conditional indifference and conditional preservation.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Samir Chopra, Konstantinos Georgatos, Rohit Parikh	Relevance Sensitive Non-Monotonic Inference on Belief Sequences.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Pieter Hendrik Rodenburg	A complete system of four-valued logic.	J. Appl. Non Class. Logics	2001	DBLP BibTeX RDF
16	Philippe Balbiani	A new proof of completeness for a relative modal logic with composition and intersection.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Thomas Andreas Meyer	On the semantics of combination operations.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Antonino Drago	Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Nic Wilson, Jérôme Mengin	Embedding Logics in the Local Computation Framework.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Horacio L. Arló-Costa	Hypothetical revision and matter-of-fact supp osition.	J. Appl. Non Class. Logics	2001	DBLP DOI BibTeX RDF
16	Adam Obtulowicz	Triangular Logic of Partial Toposes.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Mi Lu, Jin-Zhao Wu	On theorem proving in annotated logics.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer	Unification and passive inference rules for modal logics.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Valentin Goranko	Temporal logics with reference pointers and computation tree logics.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Guido Vanackere	HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Inman P. de Guzmán, Manuel Enciso, Pablo Cordero	A temporal negative normal form which preserves implicants and implicates.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella	SAT vs. translation based decision procedures for modal logics: a comparative evaluation.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Sándor Jenei	Structure of left-continuous triangular norms with strong induced negations.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Joeri Engelfriet, Jan Treur	Specification of nonmonotonic reasoning.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Pieter Hendrik Rodenburg	A complete system of four-valued logic.	J. Appl. Non Class. Logics	2000	DBLP BibTeX RDF
16	Alexej P. Pynko	Regular bilattices.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Sébastien Konieczny, Ramón Pino Pérez	A framework for iterated revision.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Miklós Ferenczi	On representability of neatly embeddable cylindric algebras.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Jan A. Bergstra, Alban Ponse	Process Algebra with Four-Valued Logic.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Ivo Düntsch, Beata Konikowska	A multimodal logic for reasoning about complementarity.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Elena Tsiporkova, Bernard De Baets, Veselka Boeva	Evidence theory in multivalued models of modal logic.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
16	Giovanni Panti	Varieties of MV-algebras.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	V. Sotirov	Arithmetizations of Syllogistic à la Leibniz.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Àngel J. Gil, Jordi Rebagliato, Ventura Verdú	A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Ewa Orlowska	A hierarchy of modal logics with relative accessibility relations.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Lluís Godo, Petr Hájek 0001	Fuzzy inference as deduction.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Johan van Benthem	The Range of Modal Logic.	J. Appl. Non Class. Logics	1999	DBLP BibTeX RDF
16	Valentin B. Shehtman	"Everywhere" and "Here".	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Larisa Maksimova	Temporal logics of "the next" do not have the Beth property.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Inequality without irreflexivity.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Yunqing Lin	Two theories of time.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Dmitrij P. Skvortsov	Remark on a finite axiomatization of finite intermediate propositional logics.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Valentin Goranko, Dimiter Vakarelov	Hyperboolean Algebras and Hyperboolean Modal Logic.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Karl Schlechta	Results on infinite extensions.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Manuel Abad, J. Patricio Díaz Varela	Free double Ockham algebras.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Michael Kohlhase, Ortwin Scheja	Higher Order Multi-Valued Resolution.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Alexej P. Pynko	Functional completeness, axiomatizability within Belnap's four valued logic and its expansions.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Itala M. Loffredo D'Ottaviano, Hércules A. Feitosa	Many-valued logics and translations.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Lawrence Peter Belluce, Antonio Di Nola, George Georgescu	Perfect MV-algebras and l-rings.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	George Gargov	Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Dimiter Vakarelov	Rough Polyadic modal logics.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Adriana Galli, Marta Sagastume	Some operations in Kripke models with an involution.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Ullrich Hustadt, Renate A. Schmidt	An empirical analysis of modal theorem provers.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Sergei N. Artëmov	Realization of Intuitionistic Logic by Proof Polynomials.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Maciej Wygralak	A look at metrics and norms through the Lukasiewicz logic.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	Melvin Fitting	Barcan Both Ways.	J. Appl. Non Class. Logics	1999	DBLP DOI BibTeX RDF
16	James Brawner, James Vorbach	An Algorithmic Logic Approach to Formalizing Database Update Semantics.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Aleksey Novodvorsky, Aleksey Smirnov	A shell for generic interactive proof search.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Edward Bryniarski, Urszula Wybraniec-Skardowska	Calculus of Contextual Rough Sets in Contextual Spaces.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Graham Priest	The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Sven Ove Hansson, Hans Rott	A Plea for Accuracy.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Regimantas Pliuskevicius	Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Marcelo F. Frias, Ewa Orlowska	Equational Reasoning in Non--Classical Logics.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Marcin Mostowski	Computational semantics for monadic quantifiers.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF