Limit search to available items
Book Cover
E-book
Author RuleML+RR (Joint Conference) (2nd : 2018 : Luxembourg, Luxembourg)

Title Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman (eds.)
Published Cham, Switzerland : Springer, 2018

Copies

Description 1 online resource (xxiii, 328 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 11092
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 11092. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules
Summary This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed August 28, 2018)
Subject Computer logic -- Congresses
Computer programming -- Congresses
Software engineering -- Congresses
Logic, Symbolic and mathematical -- Congresses
Artificial intelligence -- Congresses
Programming & scripting languages: general.
Artificial intelligence.
Mathematical theory of computation.
Computer programming -- software development.
Public administration.
Computers -- Programming Languages -- General.
Computers -- Intelligence (AI) & Semantics.
Mathematics -- Logic.
Computers -- Programming -- General.
Computers -- Data Processing.
Artificial intelligence
Computer logic
Computer programming
Logic, Symbolic and mathematical
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Benzmüller, Christoph, editor.
Ricca, Francesco, editor
Parent, Xavier, editor
Roman, Dumitru (Research scientist), editor.
ISBN 9783319999067
3319999060
9783319999074
3319999079
Other Titles RuleML+RR 2018