Search for persons
X
?
Outstanding Contributions to Logic; Kit Fine on Truthmakers, Relevance, and Non-classical Logic ,
4
From Felicitous Models to Answer Set Programming:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
5
On Heuer's Procedure for Verifying Strong Equivalence:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
9
Transforming Gringo Rules into Formulas in a Natural Way:
, In:
?
Fields of Logic and Computation III; Lecture Notes in Computer Science ,
10