von
Preis unbekannt
Tomi Janhunen
AI logic Argumentation Extension algorithms artificial intelligence description logic epistemic logic hybrid logic knowledge knowledge base logic programming machine learning modeling programming satisfiability checking