Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations-Reference-Cited by-同舟云学术

Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

Published:2009 Issue: Volume: Page:45-58
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aranda-Corral Gonzalo A.,Borrego-Díaz Joaquín,Fernández-Lebrón M. Magdalena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02614-0_9

Reference23 articles.

1. Lecture Notes in Computer Science;J.-A. Alonso,2007

2. Amir, E., McIlraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence 162(1-2), 49–88 (2005)

3. Baader, F., Calvanese, D., McGuinnes, D.L., Nardi, P., Patel-Schneider, P.F.: The Description Logics Handbook. Theory, Implementations and Applications. Cambridge University Press, Cambridge (2003)

4. Bachmair, L., Ganzinger, H.: A theory of resolution. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, pp. 19–99. Elsevier Science Pub., Amsterdam (1998)

5. Beame, P., Impagliazzo, R., Krajícek, J., Pitassi, T., Pudlák, P.: Lower Bounds on Hilvert’s Nullstellensatz and propositional proofs. Proc. of London Mathematical Society 73, 1–26 (1996)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A model of three-way decisions for Knowledge Harnessing;International Journal of Approximate Reasoning;2020-05

2. Diagnosis in Tennis Serving Technique;Algorithms;2020-04-25

3. A logic-algebraic tool for reasoning with Knowledge-Based Systems;Journal of Logical and Algebraic Methods in Programming;2018-12

4. On Experimental Efficiency for Retraction Operator to Stem Basis;Trends in Mathematics and Computational Intelligence;2018-10-09

5. Confidence-Based Reasoning with Local Temporal Formal Contexts;Advances in Computational Intelligence;2011