Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
tarafından
 
Benzmüller, Christoph. editor.

Başlık
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Yazar
Benzmüller, Christoph. editor.

ISBN
9783319999067

Edisyon
1st ed. 2018.

Fiziksel Niteleme
XXIII, 328 p. 80 illus. online resource.

Seri
Programming and Software Engineering ; 11092

İçindekiler
Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. .

Özet
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.

Konu Başlığı
Computer science.
 
Artificial intelligence.
 
Logic design.
 
Information systems.
 
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
 
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
 
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product-market-codes/I2301X

Yazar Ek Girişi
Benzmüller, Christoph.
 
Ricca, Francesco.
 
Parent, Xavier.
 
Roman, Dumitru.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-99906-7


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book221978-1001QA76.6 -76.66Springer E-Book Collection