|
|
LPAR-21S: Volume InformationIWIL Workshop and LPAR Short Presentations11 articles•134 pages•Published: June 4, 2017 PapersKeyphrasesabduction, 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. |
|
|