BibSonomy :: author  ::

bookmarks

publications

(358)

• Common Foundations for belief revision, belief merging and voting.
  Dov M. Gabbay and Gabriella Pigozzi and Odinaldo Rodrigues Formal Models of Belief Change in Rational Agents (2007)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Classical vs non-classical logics (the universality of classical logic).
  Dov M. Gabbay Handbook of Logic in Artificial Intelligence and Logic Programming (2) 359-495 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Mathematical induction.
  Christoph Walther Handbook of Logic in Artificial Intelligence and Logic Programming (2) 127-228 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Meta-languages, reflection principles, and self-reference.
  Donald Perlis and V. S. Subrahmanian Handbook of Logic in Artificial Intelligence and Logic Programming (2) 323-358 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Unification theory.
  Franz Baader and Jörg H. Siekmann Handbook of Logic in Artificial Intelligence and Logic Programming (2) 41-126 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Logical basis for the automation of reasoning: Case studies.
  Larry Wos and Robert Veroff Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1-40 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Higher order logic.
  Daniel Leivant Handbook of Logic in Artificial Intelligence and Logic Programming (2) 229-322 (1994)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• Perfect periodic correlation sequences
  Avraham Freedman and Nadav Levanon and Shimshon Gabbay Signal Processing 41 165--174 (1995)
  to Perfect correlation periodic sequence by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• The effects of nonlinear interactions and network structure in small group opinion dynamics
  Michael Gabbay Physica A: Statistical Mechanics and its Applications 378 118--126 (2007)
  to Opinion dynamics by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Editorial.
  Dov M. Gabbay Logic Journal of the IGPL 1 1-2 (1993)
  to dblp by dblp and 1 other person on 2008-04-04 00:00:00
  | URL | BibTeX