03563nam 22006855 450 991048381020332120200630202856.03-319-09870-510.1007/978-3-319-09870-8(CKB)3710000000219440(SSID)ssj0001298349(PQKBManifestationID)11753437(PQKBTitleCode)TC0001298349(PQKBWorkID)11241529(PQKB)11448553(DE-He213)978-3-319-09870-8(MiAaPQ)EBC5578160(PPN)179926039(EXLCZ)99371000000021944020140721d2014 u| 0engurnn#008mamaatxtccrRules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings /edited by Antonis Bikakis, Paul Fodor, Dumitru Roman1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XXII, 339 p. 77 illus.)Programming and Software Engineering ;8620Bibliographic Level Mode of Issuance: Monograph3-319-09869-1 Includes bibliographic references and index.This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.Programming and Software Engineering ;8620Artificial intelligenceApplication softwareComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Artificial intelligence.Application software.Computer logic.Artificial Intelligence.Information Systems Applications (incl. Internet).Logics and Meanings of Programs.Computer Applications.006.74Bikakis Antonisedthttp://id.loc.gov/vocabulary/relators/edtFodor Pauledthttp://id.loc.gov/vocabulary/relators/edtRoman Dumitruedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483810203321Rules on the Web: From Theory to Applications2830017UNINA