The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Alexander Bochman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alexander Bochman
    Production Inference, Nonmonotonicity and Abduction. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  2. Alexander Bochman
    Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:265-308 [Conf]
  3. Alexander Bochman
    A Logic For Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:141-146 [Conf]
  4. Alexander Bochman
    Propositional Argumentation and Causal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:388-393 [Conf]
  5. Alexander Bochman
    On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1518-1524 [Conf]
  6. Alexander Bochman
    Credulous Nonmonotonic Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:30-35 [Conf]
  7. Alexander Bochman
    Possible Worlds Semantics for Credulous and Contraction Inference. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:94-105 [Conf]
  8. Alexander Bochman
    A Causal Logic of Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:427-437 [Conf]
  9. Alexander Bochman
    On the Relation Between Default and Modal Consequence Relations. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:63-74 [Conf]
  10. Alexander Bochman
    Biconsequence Relations for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:482-492 [Conf]
  11. Alexander Bochman
    Default Consequence Relations as a Logical Framework for Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:245-258 [Conf]
  12. Alexander Bochman
    A Study of Przymusinski's Static Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:170-184 [Conf]
  13. Alexander Bochman
    On Logics and Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:37-56 [Conf]
  14. Alexander Bochman
    Two representations for iterative non-prioritized change. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:135-141 [Conf]
  15. Alexander Bochman
    Collective argumentation. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:436-443 [Conf]
  16. Alexander Bochman
    A foundationalist view of the AGM theory of belief change. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:116, n:1-2, pp:237-263 [Journal]
  17. Alexander Bochman
    A causal approach to nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2004, v:160, n:1-2, pp:105-143 [Journal]
  18. Alexander Bochman
    On the Relation Between Default and Modal Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:101, n:1-2, pp:1-34 [Journal]
  19. Alexander Bochman
    A Foundational Theory of Belief and Belief Change. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:108, n:1-2, pp:309-352 [Journal]
  20. Alexander Bochman
    Brave Nonmonotonic Inference and Its Kinds. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:39, n:1-2, pp:101-121 [Journal]
  21. Alexander Bochman
    Modal Nonmonotonic Logics Demodalized. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:1, pp:101-123 [Journal]
  22. Alexander Bochman
    Two Representations for Iterative Non-prioritized Change [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  23. Alexander Bochman
    Collective Argumentation [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  24. Alexander Bochman
    On a Logical Basis of Normal Logic Program. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:3-4, pp:223-245 [Journal]
  25. Alexander Bochman
    A Logical Foundation for Logic Programming II: Semantics of General Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:2, pp:171-194 [Journal]
  26. Alexander Bochman
    A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:2, pp:151-170 [Journal]
  27. Alexander Bochman
    Entrenchment versus Dependence: Coherence and Foundations inBelief Change. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:1, pp:3-27 [Journal]
  28. Alexander Bochman
    Belief Contraction as Nonmonotonic Inference. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:2, pp:605-626 [Journal]
  29. Alexander Bochman
    Collective Argumentation and Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:3, pp:405-428 [Journal]
  30. Alexander Bochman
    Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:3, pp:403-414 [Journal]
  31. Alexander Bochman
    Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1990, v:31, n:4, pp:580-601 [Journal]
  32. Alexander Bochman
    Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:1, pp:47-73 [Journal]

  33. Enhanced Contraction and (In)dependence Preliminary report. [Citation Graph (, )][DBLP]


  34. Default Theory of Defeasible Entailment. [Citation Graph (, )][DBLP]


  35. Default logic generalized and simplified. [Citation Graph (, )][DBLP]


Search in 0.004secs, 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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002