LPAR-21S: Volume Information

IWIL Workshop and LPAR Short Presentations

11 articles134 pagesPublished: June 4, 2017

Papers

LPAR-21 Short Presentation Papers
David Toman and Grant Weddell
1-10
Christoph Benzmüller, Alexander Steen and Max Wisniewski
11-26
Zohreh Shams, Mateja Jamnik, Gem Stapleton and Yuri Sato
27-42
Abhishek Kr Singh
43-57
Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf
58-72
Krzysztof Apt and Dominik Wojtczak
73-85
Olli Saarikivi and Margus Veanes
86-99
IWIL 2017 Papers
Alexander Steen, Max Wisniewski and Christoph Benzmüller
100-112
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller
113-118
Julio Cesar Lopez Hernandez and Konstantin Korovin
119-123
Giles Reger and Martin Suda
124-134

Keyphrases

abduction, antichains, Antipatterns, automata theory, automated theorem prover, chains, computational complexity of reasoning, Crowdsourcing, diagrammatic reasoning, Dilworth's theorem, Domain Specific Language, epistemic logic, fair termination, formal proofs, gossip protocols, Hall's Theorem, higher-order logic, Horn solving, interpolation, Knowledge-based programs, knowledge representation, Mirsky's theorems, Ontologies, paramodulation, partially ordered sets, query optimization, symbolic transducer, system description, tableau proofs.