Debugging for Model Expansion (Q5325763): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 20:25, 1 July 2024

scientific article; zbMATH DE number 5586272

Language	Label	Description	Also known as
English	Debugging for Model Expansion	scientific article; zbMATH DE number 5586272

Statements

scholarly article

0 references

Debugging for Model Expansion (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-642-02846-5_26

0 references

0 references

Hanne Vlaeminck

0 references

0 references

Logic Programming

0 references

publication date

24 July 2009

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-02846-5_26

0 references

0 references

A logic of nonmonotone inductive definitions

0 references

Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions

0 references

Opium: an extendable trace analyzer for Prolog

0 references

Predicate-calculus-based logics for modeling and solving search problems

0 references

0 references

Logic Programming

0 references

Logics in Artificial Intelligence

0 references

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

0 references

Justifications for Logic Programs Under Answer Set Semantics

0 references

0 references

The well-founded semantics for general logic programs

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5325763

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5325763&oldid=35119944"