Skip to content
cs-conference-ranking.org

Melvin Fitting

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

17

Venues

10

Active years

1986–2020

Best venue rank

A*

Where they publish

Papers

17 indexed papers, newest first.

YearVenueTitleAuthors
2020AiMLAbout 'Binding Modalities'.Melvin Fitting
2011TABLEAUXNested Sequents and Prefixed Tableaus.Melvin Fitting
2008CSRS4LPand Local Realizability.Melvin Fitting
2008ISAIMExplicit Logics of Knowledge and Conservativity.Melvin Fitting
2007LFCSRealizations and LP.Melvin Fitting
2002AiMLBisimulations and Boolean Vectors.Melvin Fitting
2000AiMLBelief, Names, and Modes of Presentation.Ruili Ye, Melvin Fitting
2000TABLEAUXModality and Databases.Melvin Fitting
2000TABLEAUXTerm-Modal Logics.Melvin Fitting, Lars Thalmann, Andrei Voronkov
1998AISCBertrand Russell, Herbrand's Theorem, and the Assignment Statement.Melvin Fitting
1995LPNMRAnnotated Revision Specification Programs.Melvin Fitting
1992ICLPMany-Valued Semantics for Logic Programming.Melvin Fitting
1992LFCSMany-Valued Non-Monotonic Modal Logics.Melvin Fitting
1989LICSNegation As RefutationMelvin Fitting
1988ICLPStratified and Three-valued Logic Programming Semantics.Melvin Fitting, Marion Ben-Jacob
1987ISMISResolution for Intuitionistic Logic.Melvin Fitting
1986ISMISLogic programming semantics using a compact data structure.Melvin Fitting