Concepedia

Author

Patrick Kahl

Naval Information Warfare Center PacificORCID

Also Known As

Kahl, Patrick Thor, Patrick Kahl, Patrick Thor Kahl

35

Publications

429

Citations

7

H-Index

11

Concepts

All Affiliations

Naval Information Warfare Center Pacific
PK

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

60

2

Semantics

2

2

60

3

Answer Set Programming

2

2

60

4

Automated Reasoning

2

2

60

5

Computer Science

1

1

22

Patrick Kahl

×

2

Publications

60

Citations

2

H-Index

YearCitations

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

Patrick Kahl, Richard Watson, Evgenii Balai,

Journal of Logic and Computation

2015

38

On Computing World Views of Epistemic Logic Programs

Tran Cao Son, Tiep Le, Patrick Kahl,

2017

22

Page 1