Reasoning with logic programming

DOI10.1007/3-540-61488-5MaRDI QIDQ1923136zbMATH OpenOpenAlexFDO

Authors José Júlio Alferes, Luís Moniz Pereira

Publication date 6 October 1996

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

Full work available at URL https://doi.org/10.1007/3-540-61488-5

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 194376
• Logic programming with Prolog
• scientific article; zbMATH DE number 47956
• Logic programming with satisfiability
• scientific article; zbMATH DE number 86272
• Logic Programming, Argumentation and Human Reasoning
• scientific article; zbMATH DE number 4076677
• scientific article; zbMATH DE number 192840

Cited in

(18)

• Prolegomena to logic programming for non-monotonic reasoning
• Reconciling communication delays and negation
• Heterogeneous active agents. III: Polynomially implementable agents
• Knowledge representation and non-monotonic reasoning
• scientific article; zbMATH DE number 517025 (Why is no real title available?)
• An encompassing framework for paraconsistent logic programs
• Declarative Representation of Revision Strategies*
• Collaborative vs. Conflicting Learning, Evolution and Argumentation
• A variant of Thomason's first-order logic CF based on situations
• Epistemology and artificial intelligence
• Computing generalized specificity
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• Reasoning with logical bilattices
• scientific article; zbMATH DE number 4094775 (Why is no real title available?)
• Can you answer while you wait?
• scientific article; zbMATH DE number 4011898 (Why is no real title available?)
• An argument-based approach to reasoning with specificity
• Preferential theory revision

This page was built for publication: Reasoning with logic programming

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