Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Sidney C. Bailin

Papers on DiSC'02


Ontology Negotiation between Scientific Archives

Publications


Note: Links lead to the DBLP on the Web.

Sidney C. Bailin

10 Sidney C. Bailin, Walt Truszkowski : Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. CIA 2001 : 223-228

9 Sidney C. Bailin, Walt Truszkowski : Ontology Negotiation Using JESS. ICEIS (1) 2001 : 559-570

8 Sidney C. Bailin, Walt Truszkowski : Ontology Negotiation between Scientific Archives. SSDBM 2001 : 245-250

7 Sidney C. Bailin: Ontology Negotiation in a Community of Agents. FAABS 2000 : 294-297

6 Sidney C. Bailin, Dave Barker-Plummer : Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. Journal of Automated Reasoning 11 (3): 391-428 (1993)

5 Dave Barker-Plummer , Sidney C. Bailin, Andrew S. Merrill : &: Automated Natural Deduction. CADE 1992 : 716-720

4 Dave Barker-Plummer , Sidney C. Bailin: Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. ECAI 1992 : 55-59

3 Sidney C. Bailin, Robert H. Gattis , Walt Truszkowski : A Learning-Based Software Engineering Environment. KBSE 1991 : 198-206

2 Sidney C. Bailin: An Object-Oriented Requirements Specifications Method. CACM 32 (5): 608-623 (1989)

1 Sidney C. Bailin: A lambda-Unifiability Test for Set Theory. Journal of Automated Reasoning 4 (3): 269-286 (1988)




DiSC'02 © 2003 Association for Computing Machinery