dblp.uni-trier.dewww.uni-trier.de

Balázs Szörényi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11 Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán: Horn Complements: Towards Horn-to-Horn Belief Revision. AAAI 2008: 466-471
10EERobert H. Sloan, Balázs Szörényi, György Turán: Projective DNF formulae and their revision. Discrete Applied Mathematics 156(4): 530-544 (2008)
9EEBalázs Szörényi: Disjoint DNF Tautologies with Conflict Bound Two. JSAT 4(1): 1-14 (2008)
8EERobert H. Sloan, Balázs Szörényi, György Turán: On k-Term DNF with the Largest Number of Prime Implicants. SIAM J. Discrete Math. 21(4): 987-998 (2008)
2007
7EERobert H. Sloan, Balázs Szörényi, György Turán: Revising threshold functions. Theor. Comput. Sci. 382(3): 198-208 (2007)
2005
6EERobert H. Sloan, Balázs Szörényi, György Turán: On k-term DNF with largest number of prime implicants Electronic Colloquium on Computational Complexity (ECCC)(023): (2005)
2004
5EEJudy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán: New Revision Algorithms. ALT 2004: 395-409
4EEJudy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán: Theory revision with queries: Horn, read-once, and parity formulas. Artif. Intell. 156(2): 139-176 (2004)
2003
3EERobert H. Sloan, Balázs Szörényi, György Turán: Projective DNF Formulae and Their Revision. COLT 2003: 625-639
2EEJudy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán: Theory Revision with Queries: Horn, Read-once, and Parity Formulas Electronic Colloquium on Computational Complexity (ECCC)(039): (2003)
2000
1 Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán: Improved Algorithms for Theory Revision with Queries. COLT 2000: 236-247

Coauthor Index

1Judy Goldsmith [1] [2] [4] [5]
2Marina Langlois [11]
3Robert H. Sloan [1] [2] [3] [4] [5] [6] [7] [8] [10] [11]
4György Turán [1] [2] [3] [4] [5] [6] [7] [8] [10] [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)