Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book aims at providing an overview of probabilistic logic programming with a special emphasis on languages under the distribution semantics, and presents the main ideas for semantics, inference, and learning and highlights connections between the methods.

Logic programming. --- Probabilities --- Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. .

Computer science. --- Information technology --- Database management. --- Logic programming. --- Natural language processing (Computer science). --- Expert systems (Computer science). --- Theory of Computation. --- Computer Application in Administrative Data Processing. --- Database Management. --- Logic in AI. --- Natural Language Processing (NLP). --- Knowledge Based Systems. --- Management.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. .

Computer science. --- Information technology --- Database management. --- Logic programming. --- Natural language processing (Computer science). --- Expert systems (Computer science). --- Theory of Computation. --- Computer Application in Administrative Data Processing. --- Database Management. --- Logic in AI. --- Natural Language Processing (NLP). --- Knowledge Based Systems. --- Management.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Computer science. --- Computer science—Mathematics. --- Logic programming. --- Computers, Special purpose. --- Software engineering. --- Microprogramming. --- Theory of Computation. --- Mathematics of Computing. --- Logic in AI. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Control Structures and Microprogramming. --- Informatics --- Science --- Computer programming --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Computer science --- Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

Mathematical logic. --- Logic programming. --- Natural language processing (Computer science). --- Social sciences—Data processing. --- Software engineering. --- Microprogramming. --- Mathematical Logic and Foundations. --- Logic in AI. --- Natural Language Processing (NLP). --- Computer Application in Social and Behavioral Sciences. --- Software Engineering. --- Control Structures and Microprogramming. --- Computer programming --- Computer software engineering --- Engineering --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Formal methods (Computer science)