Reasoning with logic programming
From MaRDI portal
Publication:1923136
DOI10.1007/3-540-61488-5zbMATH Open1293.68003OpenAlexW4212796991MaRDI QIDQ1923136FDOQ1923136
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
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
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cited In (18)
- Can you answer while you wait?
- Knowledge representation and non-monotonic reasoning
- Epistemology and artificial intelligence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reconciling communication delays and negation
- An encompassing framework for paraconsistent logic programs
- Prolegomena to logic programming for non-monotonic reasoning
- An argument-based approach to reasoning with specificity
- Collaborative vs. Conflicting Learning, Evolution and Argumentation
- Computing generalized specificity
- Preferential theory revision
- Reasoning with logical bilattices
- A variant of Thomason's first-order logic CF based on situations
- Declarative Representation of Revision Strategies*
- Heterogeneous active agents. III: Polynomially implementable agents
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
