Rules and Reasoning

Rules and Reasoning

6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Turhan, Anni-Yasmin; Governatori, Guido

Springer International Publishing AG

12/2022

305

Mole

Inglês

9783031215407

15 a 20 dias

492

Descrição não disponível.
Answer Set Programming.- Foundations of Nonmonotonic Reasoning.- Datalog.- Queries Over Ontologies.- Proofs, Error-tolerance, and Rules.- Agents and Argumentation.
artificial intelligence;computer programming;computer science;computer systems;databases;engineering;formal languages;formal logic;internet;knowledge representation;knowledge-based system;linguistics;logic programming;mathematics;ontologies;programming languages;reasoning;semantics;software engineering;World Wide Web