Tutorial Notes: Reasoning About Logic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-55930-2_18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Reasoning About Multi-Stage Programs

Journal of Functional Programming
Software
2016English

A Tutorial on Synthesis of Logic Programs From Specifications

1994English

A Logic for Reasoning About Counterfactual Emotions

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2011English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

A Modal Temporal Logic for Reasoning About Change

1983English

Tutorial on Separation Logic (Invited Tutorial)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Reasoning About Object-Oriented Programs That Use Subtypes

1990English

Nonmonotonic Ontological and Rule-Based Reasoning With Extended Conceptual Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy