Efficient negation using abstract interpretation

DOI10.1007/3-540-45653-8_33MaRDI QIDQ2996186zbMATH OpenOpenAlexFDO

Authors S. Muñoz, Juan José Moreno, Manuel Hermenegildo

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL http://oa.upm.es/14377/

zbMATH Keywords

abstract interpretationconstraint logic programmingprogram analysisnegation in logic programmingimplementations of logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logics in Artificial Intelligence
• Implementing constructive intensional negation
• Functional and Logic Programming
• Negation and control in PROLOG
• Logic Programming

Cited in

(3)

• Implementing constructive intensional negation
• Extending constructive logic negation with types
• Logics in Artificial Intelligence

This page was built for publication: Efficient negation using abstract interpretation

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