Sidney C. Bailin

According to our database1, Sidney C. Bailin authored at least 28 papers between 1988 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
A Flexible, Evolvable Data Broker.
Proceedings of the SKY 2015, 2015

2012
Frontier modeling support environment: flexibility to adapt to diverse stakeholders.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011
Retraction of: "A normalization theorem for set theory".
J. Symb. Log., 2011

2009
Features Need Stories.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2005
Progressive autonomy: a method for gradually introducing autonomy into space missions.
ISSE, 2005

Progressive Autonomy - An Incremental Agent-based Approach.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004
Software Reuse as Ontology Negotiation.
Proceedings of the Software Reuse: Methods, 2004

2003
Knowledge-Enhanced Latent Semantic Indexing.
Inf. Retr., 2003

Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Facilitating Physician-Patient Dialogue through Ontology Negotiation.
Proceedings of the 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 2003

Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems.
Proceedings of the Agent Mediated Knowledge Management, 2003

2002
Ontology negotiation between intelligent information agents.
Knowledge Eng. Review, 2002

Ontology Negotiation: How Agents Can Really Get to Know Each Other.
Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

Panel Discussion on Ontologies.
Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

2001
Ontology Negotiation between Scientific Archives.
Proceedings of the 13th International Conference on Scientific and Statistical Database Management, 2001

Ontology Negotiation Using JESS.
Proceedings of the ICEIS 2001, 2001

Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents.
Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

2000
Formal alternative management integrating logical inference and rationals (FAMILIAR).
ACM SIGSOFT Software Engineering Notes, 2000

Ontology Negotiation in a Community of Agents.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1994
A dynamic memory of software designs.
AI EDAM, 1994

1993
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.
J. Autom. Reasoning, 1993

1992
Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams.
ECAI, 1992

&: Automated Natural Deduction.
Proceedings of the Automated Deduction, 1992

1991
A Learning-Based Software Engineering Environment for Reusing Design Knowledge.
International Journal of Software Engineering and Knowledge Engineering, 1991

A Learning-Based Software Engineering Environment.
Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

1989
An Object-Oriented Requirements Specifications Method.
Commun. ACM, 1989

1988
A Normalization Theorem for Set Theory.
J. Symb. Log., 1988

A lambda-Unifiability Test for Set Theory.
J. Autom. Reasoning, 1988


  Loading...