Monotonic and residuated logic programs

DOI10.1007/3-540-44652-4_66MaRDI QIDQ4784882zbMATH OpenFDO

Authors Luís Moniz Pereira, Carlos V. Damásio

Publication date 12 December 2002

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/2143/21430748

zbMATH Keywords

logic programmingmany-valued logicspossibilistic logic

Mathematics Subject Classification ID

Logic programming (68N17) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Hybrid probabilistic logic programs as residuated logic programs
• Hybrid probabilistic logic programs as residuated logic programs
• Antitonic logic programs
• Logic programs with monotone abstract constraint atoms
• On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs

Cited in

(34)

• On the monotonicity of (LDL) logic programs with set.
• An encompassing framework for paraconsistent logic programs
• Syntax and semantics of multi-adjoint normal logic programming
• Similarity-based unification: A multi-adjoint approach
• A neural implementation of multi-adjoint logic programming
• Residuation for soft constraints: lexicographic orders and approximation techniques
• The fuzzy logic programming language FASILL: design and implementation
• Extended multi-adjoint logic programming
• Termination of logic programs with imperfect information: applications and query procedure
• Thresholded semantic framework for a fully integrated fuzzy logic language
• Right adjoint algebras versus operator left residuated posets
• On the existence and unicity of stable models in normal residuated logic programs
• From fuzzy to annotated semantic web languages
• Analysis of residuating logic programs
• On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
• scientific article; zbMATH DE number 1241673 (Why is no real title available?)
• A core language for fuzzy answer set programming
• Hybrid probabilistic logic programs as residuated logic programs
• Characterizing and extending answer set semantics using possibility theory
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• A fuzzy extension of data exchange
• Fuzzy logic programming reduced to reasoning with attribute implications
• Logic Programming and Nonmonotonic Reasoning
• Fuzzy logic programs as hypergraphs. Termination results
• Multi-adjoint lattice logic and truth-stressing hedges
• A logical characterization of multi-adjoint algebras
• Immediate consequences operator on generalized quantifiers
• Fuzzy data exchange
• Stratified extended multi-adjoint logic programming
• Computational reaching of quantified consequences from imperfect initial data
• Aggregated fuzzy answer set programming
• Possibilistic uncertainty handling for answer set programming
• Fuzzy logic programming via multilattices
• Tabulation proof procedures for fuzzy linguistic logic programming

This page was built for publication: Monotonic and residuated logic programs

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