Concepedia

Patrick Kahl

PK

2

Publications

60

Citations

2

H-Index

2015

Active since

Affiliations

Naval Information Warfare Center Pacific(Current)

Patrick Kahl is an author at Naval Information Warfare Center Pacific specializing in semantics, engineering, and epistemology.

Top concepts

SemanticsEngineeringEpistemologyFormal MethodsLogic ProgrammingAutomated ReasoningFormal VerificationAnswer Set ProgrammingSemantic WebVerification

Publications per year

2015–2017

2

Publications

2

The language of epistemic specifications (refined) including a prototype solver

Patrick Kahl, Richard Watson, Evgenii Balai et al. · Journal of Logic and Computation · 2015 · 38 citations

Engineering, Verification, Defeasible Logic +17

On Computing World Views of Epistemic Logic Programs

Tran Cao Son, Tiep Le, Patrick Kahl et al. · 2017 · 22 citations · Full text

Engineering, Well-founded Semantics, Epistemic Logic +16

Rows per page

1–2 of 2