Reasoning with logic programming
From MaRDI portal
Publication:1923136
DOI10.1007/3-540-61488-5zbMath1293.68003MaRDI QIDQ1923136
Luís Moniz Pereira, José Júlio Alferes
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
68T27: Logic in artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming
Related Items
Declarative Representation of Revision Strategies*, Collaborative vs. Conflicting Learning, Evolution and Argumentation, A variant of Thomason's first-order logic CF based on situations, An argument-based approach to reasoning with specificity, An encompassing framework for paraconsistent logic programs, Heterogeneous active agents. III: Polynomially implementable agents, Preferential theory revision, Epistemology and artificial intelligence, Computing Generalized Specificity