The Thirty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS-31) was held May 21-23, 2018, at the Crowne Plaza Oceanfront in Melbourne, Florida, USA. The conference events included invited speakers, special tracks, and presentations of papers, posters, and awards. The conference chair was Zdravko Markov from Central Connecticut State University. The program co-chairs were Vasile Rus from the University of Memphis and Keith Brawner from the Army Research Laboratory. The special tracks were coordinated by Roman Barták from Charles University in Prague.

Report on the Thirtieth International Florida Artificial Intelligence Research Society Conference (FLAIRS-30)

The 30th International Florida Artificial Intelligence Research Society Conference (FLAIRS-30) was held May 22–24, 2017, at the Hilton Marco Island Beach Resort and Spa in Marco Island, Florida, USA. The conference events included invited speakers, special tracks, and presentations of papers, posters, and awards. The conference chair was Ingrid Russell from the University of Hartford. The program cochairs were Vasile Rus from The University of Memphis and Zdravko Markov from Central Connecticut State University. The special tracks were coordinated by Keith Brawner from the Army Research Laboratory.

The 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS-29) was held May 16-18, 2016, at the Hilton Key Largo Resort in Key Largo, Florida, USA. The conference events included invited speakers, special tracks, and presentations of papers, posters, and awards. The conference chair was Bill Eberle from Tennessee Technological University. The special track were coordinated by Vasile Rus from University of Memphis.

The 29th International Florida Artificial Intelligence Research Society Conference (FLAIRS-29) was held May 16-18, 2016, at the Hilton Key Largo Resort in Key Largo, Florida, USA. The conference events included invited speakers, special tracks, and presentations of papers, posters, and awards. The conference chair was Bill Eberle from Tennessee Technological University. The program co-chairs were Zdravko Markov from Central Connecticut State University and Ingrid Russell from the University of Hartford. The special track were coordinated by Vasile Rus from University of Memphis.

Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore, must deal with vague, incomplete and even inconsistent knowledge. Rules were shown to be very effective in processing such knowledge, and future web services are expected to depend heavily on them. RuleML, which is the earliest effort to define a normalized markup for representing and exchanging rules on the web, is currently limited to Horn rules. Significant research efforts are underway to extend RuleML with more flexible representation and reasoning capabilities. This paper presents an extension of the current rule format intended to accommodate uncertain and/or inconsistent knowledge, and shows how one truth maintenance logic can be adapted and extended to support such rules.