◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

M. Morak

11 papers hereh-index 14499 citations55 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • middle author9

Across the 10 of 11 papers where every author was matched, so the position is known.

fields
  • cs.LO6
  • cs.AI3
  • cs.CC2

identity via Semantic Scholar / OpenAlex

activity
20122023
most citedselp: A Single-Shot Epistemic Logic Program Solver

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.LO2019

Epistemic Logic Programs: A Different World View

Michael Morak

Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP) with epistemic operators, have received renewed attention from the research community in recent years.…

cs.LO2019

On Uniform Equivalence of Epistemic Logic Programs

Wolfgang Faber, Michael Morak, Stefan Woltran

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with epistemic negation and have received renewed interest in recent years. This led to the development of new r…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.