A modified semantics for LUPS

DOI10.1007/3-540-45329-6_27MaRDI QIDQ4736478zbMATH OpenFDO

Authors João Alexandre Leite

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2258/22580261.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• LUPS -- A language for updating logic programs
• LUPS -- a language for updating logic programs
• Semantics of linear/modal lambda calculus
• A reinterpretation of the semilattice semantics with applications
• A denotational semantics of LC2
• A semantics for Prolog
• scientific article; zbMATH DE number 4050954
• An extension of the stable semantics via Lukasiewicz logic
• A lattice for abstract interpretation of dynamic (LISP-like) structures
• A semantics for modular general logic programs

Cited in

(3)

• LUPS -- A language for updating logic programs
• Dynamic knowledge representation and its applications
• LUPS -- a language for updating logic programs

Describes a project that uses

Uses Software

• LUPS

This page was built for publication: A modified semantics for LUPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736478)