| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sidney C. Bailin |
Retraction of: "A normalization theorem for set theory".  |
J. Symb. Log.  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin |
Features Need Stories. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
ontology, evaluation, features, domain model, story |
| 1 | Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee |
Progressive autonomy: a method for gradually introducing autonomy into space missions. |
ISSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee |
Progressive Autonomy - An Incremental Agent-based Approach. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin |
Software Reuse as Ontology Negotiation. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Guo, Michael W. Berry, Bryan B. Thompson, Sidney C. Bailin |
Knowledge-Enhanced Latent Semantic Indexing. |
Inf. Retr. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Heike B. Lehmann |
Facilitating Physician-Patient Dialogue through Ontology Negotiation. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Walt Truszkowski, Sidney C. Bailin |
Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing. |
FLAIRS Conference |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin, Walt Truszkowski |
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems. |
AMKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Gary Berg-Cross, Timothy W. Finin |
Panel Discussion on Ontologies. |
WRAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Walt Truszkowski |
Ontology Negotiation: How Agents Can Really Get to Know Each Other. |
WRAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Walt Truszkowski |
Ontology Negotiation Using JESS. |
ICEIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin, Walt Truszkowski |
Ontology Negotiation between Scientific Archives. |
SSDBM |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin, Walt Truszkowski |
Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents. |
CIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin |
Ontology Negotiation in a Community of Agents. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Henderson, Sidney C. Bailin |
A dynamic memory of software designs. |
AI EDAM |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Dave Barker-Plummer |
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill |
&: Automated Natural Deduction. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Barker-Plummer, Sidney C. Bailin |
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Robert H. Gattis, Walt Truszkowski |
A Learning-Based Software Engineering Environment. |
KBSE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin |
An Object-Oriented Requirements Specifications Method. |
Commun. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin |
A Normalization Theorem for Set Theory. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin |
A lambda-Unifiability Test for Set Theory. |
J. Autom. Reasoning |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")