Complementing Logic Program Semantics

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-61735-3_16

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Supercover Semantics for Deontic Action Logic

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019Spanish

Semantics-Based Program Integration

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

A Rewriting Logic Approach to Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000Spanish

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy