Tanel Tammet - RankMe

59 papers A 8B 3C 6Misc 1Journal 15Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Beyond the Linear Separability Ceiling. CoRR Enrico Vompa, Tanel Tammet, Mohit Vaishnav
2025	J	`jnl`	Cognitive Paradigms for Evaluating VLMs on Visual Reasoning Task. CoRR Mohit Vaishnav, Tanel Tammet
2025	C	`conf`	Integrating Digital Product Passports in E-Commerce: An Architectural Framework for Sustainability and AI-Driven Value. iiWAS Martin Tamm, Dirk Draheim, Tanel Tammet, Ingrid Pappel
2024	—	`conf`	Combining Syntactic and Semantic Information in Knowledge Extraction Pipeline. LPKM Martin Verrev, Tanel Tammet, Priit Järv
2024	—	`conf`	Experiments with LLMs for Converting Language to Logic. NeSy (2) Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
2024	J	`jnl`	Technology Push in AI-Enabled Services: How to Master Technology Integration in Case of Bürokratt. SN Comput. Sci. Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
2024	B	`conf`	Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). LPAR Tanel Tammet
2023	A	`conf`	An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). CADE Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
2023	—	`conf`	Digital Transformation Insights from an AI Solution in Search of a Problem. FDSE Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
2023	J	`jnl`	Large-Scale Commonsense Knowledge for Default Logic Reasoning. SN Comput. Sci. Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
2023	J	`jnl`	Management of National eID Infrastructure as a State-Critical Asset and Public-private Partnership: Learning from the Case of Estonia. Inf. Syst. Frontiers Silvia Lips, Valentyna Tsap, Nitesh Bharosa, Robert Krimmer, Tanel Tammet, Dirk Draheim
2022	J	`jnl`	An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation. IEEE Access Ahto Buldas, Dirk Draheim, Mike Gault, Risto Laanoja, Takehiko Nagumo, Märt Saarepera, Syed Attique Shah, Joosep Simm, Jamie Steiner, Tanel Tammet, Ahto Truu
2022	—	`conf`	Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review. FDSE (CCIS Volume) Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
2022	—	`conf`	First Order Logic and Commonsense Reasoning: A Path Less Travelled. ICLP Workshops Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
2022	A	`conf`	GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). IJCAR Tanel Tammet, Dirk Draheim, Priit Järv
2022	—	`conf`	Knowledge Integration for Commonsense Reasoning with Default Logic. KDIR Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
2021	—	`conf`	Combining JSON-LD with First Order Logic. ICSC Tanel Tammet, Geoff Sutcliffe
2021	A	`conf`	Confidences for Commonsense Reasoning. CADE Tanel Tammet, Dirk Draheim, Priit Järv
2021	J	`jnl`	On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric. Trans. Large Scale Data Knowl. Centered Syst. Dirk Draheim, Robert Krimmer, Tanel Tammet
2021	—	`conf`	Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government. ICEIS (1) Richard Dreyling, Eric Blake Jackson, Tanel Tammet, Alena Labanava, Ingrid Pappel
2020	J	`jnl`	Extending Automated Deduction for Commonsense Reasoning. CoRR Tanel Tammet
2020	—	`conf`	From Sensors to Dempster-Shafer Theory and Back: The Axiom of Ambiguous Sensor Correctness and Its Applications - Keynote at DEXA'2020 - The 31st International Conference on Database and Expert Systems Applications. DEXA (1) Dirk Draheim, Tanel Tammet
2020	—	`conf`	Sights, titles and tags: mining a worldwide photo database for sightseeing. WIMS Ago Luberg, Jakob Pindis, Tanel Tammet
2019	A	`conf`	GKC: A Reasoning System for Large Knowledge Bases. CADE Tanel Tammet
2018	B	`conf`	Hierarchical Regions of Interest. MDM Priit Järv, Tanel Tammet, Marten Tall
2016	C	`conf`	Computing Data Lineage and Business Semantics for Data Warehouse. IC3K Kalle Tomingas, Priit Järv, Tanel Tammet
2016	—	`conf`	Discovering Data Lineage from Data Warehouse Procedures. KDIR Kalle Tomingas, Priit Järv, Tanel Tammet
2014	C	`conf`	Automating Component Dependency Analysis for Enterprise Business Intelligence. ICIS Kalle Tomingas, Tanel Tammet, Margus Kliimask, Priit Järv
2014	—	`conf`	Data Integration Patterns for Data Warehouse Automation. ADBIS (2) Kalle Tomingas, Margus Kliimask, Tanel Tammet
2014	—	`conf`	Rule-Based Impact Analysis for Enterprise Business Intelligence. AIAI (Workshops) Kalle Tomingas, Tanel Tammet, Margus Kliimask
2013	J	`jnl`	A survey on socio-semantic information retrieval. Comput. Sci. Rev. Karin Schoefegger, Tanel Tammet, Michael Granitzer
2013	C	`conf`	Sightsmap: Crowd-Sourced Popularity of the World Places. ENTER Tanel Tammet, Ago Luberg, Priit Järv
2012	C	`conf`	Information Extraction for a Tourist Recommender System. ENTER Ago Luberg, Priit Järv, Tanel Tammet
2012	—	`conf`	Information retrieval and deduplication for tourism recommender sightsplanner. WIMS Ago Luberg, Michael Granitzer, Honghan Wu, Priit Järv, Tanel Tammet
2012	—	`conf`	Ranking domain objects by WIMS Honghan Wu, Ago Luberg, Tanel Tammet
2011	—	`conf`	Context-aware and multilingual information extraction for a tourist recommender system. I-KNOW Ago Luberg, Priit Järv, Karin Schoefegger, Tanel Tammet
2011	—	`conf`	Extended Triple Store Structure Used in Recommender System. DEXA Workshops Ago Luberg, Tanel Tammet, Priit Järv
2011	C	`conf`	Smart City: A Rule-based Tourist Recommendation System. ENTER Ago Luberg, Tanel Tammet, Priit Järv
2008	—	`conf`	RFID-based Communications for a Self-Organising Robot Swarm. SASO Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik
2006	J	`jnl`	Preface. Int. J. Artif. Intell. Tools Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
2006	Misc	`conf`	Using a Rule Language for Capturing Semantics in Web-Based Systems. DB&IS Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees
2004	A	`conf`	Chain Resolution for the Semantic Web. IJCAR Tanel Tammet
2003	—	`conf`	Combining an Inference Engine with Database: A Rule Server. RuleML Tanel Tammet, Vello Kadarpik
2003	—	`conf`	Extending Classical Theorem Proving for the Semantic Web. PSSS Tanel Tammet
2001	—	`ch.`	Resolution Decision Procedures. Handbook of Automated Reasoning Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet
1998	J	`jnl`	Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. Tanel Tammet, Jan M. Smith
1998	A	`conf`	Towards Efficient Subsumption. CADE Tanel Tammet
1997	J	`jnl`	Gandalf. J. Autom. Reason. Tanel Tammet
1997	—	`conf`	Resolution, Inverse Method and the Sequent Calculus. Kurt Gödel Colloquium Tanel Tammet
1996	A	`conf`	A Resolution Theorem Prover for Intuitonistic Logic. CADE Tanel Tammet
1995	J	`jnl`	Completeness of Resolution for Definite Answers. J. Log. Comput. Tanel Tammet
1995	—	`conf`	Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES Tanel Tammet, Jan M. Smith
1995	A	`conf`	Using Resolution for Extending KL-ONE-type Languages. CIKM Tanel Tammet
1994	B	`conf`	Completeness of Resolution for Definite Answers with Case Analysis. CSL Tanel Tammet
1994	J	`jnl`	Proof Sytrategies in Linear Logic. J. Autom. Reason. Tanel Tammet
1993	—	`book`	Resolution Methods for the Decision Problem Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov
1991	J	`jnl`	Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. J. Autom. Reason. Grigori Mints, Tanel Tammet
1991	—	`ch.`	Using Resolution for Deciding Solvable Classes and Building Finite Models. Baltic Computer Science Tanel Tammet
1988	—	`conf`	The resolution program, able to decide some solvable classes. Conference on Computer Logic Tanel Tammet