IWIL Workshop and LPAR Short Presentations11 articles•134 pages•Published: June 4, 2017 Papers
Keyphrasesabduction, 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 representation, Knowledge-based programs, Mirsky's theorems, Ontologies, paramodulation, partially ordered sets, query optimization, symbolic transducer, system description, tableau proofs |