Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jin-Zhao Wu, Hong-Yan Tan, Yongli Li |
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(4), pp. 353-360, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Hans Jürgen Ohlbach, Dov M. Gabbay |
Calendar Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(4), pp. 291-323, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Dale Jacquette |
Paraconsistent Logical Consequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(4), pp. 337-351, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani |
The modal multilogic of geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(3), pp. 259-281, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Wooldridge, Clare Dixon, Michael Fisher 0001 |
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(3), pp. 225-258, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani, Luis Fariñas del Cerro |
Complete axiomatization of a relative modal logic with composition and intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(4), pp. 325-335, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Judit X. Madarász |
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 8(1-2), pp. 67-105, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Henry Prakken, Giovanni Sartor |
Argument-Based Extended Logic Programming with Defeasible Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(1), pp. 25-75, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Neil Tennant |
On Having Bad Contractions (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(2), pp. 241-266, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Jorge Lobo 0001, Goce Trajcevski |
Minimal and Consistent Evolution of Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(1), pp. 117-146, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Wiebe van der Hoek |
Some Considerations on the Logic PFD~. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(3), 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Mingsheng Ying, Bernadette Bouchon-Meunier |
Quantifiers, modifiers and qualifiers in fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(3), pp. 335-342, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Luca Boldrin, Claudio Sossai |
Local Possibilistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(3), pp. 309-333, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro del Val |
Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(2), pp. 213-240, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Linke, Torsten Schaub |
Towards a classification of Default Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(4), pp. 397-451, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Donald Perlis |
Sources of, and Exploiting, Inconsistency: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(1), pp. 13-24, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Alexei Yu. Muravitsky |
Knowledge Representation as Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(3), pp. 343-364, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Renwei Li, Luís Moniz Pereira |
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(1), pp. 77-116, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Tuan-Fang Fan, Bertrand I-Peng Lin, Churn-Jung Liau |
Nonmonotonic Reasoning Based on Incomplete Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(4), pp. 375-395, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Eliezer L. Lozinskii |
On Knowledge Evolution: Acquisition, Revision, Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(2), pp. 177-211, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Sven Ove Hansson |
Semi-Revision (invited paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 7(2), 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
16 | Anna Radzikowska |
A Three-Valued Approach to Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(2), pp. 149-190, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Elias Thijsse, Heinrich Wansing |
A Fugue on the Themes of Awareness Logic and Correspondence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(2), pp. 127-136, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Silvana Badaloni, Alberto Zanardo |
Plausible Reasoning: A First-Order Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 215-261, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Reiner Hähnle |
Exploiting Data Dependencies in Many-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(1), pp. 49-69, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Dimiter Vakarelov |
Many-dimensional arrow logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(4), pp. 303-345, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | John L. Pollock |
A General-Purpose Defeasible Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(1), pp. 89-113, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Giangiacomo Gerla |
Graded Consequence Relations and Fuzzy Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(4), pp. 369-379, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
Automated Deduction in a Graphical Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(1), pp. 29-47, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Bradley Richards |
Review of Stephen Muggleton, Ed.: Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 289-291, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Alexei Yu. Muravitsky |
A Framework for Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 263-286, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Yaroslav Shramko |
Review of Walter P. van Stigt: Brouwer's Intuitionism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 292-295, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Miller, Donald Perlis |
Automated Inference in Active Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(1), pp. 9-27, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Mihir K. Chakraborty, A. Chatterjee |
On Representation of Indeterminate Identity via Vague Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(2), pp. 191-201, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Heinemann |
Expressive Completeness of Modal Logic on Binary Ramified Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(4), pp. 347-367, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Risch |
Analytic Tableaux for Default Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(1), pp. 71-88, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Ricardo Caferra |
Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(3), pp. 287-288, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Anne Preller |
The Universe of Discourse of Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 6(2), pp. 137-147, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Phan Minh Dung, Chandrabose Aravindan |
Knowledge base dynamics, Abduction and Databases updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 51-76, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Inge Bethke, Piet Rodenburg |
A propositional logic with 4 values: true, false, divergent and meaningless. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(2), pp. 199-217, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | José Júlio Alferes, Luís Moniz Pereira |
Belief, Provability, and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 31-50, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Joeri Engelfriet, Jan Treur |
Temporal Theories of Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(2), pp. 239-261, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Hans Jürgen Ohlbach |
A Multi-Dimensional Terminological Knowledge Representation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(2), pp. 153-197, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Joeri Engelfriet, Jan Treur |
Temporal Theories of Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 97-119, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego |
Increasing the efficiency of automated theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 9-29, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Alexej P. Pynko |
On Priest's logic of paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(2), pp. 219-225, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Demri |
Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 77-96, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Heinrich Herre |
Generalized Compactness of Nonmonotonic Inference Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(1), pp. 121-135, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mihir K. Chakraborty |
Graded Consequence: Further Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 5(2), pp. 227-238, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Jacek Marciniec, Adam Mickiewicz |
Learning Categorial Grammar by Unification with Negative Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 181-200, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Petr Hájek 0001, Richard Zach |
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 215-220, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Szalas |
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 119-127, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Robin Hirsch |
From points to intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(1), pp. 7-27, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Sam Steel |
Actions on belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(1), pp. 29-71, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani, Andreas Herzig |
A translation from the modal logic of provability into K4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(1), pp. 73-77, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Michael Freund |
The W systems: between maximum entropy and minimal ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(1), pp. 79-90, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Juan Luis Castro, Enric Trillas, Susana Cubillo |
On consequence in approximate reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(1), pp. 91-103, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 141-179, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Karl Schlechta, David Makinson |
Local and Global Metrics for the Semantics of Counterfactual Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 129-140, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Enric Trillas, Susana Cubillo |
On Monotonic Fuzzy Conditional. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 4(2), pp. 201-214, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Marta Cialdea |
Herbrand style proof procedures for modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(2), pp. 205-223, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Siegel, Camilla Schwind |
Modal logic based theory for non-monotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(1), pp. 73-92, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Yuri Kaluzhny, Alexei Yu. Muravitsky |
A knowledge representation based on the Belnap's four-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(2), pp. 189-203, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Beata Konikowska |
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(1), pp. 39-71, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | André Fuhrmann |
Observations on validity and conditionals in belief revision systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(2), pp. 225-238, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Josep Maria Font, Massoud Moussavi |
Note on a six-valued extension of three-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(2), pp. 173-187, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Dov M. Gabbay, Uwe Reyle |
Computation with run time skolemisation (N-Prolog part 3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(1), pp. 93-128, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Javier Leach, Susana Nieva |
Foundations of a theorem prover for functional and mathematical uses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(1), pp. 7-38, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Ewa Orlowska |
Dynamic logic with program specifications and its relational proof system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 3(2), pp. 147-171, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Gerson Zaverucha |
Relevant logic as a basis for paraconsistent epistemic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 225-241, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Walter Alexandre Carnielli, Mamede Lima-Marques |
Reasoning under Inconsistent Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(1), 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Stephan Merz |
Decidability and incompleteness results for first-order temporal logics of linear time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 139-156, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Doherty 0001, Witold Lukaszewicz |
NML3. A Non-Monotonic Logic with Explicit Defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(1), 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Bernd-Holger Schlingloff |
Expressive completeness of temporal logic of trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 157-180, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Wiebe van der Hoek |
On the Semantics of Graded Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(1), 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
16 | Alfredo Burrieza, Inman P. de Guzmán |
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 181-200, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Chris Brink |
A comment on relevant truth table logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 243-246, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo Finger |
Handling database updates in two-dimensional temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 2(2), pp. 201-224, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Tanveer Fathima Syeda-Mahmood, Fei Wang 0002, David Beymer |
Recognition of object categories using affine kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, MIR 2010, Philadelphia, Pennsylvania, USA, March 29-31, 2010, pp. 15-24, 2010, ACM, 978-1-60558-815-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
affine kernels, class categorization, object recognition, image retrieval, image indexing, object categorization |
16 | Yan Liang |
Toward automatic artifact matching for tool evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
class matching model, reverse engineering, tool evaluation |
16 | Jinfu Liu, Qinghua Hu, Daren Yu |
Weighted Rough Set Learning: Towards a Subjective Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings, pp. 696-703, 2007, Springer, 978-3-540-71700-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weighted rough set, cost-sensitive learning, rule extraction, knowledge reduction, class imbalance learning |
16 | Alberto L. Morán, Carmen Perez, Marcela Rodríguez |
InClass-RTD: Providing Support for Real-Time Threaded Discussions in the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings, pp. 22-37, 2006, Springer, 3-540-39591-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
InClass-RTD, Real-time threaded discussions, In-class requested and spontaneous interactions, CSCL |
16 | Thomas Stibor, Philipp H. Mohr, Jonathan Timmis, Claudia Eckert 0001 |
Is negative selection appropriate for anomaly detection? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 321-328, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
positive selection, anomaly detection, artificial immune systems, negative selection, one-class SVM |
16 | Elisavet Konstantinou, Aristides Kontogeorgis, Yannis C. Stamatiou, Christos D. Zaroliagis |
Generating Prime Order Elliptic Curves: Difficulties and Efficiency Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 261-278, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Generation of Prime Order Elliptic Curves, Class Field Polynomials, Elliptic Curve Cryptosystems, Complex Multiplication |
16 | Chi-Wai Fung, Elvis Wai Chung Leung, Qing Li 0001 |
Efficient Query Execution Techniques in a 4DIS Video Database System for eLearning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 20(1), pp. 25-49, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multimedia eLearning video database system, four-dimensional information space (4DIS), vertical class partitioning, temporal semantics |
16 | Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz |
XRay Views: Understanding the Internals of Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 267-270, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Class Understanding, Logical Views, Concept Analysis |
16 | Jun Wang 0011, Klara Nahrstedt |
Hop-by-hop routing algorithms for premium traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 32(5), pp. 73-88, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
hop-by-hop routing, premium class, saturate bandwidth, differentiated service |
16 | Yee Leung, Jiang-Hong Ma, Wen-Xiu Zhang |
A New Method for Mining Regression Classes in Large Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(1), pp. 5-21, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
RCMD method, regression class, genetic algorithm, Data mining, robustness, mixture modeling, maximum likelihood method |
16 | Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero 0001 |
Using Metrics to Predict OO Information Systems Maintainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, pp. 388-401, 2001, Springer, 3-540-42215-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
object oriented information systems maintainability, class diagrams complexity, fuzzy deformable prototypes, UML, prediction models, object oriented metrics |
16 | Chun Hung Cheng 0001, Jian Tang 0001, Ada Wai-Chee Fu, Irwin King |
Hierarchical Classification of Documents with Error Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings, pp. 433-443, 2001, Springer, 3-540-41910-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Hierarchical document classification, naive Bayesian classifier, class taxonomy, parallel algorithm, error control |
16 | Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell 0004 |
An Automatic Test Case Generator Derived from State-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 270-277, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
State Machines, Test Cases Generator, State-Based Testing, Class Testing |
16 | Soonmi Lee, Hae Chull Lim |
Attribute Partitioning Algorithm in DOODB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 702-707, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Distributed Object-Oriented Databases, Class Fragment, Attribute Fragment, Method Fragment, Fragmentation, Vertical Partitioning |
16 | In Hwan Doh, Young Jin Kim, Jung Soo Park, Eunsam Kim, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh |
Towards greener data centers with storage class memory: minimizing idle power waste through coarse-grain management in fine-grain scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 309-318, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-volatile ram (nvram), storage class memory (scm), power management, servers |
16 | Daan Leijen |
Flexible types: robust type inference for first-class polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 66-77, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
first-class polymorphism, system f, mlf |
16 | Rong Pan, Martin Scholz |
Mind the gaps: weighting the unknown in large-scale one-class collaborative filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 667-676, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
one-class, collaborative filtering, large-scale |
16 | Zheng Sun, Xiaoguang Zhang 0004, Dianxu Ruan, Guiyun Xu |
A Maximum Class Distance Support Vector Machine-Based Algorithm for Recursive Dimension Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 251-258, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Maximum class distance, Recursive dimension reduction, SVM |
16 | Alexandre R. J. François |
Class-wide projects: fostering collaboration and creativity in computer science courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 7th Conference on Creativity & Cognition, Berkeley, California, USA, October 26-30, 2009, pp. 369-370, 2009, ACM, 978-1-60558-865-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
class-wide project, collaboration, creativity |
16 | Rosa Donat, Pep Mulet |
Characteristic-Based Schemes for Multi-Class Lighthill-Whitham-Richards Traffic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 37(3), pp. 233-250, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-class Lighthill Whitham Richards traffic model, High resolution shock capturing schemes, Finite-difference WENO schemes, Adaptive mesh refinement |
16 | Shuming Shi 0001, Xiaokang Liu, Ji-Rong Wen |
Pattern-based semantic class discovery with multi-membership support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 1453-1454, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lexical semantic relationship, semantic class, noise-tolerance |
16 | Lan Anh Tran |
A UML Model of the Client Tracking System at the Learning Enrichment Foundation in Toronto, Canada: A Study of Class, Object, and State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Emerging Technologies and Information Systems for the Knowledge Society, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 501-512, 2008, Springer, 978-3-540-87780-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram |