Tanel Tammet

Orcid: 0000-0003-4414-3874

Affiliations:
  • Tallinn University of Technology, Tallinn, Estonia
  • Chalmers University of Technology, Gothenburg, Sweden (former)


According to our database1, Tanel Tammet authored at least 54 papers between 1988 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Technology Push in AI-Enabled Services: How to Master Technology Integration in Case of Bürokratt.
SN Comput. Sci., August, 2024

Experiments with LLMs for Converting Language to Logic.
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper).
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
Management of National eID Infrastructure as a State-Critical Asset and Public-private Partnership: Learning from the Case of Estonia.
Inf. Syst. Frontiers, December, 2023

Large-Scale Commonsense Knowledge for Default Logic Reasoning.
SN Comput. Sci., September, 2023

Digital Transformation Insights from an AI Solution in Search of a Problem.
Proceedings of the Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications, 2023

An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper).
Proceedings of the Automated Deduction - CADE 29, 2023

2022
An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation.
IEEE Access, 2022

First Order Logic and Commonsense Reasoning: A Path Less Travelled.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Knowledge Integration for Commonsense Reasoning with Default Logic.
Proceedings of the 14th International Joint Conference on Knowledge Discovery, 2022

Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review.
Proceedings of the Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications, 2022

GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric.
Trans. Large Scale Data Knowl. Centered Syst., 2021

Combining JSON-LD with First Order Logic.
Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government.
Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

Confidences for Commonsense Reasoning.
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Extending Automated Deduction for Commonsense Reasoning.
CoRR, 2020

Sights, titles and tags: mining a worldwide photo database for sightseeing.
Proceedings of the WIMS 2020: The 10th International Conference on Web Intelligence, Mining and Semantics, Biarritz, France, June 30, 2020

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.
Proceedings of the Database and Expert Systems Applications, 2020

2019
GKC: A Reasoning System for Large Knowledge Bases.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Hierarchical Regions of Interest.
Proceedings of the 19th IEEE International Conference on Mobile Data Management, 2018

2016
Computing Data Lineage and Business Semantics for Data Warehouse.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2016

Discovering Data Lineage from Data Warehouse Procedures.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 1: KDIR, Porto - Portugal, November 9, 2016

2014
Rule-Based Impact Analysis for Enterprise Business Intelligence.
Proceedings of the Artificial Intelligence Applications and Innovations, 2014

Automating Component Dependency Analysis for Enterprise Business Intelligence.
Proceedings of the International Conference on Information Systems, 2014

Data Integration Patterns for Data Warehouse Automation.
Proceedings of the New Trends in Database and Information Systems II, 2014

2013
A survey on socio-semantic information retrieval.
Comput. Sci. Rev., 2013

Sightsmap: Crowd-Sourced Popularity of the World Places.
Proceedings of the Information and Communication Technologies in Tourism 2013, 2013

2012
Ranking domain objects by <i>wisdom of web pages</i>.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012

Information retrieval and deduplication for tourism recommender sightsplanner.
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, 2012

Information Extraction for a Tourist Recommender System.
Proceedings of the Information and Communication Technologies in Tourism 2012, 2012

2011
Context-aware and multilingual information extraction for a tourist recommender system.
Proceedings of the I-KNOW 2011, 2011

Smart City: A Rule-based Tourist Recommendation System.
Proceedings of the Information and Communication Technologies in Tourism 2011, 2011

Extended Triple Store Structure Used in Recommender System.
Proceedings of the 2011 Database and Expert Systems Applications, 2011

2008
RFID-based Communications for a Self-Organising Robot Swarm.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

2006
Preface.
Int. J. Artif. Intell. Tools, 2006

Using a Rule Language for Capturing Semantics in Web-Based Systems.
Proceedings of the Databases and Information Systems IV, 2006

2004
Chain Resolution for the Semantic Web.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
Combining an Inference Engine with Database: A Rule Server.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

Extending Classical Theorem Proving for the Semantic Web.
Proceedings of the PSSS1, 2003

2001
Resolution Decision Procedures.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

1998
Optimized Encodings of Fragments of Type Theory in First-Order Logic.
J. Log. Comput., 1998

Towards Efficient Subsumption.
Proceedings of the Automated Deduction, 1998

1997
Gandalf.
J. Autom. Reason., 1997

Resolution, Inverse Method and the Sequent Calculus.
Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996
A Resolution Theorem Prover for Intuitonistic Logic.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
Completeness of Resolution for Definite Answers.
J. Log. Comput., 1995

Using Resolution for Extending KL-ONE-type Languages.
Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

1994
Proof Sytrategies in Linear Logic.
J. Autom. Reason., 1994

Completeness of Resolution for Definite Answers with Case Analysis.
Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993
Resolution Methods for the Decision Problem
Lecture Notes in Computer Science 679, Springer, ISBN: 3-540-56732-1, 1993

1991
Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof.
J. Autom. Reason., 1991

Using Resolution for Deciding Solvable Classes and Building Finite Models.
Proceedings of the Baltic Computer Science, Selected Papers, 1991

1988
The resolution program, able to decide some solvable classes.
Proceedings of the COLOG-88, 1988


  Loading...