Esra Erdem , Joohyung Lee , Yuliya Lierler , David Pearce (Eds.):
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz.
Lecture Notes in Computer Science 7265 Springer 2012, ISBN 978-3-642-30742-3
export record as
dblp key:
Jack Minker :
To Vladimir Lifschitz on His 65th Birthday.
1-13
export record as
dblp key:
conf/birthday/KarthaELFRLYR12 export record as
dblp key:
conf/birthday/Balduccini12 Marcello Balduccini :
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.
24-39
export record as
dblp key:
export record as
dblp key:
conf/birthday/BaumannBDW12 export record as
dblp key:
conf/birthday/BjornerCG12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/CostantiniFP12 export record as
dblp key:
conf/birthday/Delgrande12 export record as
dblp key:
conf/birthday/DeneckerBV12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dov M. Gabbay :
An Equational Approach to Logic Programming.
279-295
export record as
dblp key:
export record as
dblp key:
conf/birthday/TodorovaG12 export record as
dblp key:
conf/birthday/GiunchigliaM12 export record as
dblp key:
export record as
dblp key:
conf/birthday/JanhunenN12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/Kreinovich12 Vladik Kreinovich :
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity.
390-404
export record as
dblp key:
Joohyung Lee :
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming.
405-421
export record as
dblp key:
conf/birthday/LevesqueL12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Grigori Mints :
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.
487-491
export record as
dblp key:
export record as
dblp key:
conf/birthday/PontelliSBG12 export record as
dblp key:
export record as
dblp key:
conf/birthday/Truszczynski12 export record as
dblp key:
conf/birthday/ChintabathinaW12 export record as
dblp key:
data released under the ODC-BY 1.0 license
