The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Melvin Fitting: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Melvin Fitting
    A Kripke-Kleene Semantics for Logic Programs. [Citation Graph (18, 0)][DBLP]
    J. Log. Program., 1985, v:2, n:4, pp:295-312 [Journal]
  2. Melvin Fitting, Marion Ben-Jacob
    Stratified and Three-valued Logic Programming Semantics. [Citation Graph (6, 0)][DBLP]
    ICLP/SLP, 1988, pp:1054-1069 [Conf]
  3. Melvin Fitting
    Bilattices and the Semantics of Logic Programming. [Citation Graph (5, 0)][DBLP]
    J. Log. Program., 1991, v:11, n:1&2, pp:91-116 [Journal]
  4. Melvin Fitting
    The Family of Stable Models. [Citation Graph (2, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:2/3&4, pp:197-225 [Journal]
  5. Melvin Fitting
    Negation As Refutation [Citation Graph (1, 0)][DBLP]
    LICS, 1989, pp:63-70 [Conf]
  6. Melvin Fitting
    Well-Founded Semantics, Generalized. [Citation Graph (1, 0)][DBLP]
    ISLP, 1991, pp:71-84 [Conf]
  7. Melvin Fitting
    First-Order Modal Tableaux. [Citation Graph (1, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:2, pp:191-213 [Journal]
  8. Melvin Fitting
    Enumeration Operators and Modular Logic Programming. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:1, pp:11-21 [Journal]
  9. Melvin Fitting
    Bisimulations and Boolean Vectors. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:97-126 [Conf]
  10. Ruili Ye, Melvin Fitting
    Belief, Names, and Modes of Presentation. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:389-408 [Conf]
  11. Melvin Fitting
    Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:14-28 [Conf]
  12. Melvin Fitting
    A Mistake on My Part. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:665-670 [Conf]
  13. Melvin Fitting
    Modal Logic Should Say More Than It Does. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:113-135 [Conf]
  14. Melvin Fitting
    Databases and Higher Types. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:41-52 [Conf]
  15. Melvin Fitting
    Higher-Order Modal Logic - A Sketch. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:23-38 [Conf]
  16. Melvin Fitting
    Many-Valued Semantics for Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:23-24 [Conf]
  17. Melvin Fitting
    Resolution for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1987, pp:400-407 [Conf]
  18. Melvin Fitting
    Bilattices in Logic Prograrnming. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1990, pp:238-246 [Conf]
  19. Melvin Fitting
    Many-Valued Non-Monotonic Modal Logics. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:139-150 [Conf]
  20. Melvin Fitting
    Annotated Revision Specification Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:143-155 [Conf]
  21. Melvin Fitting
    Metric Methods in the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:69-71 [Conf]
  22. Melvin Fitting
    Modality and Databases. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:19-39 [Conf]
  23. Melvin Fitting, Lars Thalmann, Andrei Voronkov
    Term-Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:220-236 [Conf]
  24. Melvin Fitting
    First-order intensional logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:171-193 [Journal]
  25. Melvin Fitting
    The logic of proofs, semantically. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:132, n:1, pp:1-25 [Journal]
  26. Melvin Fitting
    A Simple Propositional S5 Tableau System. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:107-115 [Journal]
  27. Melvin Fitting
    A Program to Compute Gödel-Löb Fixpoints. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal]
  28. Melvin Fitting
    A Quantified Logic of Evidence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:59-71 [Journal]
  29. Melvin Fitting
    Many-valued modal logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1991, v:15, n:3-4, pp:235-254 [Journal]
  30. Melvin Fitting
    Many-Valued Model Logics II. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:17, n:1-2, pp:55-73 [Journal]
  31. Melvin Fitting
    Kleene's Three Valued Logics and Their Children. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:20, n:1/2/3, pp:113-131 [Journal]
  32. Melvin Fitting
    A Modal Herbrand Theorem. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:101-122 [Journal]
  33. Melvin Fitting
    On Quantified Modal Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:105-121 [Journal]
  34. Melvin Fitting
    Barcan Both Ways. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal]
  35. Melvin Fitting
    Tableaux for Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:2, pp:175-188 [Journal]
  36. Melvin Fitting
    A Deterministic Prolog Fixpoint Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1985, v:2, n:2, pp:111-118 [Journal]
  37. Melvin Fitting
    Metric Methods Three Examples and a Theorem. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:21, n:3, pp:113-127 [Journal]
  38. Melvin Fitting
    Interpolation for First Order S5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:621-634 [Journal]
  39. Melvin Fitting
    An Embedding of Classical Logic in S4. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:4, pp:529-534 [Journal]
  40. Melvin Fitting
    Model Existence Theorems for Modal and Intuitionistic Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:4, pp:613-627 [Journal]
  41. Melvin Fitting
    Linear Reasoning in Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1363-1378 [Journal]
  42. Melvin Fitting
    Modal Logics Between Propositional and First-order. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:6, pp:1017-1026 [Journal]
  43. Melvin Fitting
    Destructive Modal Resolution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:1, pp:83-97 [Journal]
  44. Melvin Fitting
    Kleene's Logic, Generalized. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:6, pp:797-810 [Journal]
  45. Melvin Fitting
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:2, pp:107-110 [Journal]
  46. Melvin Fitting
    leanTAP Revisited. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:1, pp:33-47 [Journal]
  47. Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
    The Pure Logic of Necessitation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:349-373 [Journal]
  48. Melvin Fitting
    Tableaus for many-valued modal logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:1, pp:63-87 [Journal]
  49. Melvin Fitting, Lars Thalmann, Andrei Voronkov
    Term-Modal Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:1, pp:133-169 [Journal]
  50. Melvin Fitting
    Fixpoint semantics for logic programming a survey. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:278, n:1-2, pp:25-51 [Journal]
  51. Melvin Fitting
    Partial Models and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:48, n:3, pp:229-255 [Journal]
  52. Melvin Fitting
    Realizations and LP. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:212-223 [Conf]

  53. S4LPand Local Realizability. [Citation Graph (, )][DBLP]


  54. Justification logics, logics of knowledge, and conservativity. [Citation Graph (, )][DBLP]


  55. A quantified logic of evidence. [Citation Graph (, )][DBLP]


  56. Realizations and LP. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002