Vai al contenuto principale della pagina

Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / / edited by Guido Governatori, Anni-Yasmin Turhan



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Governatori Guido Visualizza persona
Titolo: Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / / edited by Guido Governatori, Anni-Yasmin Turhan Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Edizione: 1st ed. 2022.
Descrizione fisica: 1 online resource (310 pages)
Disciplina: 005.115
Soggetto topico: Computer science
Information technology - Management
Database management
Logic programming
Expert systems (Computer science)
Natural language processing (Computer science)
Theory of Computation
Computer Application in Administrative Data Processing
Database Management
Logic in AI
Knowledge Based Systems
Natural Language Processing (NLP)
Altri autori: TurhanAnni-Yasmin  
Nota di contenuto: Answer Set Programming -- Foundations of Nonmonotonic Reasoning -- Datalog -- Queries Over Ontologies -- Proofs, Error-tolerance, and Rules -- Agents and Argumentation.
Sommario/riassunto: This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th 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 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation.
Titolo autorizzato: Rules and Reasoning  Visualizza cluster
ISBN: 9783031215414
3031215419
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910635393903321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 13752
Recent advances in constraints : 12th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : Revised selected papaers / François Fages, Francesca Rossi, Sylvain Soliman (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2007 : <12.; : <2007
Recent advances in constraints : 13th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2008 : Rome, Italy, june 18-20, 2009 : Revised selected papaers / Angelo Oddi...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2008 : <13.; : <2008
Recent advances in constraints : 11th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : Revised selected and invited papers / François Azevedo...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2006 : <11.; : 2006
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
BETTELLI, Oscar
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers
International workshop on constraint solving and constraint logic programming : <2005