Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Using FCA and Concept Explications for Finding an Appropriate Concept. | 0 | 0.34 | 2021 |
| Search for Appropriate Textual Information Sources. | 0 | 0.34 | 2020 |
| Natural Deduction System In The Til-Script Language | 0 | 0.34 | 2018 |
| The Role of Beta Conversion in Functional Programming. | 0 | 0.34 | 2017 |
| Logic of Inferable Knowledge. | 0 | 0.34 | 2016 |
| Logical Specification of Processes. | 0 | 0.34 | 2013 |
| Document Similarity. | 0 | 0.34 | 2012 |
| E-Learning Support for Logic Education. | 1 | 0.41 | 2011 |
| Process Ontology. | 0 | 0.34 | 2010 |
| Ontology as a Logic of Intensions | 0 | 0.34 | 2010 |
| Agents' reasoning using TIL-Script and Prolog | 2 | 0.66 | 2009 |