Skip to content

Tobias Berei

Software Engineer. Web Enthusiast.

  • Home
  • About
  • Contact
  • Imprint

Category: Logic and Reasoning

Introduction to Answer Set Programming (Part 2) – Solving and ASP Systems

2020-01-19 tberei Logic and Reasoning

In the first part of this article series we have discussed the syntax and semantics of ASP and wrote a simple program to encode the Tweety example. If you have not installed Clingo (or another

Continue reading

Introduction to Answer Set Programming (Part 1) – Methodology and Syntax

2019-08-27 tberei Logic and Reasoning

Answer set programming (ASP) is a form of logic programming and a formalism for knowledge representation and reasoning. Since my thesis is related to ASP, I have familiarized with this methodology over the past year

Continue reading

Categories

  • AI
  • General
  • Logic and Reasoning

Recent Posts

  • Have you heard of Genetic Algorithms?
  • Introduction to Answer Set Programming (Part 2) – Solving and ASP Systems
  • Introduction to Answer Set Programming (Part 1) – Methodology and Syntax
  • The new Microsoft Edge – all new or just another Chrome?

Recent Comments

    We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.OkRead more...