Daniel G. Schwartz

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

2018

RecAdvisor: Criteria-based Ph.D. Supervisor Recommendation.

[BibT_eX]

[DOI]

Mir Anamul Hasan

Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018

2017

A Theory of Event Possibility with Application to Vehicle Waypoint Navigation.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Logic in Intelligent System Design, 2017

2015

Dynamic Reasoning Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

On the probability of a fuzzy event, with application to nonmonotonic reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), 2015

2014

Qualified Syllogisms with Fuzzy Predicates.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2014

Nonmonotonic Reasoning as a Temporal Activity.

[BibT_eX]

[DOI]

CoRR, 2014

2012

Modeling Local Belief Revision in a Dynamic Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2012

2011

Towards Agent-Oriented Knowledge Base Maintenance for Description Logic ALCN.

[BibT_eX]

[DOI]

Proceedings of The 22nd Midwest Artificial Intelligence and Cognitive Science Conference 2011, 2011

2010

Dynamic Reasoning for Description Logic Terminologies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2010

2009

Algorithms for Maintaining a Consistent Knowledge Base in Distributed Multiagent Environments.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Computing Sciences and Software Engineering, 2009

Formal Specifications for a Document Management Assistant.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Computing Sciences and Software Engineering, 2009

2008

Dynamic agent-oriented reasoning about belief and trust.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2008

A Logic for Qualified Syllogisms.

[BibT_eX]

[DOI]

Proceedings of the Advanced Techniques in Computing Sciences and Software Engineering, 2008

2006

Distinguishing false from true alerts in Snort by data mining patterns of alerts.

[BibT_eX]

[DOI]

Jidong Long

Proceedings of the Data Mining, 2006

An Agent-Oriented Logic for Belief and Trust.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Applying object-oriented metaphors and design patterns in defining semantic metadata schemata.

[BibT_eX]

Proceedings of the Advances in Metadata Research and Semantics, 2005

Application of Loop Reduction to Learning Program Behaviors for Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

An XML Distance Measure.

[BibT_eX]

Jidong Long

Proceedings of The 2005 International Conference on Data Mining, 2005

2004

Graphical User Interface Using a Reflective Architecture.

[BibT_eX]

Mahesh K. Patel

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

A MetaData Architecture for Case-Based Reasoning.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2004

2003

Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Toward a Generic Case-Based Reasoning Framework Using Adaptive Software Architectures.

[BibT_eX]

Erbil Yilmaz

Proceedings of the International Conference on Information and Knowledge Engineering. IKE'03, June 23, 2003

2000

Layman's probability theory: A calculus for reasoning with linguistic likelihood.

[BibT_eX]

[DOI]

Inf. Sci., 2000

1997

Dynamic Reasoning with Qualified Syllogisms.

[BibT_eX]

[DOI]

Artif. Intell., 1997

1995

A resolution-based system for symbolic approximate reasoning.

[BibT_eX]

[DOI]

Hsing-Tai Chung

Int. J. Approx. Reason., 1995

1994

Applications of fuzzy sets and approximate reasoning.

[BibT_eX]

[DOI]

Proc. IEEE, 1994

1991

A pattern recognition interpretation of implications.

[BibT_eX]

[DOI]

Dan E. Tamir

Abraham Kandel

Inf. Sci., 1991

A system for reasoning with imprecise linguistic information.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1991

1989

Outline of a Naive Semantics for Reasoning with Qualitative Linguistic Information.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

An Alternative Semantics for Linguistic Variables.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty and Intelligent Systems, 1988

1987

Semantic Completeness of Free-Variable Theories.

[BibT_eX]

[DOI]

Math. Log. Q., 1987

On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic.

[BibT_eX]

[DOI]

Math. Log. Q., 1987

A Free-Variable Theory of Primitive Recursive Arithmetic.

[BibT_eX]

[DOI]