scientific article; zbMATH DE number 1292289

zbMath0925.68097MaRDI QIDQ4244297

Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício

Publication date: 27 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (7)

Static semantics for normal and disjunctive logic programs ⋮ An abductive framework for extended logic programming ⋮ Nonmonotonicity and answer set inference ⋮ A system for defeasible argumentation, with defeasible priorities ⋮ Graph theoretical structures in logic programs and default theories ⋮ An encompassing framework for paraconsistent logic programs ⋮ A rule based knowledge transaction model for mobile environments

This page was built for publication: