Author:
Urbas Matej,Jamnik Mateja
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Artificial Intelligence;D. Barker-Plummer,2008
2. Lecture Notes in Computer Science;S. Böhme,2010
3. Calcagno, C., Gardner, P., Zarfaty, U.: Context logic as modal logic: completeness and parametric inexpressivity. In: POPL, pp. 123–134. ACM (2007)
4. Lecture Notes in Artificial Intelligence;W.M. Farmer,2007
5. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: How we can do without modal logics. AI 65(1), 29–70 (1994)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Considerations in Representation Selection for Problem Solving: A Review;Diagrammatic Representation and Inference;2021
2. Human-Like Computational Reasoning: Diagrams and Other Representations;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
3. How to (Re)represent it?;2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI);2020-11
4. Automating Representation Change Across Domains for Reasoning;2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2020-08
5. Inspection and Selection of Representations;Lecture Notes in Computer Science;2019