| 2005 |
|---|
| 21 | | Walt Truszkowski,
Christopher Rouff,
Sidney C. Bailin,
Mike Rilee:
Progressive Autonomy - An Incremental Agent-based Approach.
Software Engineering Research and Practice 2005: 9-15 |
| 20 | EE | Walt Truszkowski,
Christopher Rouff,
Sidney C. Bailin,
Mike Rilee:
Progressive autonomy: a method for gradually introducing autonomy into space missions.
ISSE 1(2): 89-99 (2005) |
| 2004 |
|---|
| 19 | EE | Sidney C. Bailin:
Software Reuse as Ontology Negotiation.
ICSR 2004: 242-253 |
| 2003 |
|---|
| 18 | EE | Sidney C. Bailin,
Walt Truszkowski:
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems.
AMKM 2003: 368-387 |
| 17 | EE | Sidney C. Bailin,
Heike B. Lehmann:
Facilitating Physician-Patient Dialogue through Ontology Negotiation.
CBMS 2003: 248- |
| 16 | | Walt Truszkowski,
Sidney C. Bailin:
Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing.
FLAIRS Conference 2003: 62-66 |
| 15 | | David Guo,
Michael W. Berry,
Bryan B. Thompson,
Sidney C. Bailin:
Knowledge-Enhanced Latent Semantic Indexing.
Inf. Retr. 6(2): 225-250 (2003) |
| 2002 |
|---|
| 14 | EE | Sidney C. Bailin,
Walt Truszkowski:
Ontology Negotiation: How Agents Can Really Get to Know Each Other.
WRAC 2002: 320-334 |
| 13 | EE | Sidney C. Bailin,
Gary Berg-Cross,
Timothy W. Finin:
Panel Discussion on Ontologies.
WRAC 2002: 471-474 |
| 2001 |
|---|
| 12 | EE | Sidney C. Bailin,
Walt Truszkowski:
Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents.
CIA 2001: 223-228 |
| 11 | | Sidney C. Bailin,
Walt Truszkowski:
Ontology Negotiation Using JESS.
ICEIS (1) 2001: 559-570 |
| 10 | | Sidney C. Bailin,
Walt Truszkowski:
Ontology Negotiation between Scientific Archives.
SSDBM 2001: 245-250 |
| 2000 |
|---|
| 9 | EE | Sidney C. Bailin:
Ontology Negotiation in a Community of Agents.
FAABS 2000: 294-297 |
| 1993 |
|---|
| 8 | | Sidney C. Bailin,
Dave Barker-Plummer:
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.
J. Autom. Reasoning 11(3): 391-428 (1993) |
| 1992 |
|---|
| 7 | | Dave Barker-Plummer,
Sidney C. Bailin,
Andrew S. Merrill:
&: Automated Natural Deduction.
CADE 1992: 716-720 |
| 6 | | Dave Barker-Plummer,
Sidney C. Bailin:
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
ECAI 1992: 55-59 |
| 1991 |
|---|
| 5 | | Sidney C. Bailin,
Robert H. Gattis,
Walt Truszkowski:
A Learning-Based Software Engineering Environment.
KBSE 1991: 198-206 |
| 4 | EE | Sidney C. Bailin,
Robert H. Gattis,
Walt Truszkowski:
A Learning-Based Software Engineering Environment for Reusing Design Knowledge.
International Journal of Software Engineering and Knowledge Engineering 1(4): 351-371 (1991) |
| 1989 |
|---|
| 3 | | Sidney C. Bailin:
An Object-Oriented Requirements Specifications Method.
Commun. ACM 32(5): 608-623 (1989) |
| 1988 |
|---|
| 2 | | Sidney C. Bailin:
A lambda-Unifiability Test for Set Theory.
J. Autom. Reasoning 4(3): 269-286 (1988) |
| 1 | | Sidney C. Bailin:
A Normalization Theorem for Set Theory.
J. Symb. Log. 53(3): 673-695 (1988) |
