An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance-Reference-Cited by-同舟云学术

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

Published:2008 Issue: Volume: Page:128-139
ISSN:0302-9743
Container-title:PRICAI 2008: Trends in Artificial Intelligence
language:
Short-container-title:

Author:

Golińska-Pilarek Joanna,Mora Angel,Muñoz-Velasco Emilio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89197-0_15

Reference21 articles.

1. Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17(3), 239–251 (2002)

2. Burrieza, A., Mora, A., Ojeda-Aciego, M., Orłowska, E.: Implementing a relational system for order-of-magnitude reasoning. Technical Report (2008)

3. Lecture Notes in Artificial Intelligence;A. Burrieza,2007

4. Lecture Notes in Artificial Intelligence;A. Burrieza,2006

5. Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae 68, 21–46 (2005)

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

1. Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility;Outstanding Contributions to Logic;2018

2. A hybrid qualitative approach for relative movements;Logic Journal of IGPL;2015-04-04

3. On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility;Logics in Artificial Intelligence;2012

4. Reasoning with Qualitative Velocity: Towards a Hybrid Approach;Lecture Notes in Computer Science;2012

5. Implementing a relational theorem prover for modal logic;International Journal of Computer Mathematics;2011-06