@INPROCEEDINGS{Hustadt+Tishkovsky+Wolter+Zakharyaschev@JELIA2006,
 AUTHOR        = {Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, M.},
 TITLE         = {Automated reasoning about metric and topology},
 BOOKTITLE     = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006) [Liverpool, UK, 13-15 September 2006]},
 YEAR          = {2006},
 EDITOR        = {Fisher, M. and van der Hoek, Wiebe and Konev, B. and Lisitsa, A.},
 PAGES         = {490-493},
 PUBLISHER     = {Springer},
 CADDRESS      = {Liverpool, UK},
 CYEAR         = {2006},
 CMONTH        = sep # {~13-15},
 SERIES        = {LNAI},
 VOLUME        = {4160},
 URL           = {http://dx.doi.org/10.1007/11853886_44},
 ABSTRACT = {In this paper we compare two approaches to automated
 reasoning about metric and topology in the framework of the logic MT
 introduced in [10].  MT-formulas are built from set variables
 p1,p2,... (for arbitrary subsets of a metric space) using the Booleans
 conjunction, disjunction, implication, and negation, distance
 operators, and topological interior and closure operators I and C.}
}

{"_id":"rpo7jjFDGdLJa7Giv","bibbaseid":"hustadt-tishkovsky-wolter-zakharyaschev-automatedreasoningaboutmetricandtopology-2006","author_short":["Hustadt, U.","Tishkovsky, D.","Wolter, F.","Zakharyaschev, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["U."],"suffixes":[]},{"propositions":[],"lastnames":["Tishkovsky"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Wolter"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Zakharyaschev"],"firstnames":["M."],"suffixes":[]}],"title":"Automated reasoning about metric and topology","booktitle":"Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006) [Liverpool, UK, 13-15 September 2006]","year":"2006","editor":[{"propositions":[],"lastnames":["Fisher"],"firstnames":["M."],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Hoek"],"firstnames":["Wiebe"],"suffixes":[]},{"propositions":[],"lastnames":["Konev"],"firstnames":["B."],"suffixes":[]},{"propositions":[],"lastnames":["Lisitsa"],"firstnames":["A."],"suffixes":[]}],"pages":"490-493","publisher":"Springer","caddress":"Liverpool, UK","cyear":"2006","cmonth":"September 13-15","series":"LNAI","volume":"4160","url":"http://dx.doi.org/10.1007/11853886_44","abstract":"In this paper we compare two approaches to automated reasoning about metric and topology in the framework of the logic MT introduced in [10]. MT-formulas are built from set variables p1,p2,... (for arbitrary subsets of a metric space) using the Booleans conjunction, disjunction, implication, and negation, distance operators, and topological interior and closure operators I and C.","bibtex":"@INPROCEEDINGS{Hustadt+Tishkovsky+Wolter+Zakharyaschev@JELIA2006,\n AUTHOR = {Hustadt, U. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, M.},\n TITLE = {Automated reasoning about metric and topology},\n BOOKTITLE = {Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006) [Liverpool, UK, 13-15 September 2006]},\n YEAR = {2006},\n EDITOR = {Fisher, M. and van der Hoek, Wiebe and Konev, B. and Lisitsa, A.},\n PAGES = {490-493},\n PUBLISHER = {Springer},\n CADDRESS = {Liverpool, UK},\n CYEAR = {2006},\n CMONTH = sep # {~13-15},\n SERIES = {LNAI},\n VOLUME = {4160},\n URL = {http://dx.doi.org/10.1007/11853886_44},\n ABSTRACT = {In this paper we compare two approaches to automated\n reasoning about metric and topology in the framework of the logic MT\n introduced in [10]. MT-formulas are built from set variables\n p1,p2,... (for arbitrary subsets of a metric space) using the Booleans\n conjunction, disjunction, implication, and negation, distance\n operators, and topological interior and closure operators I and C.}\n}\n","author_short":["Hustadt, U.","Tishkovsky, D.","Wolter, F.","Zakharyaschev, M."],"editor_short":["Fisher, M.","van der Hoek, W.","Konev, B.","Lisitsa, A."],"key":"Hustadt+Tishkovsky+Wolter+Zakharyaschev@JELIA2006","id":"Hustadt+Tishkovsky+Wolter+Zakharyaschev@JELIA2006","bibbaseid":"hustadt-tishkovsky-wolter-zakharyaschev-automatedreasoningaboutmetricandtopology-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11853886_44"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["automated","reasoning","metric","topology","hustadt","tishkovsky","wolter","zakharyaschev"],"title":"Automated reasoning about metric and topology","year":2006}