1.

Record Nr.

UNICASRML0295909

Titolo

Band 2. Verfassungsstaat / mit beiträgen von Peter Badura...[et al.]

Pubbl/distr/stampa

Heidelberg, : C. F. Müller, ©2004

ISBN

3811450719

Edizione

[3. vollig neubearbeitete und erweiterte Aufl]

Descrizione fisica

XXIX,1079 p. ; 25 cm

Collana

Handbuch des Staatsrechts der Bundesrepublik Deutschland. - Heidelberg : C. F. Müller

Disciplina

342.45

Soggetti

Diritto costituzionale - Germania

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910483810203321

Titolo

Rules 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 Roman

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014

ISBN

3-319-09870-5

Edizione

[1st ed. 2014.]

Descrizione fisica

1 online resource (XXII, 339 p. 77 illus.)

Collana

Programming and Software Engineering, , 2945-9168 ; ; 8620

Disciplina

006.74

Soggetti

Artificial intelligence

Application software

Computer science

Artificial Intelligence

Computer and Information Systems Applications

Computer Science Logic and Foundations of Programming

Lingua di pubblicazione

Inglese



Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographic references and index.

Sommario/riassunto

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.