Reasoning with logic programming
From MaRDI portal
Publication:1923136
DOI10.1007/3-540-61488-5zbMath1293.68003OpenAlexW4212796991MaRDI QIDQ1923136
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
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)
Related Items (11)
Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Reconciling communication delays and negation ⋮ Heterogeneous active agents. III: Polynomially implementable agents ⋮ Preferential theory revision ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ An encompassing framework for paraconsistent logic programs ⋮ An argument-based approach to reasoning with specificity ⋮ Declarative Representation of Revision Strategies* ⋮ Computing Generalized Specificity ⋮ Epistemology and artificial intelligence ⋮ Can you answer while you wait?
This page was built for publication: Reasoning with logic programming
